„Növelő részfé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
67. sor:
=== Egységelemes félcsoportban S<sup>(0)</sup> részfélcsoport ===
A következőképp definiálhatjuk a '''nem-növelő elem'''ek S<sup>(0)</sup> halmazát (ahogy már fentebb is):
<center><code><big>S<sup>(0)</sup> = S\(S<sup>(b)</sup>∪S<sup>(b)</sup>) = S<sup>(-b)</sup>∩S<sup>(-j)</sup></big></code>.</center>
Egységelemes félcsoportban S<sup>(0)</sup> rész-félcsoport (emiatt nem üres, tehát egységelemes félcsoportban van olyan elem, amely se nem bal-, se nem jobbnövelő); ráadásul olyan, amelynek sem jobbnövelő, sem balnövelő eleme nincs.
| |||