Jak by se dalo dokázat, že každá podmnožina pologrupy je podpologrupa? Děkuji

S pozdravem

Z. Holy

✓   Téma bylo vyřešeno.
Zbynek H.

Zbynek H.

01. 02. 2018   14:58

4 odpovědi

Tomáš B.
Tomáš B.
27.01.2018 17:59:23

To se dá snadno vyvrátit, protože libovolná konečná podmnožina pologrupy (N \ { 0} , +) není podpologrupou.

Tomáš B.
Tomáš B.
29.01.2018 19:26:56

Máš pologrupu A, její podmnožinu B a pro dokázání platnosti definice podpologrupy stačí dokázat implikaci

∀ x, y ∈ B => (x o2 y) ∈ B, což ihned plyne z definice operátoru.

Zbynek H.
Zbynek H.
01.02.2018 14:58:06

Možná jsem to špatně pochopil, přesné zadání posílám jako obrázek:

Zbynek H.
Zbynek H.
01.02.2018 14:58:19

Děkuji. Snad to bude jako vysvětlení stačit :)

Pro napsání komentáře se musíte přihlásit.