„Növelő részfélcsoport” változatai közötti eltérés
[nem ellenőrzött változat] | [ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
38. sor:
=== Félcsoport felbontása az elemek növelősége szerint ===
Az [[Növelő részfélcsoport#A növelő részfélcsoportok diszjunktak|előző állítás]] egyszerű következménye az alábbi: Jelölje <code>S<sup>(0)</sup></code> az <code>(S,¤)</code> félcsoport se nem jobb-, se nem balnövelő elemeinek halmazát, vagyis legyen <center><big>S<sup>(0)</sup> = S\(S<sup>(
<br>
Ekkor<br> <center>S = S<sup>(b)</sup>ΔS<sup>(j)</sup>ΔS<sup>(0)</sup>;</center> vagyis S<sup>(b)</sup>, S<sup>(j)</sup>, S<sup>(0)</sup> páronként diszjunkt ostályokra bontása S-nek (<code>Δ</code> a halmazok [[szimmetrikus differencia|szimmetrikus differenciáját]] jelöli).
|