From Wikipedia, the free encyclopedia
Pólgrúpa ali tudi sémigrúpa S = {a, b, ...} je v matematiki par (S, *), kjer je S množica in * asociativna dvočlena operacija na S: S × S → S in, ki vsakemu urejenemu paru (a, b) S priredi natanko en element a * b S. Operacija * mora zadoščati pogojem:
Grupam podobne strukture | |||||
---|---|---|---|---|---|
Zaprtaα | Asociativnost | Identiteta | Invertibilnost | Komutativnost | |
Polgrupoid | Nepotrebno | Zahtevano | Nepotrebno | Nepotrebno | Nepotrebno |
Mala kategorija | Nepotrebno | Zahtevano | Zahtevano | Nepotrebno | Nepotrebno |
Grupoid | Nepotrebno | Zahtevano | Zahtevano | Zahtevano | Nepotrebno |
Magma | Zahtevano | Nepotrebno | Nepotrebno | Nepotrebno | Nepotrebno |
Kvazigrupa | Zahtevano | Nepotrebno | Nepotrebno | Zahtevano | Nepotrebno |
Enotska magma | Zahtevano | Nepotrebno | Zahtevano | Nepotrebno | Nepotrebno |
Zanka | Zahtevano | Nepotrebno | Zahtevano | Zahtevano | Nepotrebno |
Polgrupa | Zahtevano | Zahtevano | Nepotrebno | Nepotrebno | Nepotrebno |
Inverzna polgrupa | Zahtevano | Zahtevano | Nepotrebno | Zahtevano | Nepotrebno |
Monoid | Zahtevano | Zahtevano | Zahtevano | Nepotrebno | Nepotrebno |
Komutativni monoid | Zahtevano | Zahtevano | Zahtevano | Nepotrebno | Zahtevano |
Grupa | Zahtevano | Zahtevano | Zahtevano | Zahtevano | Nepotrebno |
Abelova grupa | Zahtevano | Zahtevano | Zahtevano | Zahtevano | Zahtevano |
^α Zaprtost, ki se uporablja v veliko virih, je ekvivalentni aksiom kot popolnost, četudi je definiran drugače. |
Polgrupa tako ne potrebuje nevtralnega elementa (identitete) in njeni elementi nujno ne potrebujejo obratnega elementa (inverza). Polgrupa je asociativni grupoid. Vsako polgrupo S lahko enostavno vložimo v monoid s pridružitvijo elementa e, ki ne pripada S, in z zahtevama:
Prvi aksiom ni nujen, ker je dvočlena operacija že tudi sama zaprta. Polgrupa je lahko tudi prazna.
Veliko pojmov nam pomaga pri razumevanju zgradbe polgrup. Zaradi jedrnatosti bomo operacijo polgrupe izrazili z omejitvijo v kateri xy označujeta rezultat operacije grupe na urejeni par (x, y). Če sta A in B podmnožici kakšne polgrupe, potem AB označuje množico { ab | a A in b B }.
Podmnožica A polgrupe S se imenuje podpolgrupa, če je zaprta za operacijo polgrupe, oziroma AA je podmnožica A. Če je množica A neprazna, se imenuje desni ideal, kadar je AS podmnožica A, in levi ideal, kadar je SA podmnožica A. Če je A hkrati levi in desni ideal, se imenuje ideal (ali dvosmerni ideal). Presek dveh idealov je spet ideal, zato ima lahko polgrupa najmanjši ideal. Vse neprazne končne polgrupe imajo najmanjši ideal. Primer polgrupe brez najmanjšega ideala je množica pozitivnih celih števil zaprta za seštevanje. Najmanjši ideal komutativne polgrupe, kadar obstaja, je grupa.
Če je S polgrupa, je presek katerekoli zbirke podpolgrup S tudi podpolgrupa S. Tako podpolgrupe S tvorijo celotno mrežo. Za poljubno podmnožico A grupe S obstaja najmanjša podpolgrupa T grupe S, ki vsebuje A. Rečemo, da A rodi (generira) T. Element x polgrupe S rodi podpolgrupo { xn | n je pozitivno celo število }. Če je takšna podpolgrupa končna, rečemo da ima x končno moč, drugače pa ima neskončno moč. Polgrupa je periodična, če imajo vsi njeni elementi končno moč. Končne polgrupe so vse periodične. Polgrupa, ki jo rodi samo en element, se imenuje enorodna (monorodna) (ali ciklična). Če je enorodna polgrupa neskončna je izomorfna polgrupi množici pozitivnih celih števil, zaprti za seštevanje. Če pa je končna, mora vsebovati idempotent in to natanko enega. Tako ima vsaka neprazna periodična polgrupa vsaj en idempotent.
Podpolgrupa, ki je hkrati grupa, se imenuje podgrupa. Med podgrupami in polgrupami ter njihovimi idempotenti obstaja zelo tesna povezava. Vsaka podgrupa vsebuje natanko en idempotent, namreč nevtralni element (identiteto) podgrupe. Za vsak idempotent e polgrupe obstaja edina največja podgrupa, ki vsebuje e. Vsaka največja podgrupa nastane na ta način, zato obstaja enolična zveza med idempotenti in največjimi podgrupami. (Omeniti moramo, da je tukaj pojem največje podgrupe različen kot v teoriji grup. V teoriji grup je t. i. »največja podgrupa« v resnici največja prava podgrupa. Če jo obravnavamo kot polgrupo, ima grupa samo eno največjo podgrupo, in to prav samo sebe.)
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.