Polgrupa: Razlika med redakcijama
Izbrisana vsebina Dodana vsebina
m robot Dodajanje: ko:반군 (수학), sk:Pologrupa, sr:Полугрупа |
m dp |
||
Vrstica 4:
* Za vsak ''a'', ''b'' in ''c'' <math>\in</math> ''S'', velja (''a'' * ''b'') * ''c'' = ''a'' * (''b'' * ''c'') ([[zakon o združevanju faktorjev|Zakon o združevanju faktorjev (Zakon o asociativnosti)]]).
Polgrupa tako ne potrebuje [[
: ''e'' * ''e'' = ''e'' in
: ''e'' * ''a'' = ''a'' * ''e'' = ''a'' za vsak element ''a'' <math>\in</math> ''S''.
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č
[[Kategorija:Abstraktna algebra]]
|