Diskuse:Generátor grupoidu: Porovnání verzí
Smazaný obsah Přidaný obsah
Re: Martin Urbanec |
m stručná odpověď |
||
Řádek 2:
Mohu mít dotaz, proč je nadpis článku Generátor grupoidu? Téma generátorů podle mě úzce souvisí s cyklickými '''grupami''' (viz např. https://en.wikipedia.org/wiki/Cyclic_group#Definition). Myslím, že nadpis "Generátor grupy" by byl výstižnější. [[Wikipedista:Illagrenan|Illagrenan]] ([[Diskuse s wikipedistou:Illagrenan|diskuse]]) 15. 1. 2017, 19:39 (CET)
: Dobrý den, já se v matematice neorientuji, ale čistě dle článků na Wikipedii je [[grupa]] něco jiného než [[grupoid]]. Je tomu jinak? Ještě možná v diskusi může pomoci kolega {{U|Pavel Jelínek}} nebo {{U|Zagothal}}. --[[Wikipedista:Martin Urbanec|Martin Urbanec]] ([[Diskuse s wikipedistou:Martin Urbanec|diskuse]]) 15. 1. 2017, 21:05 (CET)
:: Je tomu tak, podívejte se na definice u grupy a grupoidu a uvidíte jistě sám rozdíl. Grupa má nulový prvek. (pro {{U|Martin Urbanec}}) [[Wikipedista:Zagothal|Zagothal]] ([[Diskuse s wikipedistou:Zagothal|diskuse]]) 6. 2. 2017, 18:17 (CET)
::Díky za dotaz. <ins>(Tuto první odpověď jsem psal, když jsem myslel, že článek mluví o generující ''množině'' - viz má druhá odpověď.)</ins> Pojem "generátor" má smysl u struktury s jakoukoli [[Univerzální algebra#Signatura|signaturou]] (vizte [[Univerzální algebra]]). Speciálním případem je [[grupoid]] (tj. struktura se signaturou "jedna operace, a to binární") a ještě speciálnějším příkladem je grupa ([[grupa#Definice grupy|definovaná]] jako asociativní grupoid s neutrálním prvkem, ke každý prvek má invers).
::Máme-li krmení vhodné pro všechna morčata, pak by název "krmení pro hladkosrstá morčata" byl správný, ale zavádějící - stejně jako "generátor grupy".
| |||