Polgrupa: Razlika med redakcijama
Izbrisana vsebina Dodana vsebina
m m/dp/pnp |
pravopis |
||
Vrstica 34:
Če je ''S'' polgrupa, je presek katerekoli zbirke podpolgrup ''S'' tudi podpolgrupa ''S''. Tako podpolgrupe ''S'' tvorijo celotno [[mreža|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 { ''x''<sup>n</sup> | 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 [[teorija grup|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.)
[[Kategorija:Algebrske strukture]]
| |||