„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
12. sor:
*Tetszőleges <math>(A; \cdot )</math> félcsoportban teljesül, hogy [[reguláris elem]]ek szorzata reguláris elem, azaz tetszőleges félcsoport reguláris elemei (ha léteznek) félcsoportot alkotnak.
*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> [[Neutrális elem#Féloldali neutrális elemek|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.
| |||