Tôi có nền tảng toán học nhưng tôi không phải là nhà khoa học máy tính. Sẽ thật tuyệt vời khi sử dụng "thế giới thực" của các đơn âm và bán nhóm. Đây thường được coi là các cấu trúc lý thuyết vô dụng, và bị bỏ qua trong nhiều khóa học đại số trừu tượng (vì không có gì thú vị để nói).
Có quá nhiều điều thú vị để nói. Tuy nhiên, đó là một chủ đề của toán học và tổ hợp rời rạc hơn là cho đại số trừu tượng và phân tích, ít nhất là cho các chủ đề ít tầm thường hơn. Ngoài ra còn có câu hỏi bạn phải biết bao nhiêu về một chủ đề nhất định trước khi bạn có thể nói với ai đó rằng đó sẽ là một chủ đề toán học thú vị liên quan đến các đơn sắc và nửa nhóm. Ví dụ: tôi thấy các chủ đề sau (liên quan đến nhóm bán kết) thú vị:
- nửa nhóm hữu hạn và lý thuyết Krohn-Rhodes
- đối xứng một phần, nửa nhóm nghịch đảo, nhóm và quasicstall
- semirings và hình học nhiệt đới
- đơn đặt hàng một phần và chức năng Mobius
- chức năng mô đun và phân rã (như Dulmage-Mendelsohn)
Tôi có biết nhiều về từng chủ đề này không? Chắc là không. Ngoài ra còn có nhiều chủ đề toán học khác liên quan đến các đơn phân và nửa nhóm, một số trong số chúng có nội dung hơn đối với lý thuyết nửa nhóm (như quan hệ của Green), các chủ đề khác nói chung và không cụ thể đối với các nhóm nửa nhóm (nửa nhóm chung, định lý đồng cấu và định lý đẳng cấu đồng quy), nhưng cũng quan trọng từ quan điểm toán học. Các chủ đề tôi đã trích dẫn ở trên hầu hết có các ứng dụng "thế giới thực", nhưng có nhiều chủ đề liên quan hơn cũng có các ứng dụng "thế giới thực".
Trên đây không phải là một câu trả lời cho câu hỏi thực sự, mà chỉ giải quyết "... thường được coi là các cấu trúc lý thuyết vô dụng ... vì thiếu bất cứ điều gì thú vị để nói ..." nhận xét. Vì vậy, tôi đã liệt kê một số điểm "thú vị", tuyên bố rằng những ứng dụng đó hầu hết có ứng dụng "thế giới thực" và hiện Hi-Angel yêu cầu một chút thông tin về các ứng dụng đó. Nhưng bởi vì "có quá nhiều điều thú vị để nói", đừng kỳ vọng quá nhiều vào thông tin đó: Định lý Krohn-Rhodes là một định lý phân rã cho các nhóm nửa hữu hạn. Các ứng dụng của nó liên quan đến việc giải thích sản phẩm vòng hoa như một loại thành phần (của bộ chuyển đổi) liên quan đến lý thuyết về automata và ngôn ngữ thông thường,Mark V Lawson: hai bài giảng hướng dẫn và tài liệu cơ bản chứa (404 bây giờ) tài liệu tốt về Inverse Semigroups . Cơ sở cho các ứng dụng của họ là kết nối của họ với nửa nhóm đối xứng đối xứng , tức là tập hợp tất cả các phần tử trên một tập hợp. Người ta cũng có thể bắt đầu với các đặc tính đại số cơ bản của các nhóm bán đảo ngược, nhưng cách tiếp cận này có nguy cơ bỏ qua các kết nối với các đơn hàng một phần rất quan trọng đối với nhiều ứng dụng. Một ngày nào đó tôi sẽ phải viết blog về một ứng dụng cụ thể của các nhóm bán đảo ngược là "hệ thống phân cấp" được sử dụng để nén bố cục bán dẫn. Các ứng dụng của semirings đã được mô tả trong các câu trả lời khác (và hình học nhiệt đới sẽ đưa chúng ta đi xa khỏi khoa học máy tính). Bởi vì các đơn sắc và nửa nhóm cũng có liên quan đến các đơn hàng một phần, các chủ đề hay như chức năng Möbius như được mô tả trong Combinatorics: The Rota Way cũng có liên quan. Và sau đó, các chủ đề từ Ma trận và Matroid cho Phân tích hệ thống như phân tách Dulmage-Mendelsohn trở nên có liên quan, đó là một trong những động lực của tôi để nghiên cứu lý thuyết mạng (và các cấu trúc phân cấp ẩn).