Discuție:Semigrup
Adăugare subiectUltimul comentariu: acum 10 ani de T24t34
Prefixul "semi" din termenul "semigrup" [ prefix care are semnificația de "jumătate"] crează confuzie. Natural ar fi ca temenul "semigrup" să fie utilizat în cazul în care structura (S , * ) se scufundă (ca parte stabilă H) a unui grup ( G , .) cu proprietățile:
- H' reunit H = G
- H' intersectat H inclus {e}
Exemplul cel mai sugestiv este (S , * )= mulțimea numerelor naturale nenule cu adunarea care se scufundă în grupul numerelor întregi cu adunarea; în schimb, dacă luăm (S , * ) = ( mulțimea submulțimilor unei mulțimi nevide M, reuniunea) [ care este semigrup în terminologia uzuală - eu folosesc termenul de monoid unitar] aceasta NU se poate scufunda într-un grup.