„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
a →‎Tulajdonságok: ez ugyanaz
13. sor:
*Tetszőleges félcsoport bármely reguláris elemének vagy van [[inverz elem|inverze]], vagy pedig nincs [[balinverze]]. (Illetve ennek az állításnak természetesen a duálisa is teljesül.)
*Bármely <math>(A; \cdot )</math> félcsoport tetszőleges <math>a \in A</math> [[idempotens]] elemére akkor és csak akkor teljesül a baloldali egyszerűsítési szabály, ha <math>a</math> [[balegységelem]].
*Félcsoportban a reguláris és idempotens elem [[neutrális elem|egységelem]].
*Ha <math>(A; \cdot )</math> véges félcsoport és van reguláris eleme, akkor van egységeleme.