„Félcsoport” változatai közötti eltérés

[nem ellenőrzött változat][nem ellenőrzött változat]
Tartalom törölve Tartalom hozzáadva
Nagyat (vitalap | szerkesztései)
Nincs szerkesztési összefoglaló
Nagyat (vitalap | szerkesztései)
Nincs szerkesztési összefoglaló
41. sor:
Egy <math>S</math> félcsoport <math>a</math> elemét a félcsoport reguláris elemének nevezzük, ha van <math>S</math>-nek olyan <math>x</math> eleme, melyre <math>axa=a</math> teljesül. Világos, hogy egy félcsoport minden idempotens eleme reguláris elem. Egy olyan félcsoportot, melyben minden elem reguláris elem [[reguláris félcsoport]]nak nevezünk.
 
Egy <math>S</math> félcsoport <math>b</math> eleméről azt mondjuk, hogy egy <math>a\in S</math> elem Neumann-féle inverze, ha <math>aba=a</math> és <math>bab=b</math>. Világos, hogy ha <math>b</math> NaumannNeumann-féle inverze <math>a</math>-nak, akkor <math>a</math> NaumannNeumann-féle inverze <math>b</math>-nek (azaz <math>a</math> és <math>b</math> egymás NaumannNeumann-féle inverzei).
Könnyen ellenőrizhető, hogy ha <math>a</math> egy <math>S</math> félcsoport reguláris eleme úgy, hogy <math>axa=a</math>, akkor <math>a</math> és <math>xax</math> egymás NaumannNeumann-féle inverzei. Ha egy reguláris félcsoportban minden elemnek pontosan egy NaumannNeumann-féle inverze van, akkor a félcsoportot [[inverz félcsoport]]nak nevezzük.
==Példák félcsoportokra==