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

S pozdravem
Z. Holy
Autor: Zbynek H. | Poslední aktivita: 1. 02. 2018 14:58 | Zobrazeno 243x
ikonka Tomáš B. | 27. 01. 2018 17:59

To se dá snadno vyvrátit, protože libovolná konečná podmnožina pologrupy (N \ {0}, +) není podpologrupou.
ikonka DOTAZUJÍCÍ | Zbynek H. | 1. 02. 2018 14:58

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

Tento příspěvek byl editován |

Příloha (kliknutím zvětšíte):
příloha
ikonka Tomáš B. | 29. 01. 2018 19:26

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.
ikonka DOTAZUJÍCÍ | Zbynek H. | 1. 02. 2018 14:58

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

Tento příspěvek byl editován |
Co si o tom myslíte vy?
Názory mohou psát jen přihlášení uživatelé. Pokud chcete napsat svůj názor, tak se prosím přihlašte z hlavní strany webu.
Informace
Toto je pouze testovací verze fóra a nemusí vždy fungovat správně, nicméně by základní funkčnost již měla být hotová. Budu rád za nahlášení jakékoli chyby a nápadů na zlepšení. V tomto pravém menu již brzy budou další doplňující ovládací prvky, které můžete navrhnout.


Mathematicator 2018 | Provozuje Marek Valášek | Technicky zajišťuje Jan Barášek | Obchodní podmínky