ZÁKLADY UNIVERZÁLNÍ ALGEBRY Radan Kučera 1. Operace a Ω-algebry Úvod. V průběhu přednášky z algebry jsme studovali řadu algebraických struktur: grupoidy, pologrupy, grupy, komutativní grupy, okruhy, obory integrity, tělesa, polosvazy, svazy, Booleovy algebry. Při zkoumání těchto struktur se často některé pojmy a úvahy opakovaly, například ve všech případech jsme hovořili o homomorfismech a vždy platilo, že složením homomorfismů opět dostaneme homomorfismus. Definovali jsme podobjekty (věnovali jsme se hlavně podgrupám, podokruhům, podtělesům a podsvazům) a vždy platilo, že průnikem libovolného neprázdného systému podobjektů je opět podobjekt. To nám umožnilo definovat podobjekt generovaný podmnožinou, ve všech případech byly definice v podstatě stejné. V případě grupoidů, grup, okruhů a svazů jsme si definovali součin dvou takových struktur, kterým byla stejná struktura na kartézském součinu. Cílem univerzální algebry je právě tyto společné rysy postihnout a popsat z jednotícího hlediska. Budeme tedy popisovat množiny spolu s několika operacemi na nich. Až dosud jsme operací na množině G měli na mysli zobrazení G×G → G, avšak budeme potřebovat tuto definici pozměnit. Vždyť kromě těchto operací, kterým v následujícím textu budeme říkat binární operace, jsme se setkali i se zobrazeními G → G, kdy byl každému prvku množiny G pevně přiřazen další prvek: například přiřazení inverzního prvku v grupě, opačného prvku v okruhu, či komplementu v Booleově algebře. Toto zobrazení G → G budeme nazývat unární operace na množině G. Někdy naše struktura obsahovala nějaké význačné prvky, setkali jsme se například s neutrálním prvkem v grupě, s nulou a jedničkou v okruhu, s nejmenším a největším prvkem Booleovy algebry. Tomuto výběru jednoho prvku z množiny G budeme říkat nulární operace na G. Má to určitou logiku: jde totiž vždy o zobrazení z jisté kartézské mocniny množiny G do množiny G. Označíme pro přirozené číslo n symbolem Gn kartézský součin n kopií množiny G, tedy Gn je množina všech uspořádaných n-tic prvků množiny G. Jistě lze pak ztotožnit G s G1 (množinou všech uspořádaných 1-tic prvků množiny G). Co by však mělo být G0 ? Jak si představit množinu všech 0-tic prvků množiny G? Podobně jako nultou mocninou nenulového čísla rozumíme číslo 1, které je neutrální vzhledem k násobení, nultou kartézskou mocninou nějaké množiny je třeba rozumět množinu, která kartézským vynásobením příliš nezmění násobenou množinu. Vhodnou množinou bude nějaká jednoprvková: ta totiž kartézským součinem nezmění počet prvků násobené množiny (přesněji: je-li A jednoprvková množina, existuje přirozeně definovaná bijekce A × G → G pro každou množinu 1 G). Uvědomte si, že to odpovídá i obvyklé definici: pro přirozené číslo n je Gn množina všech uspořádaných n-tic prvků množiny G. Uspořádanou n-tici prvků množiny G lze definovat například jako zobrazení množiny {1, . . . , n} do množiny G. Analogií této konstrukce pro n = 0 je tedy chápat G0 jako množinu všech uspořádaných 0-tic prvků množiny G, přičemž uspořádaná 0tice prvků množiny G je zobrazení prázdné množiny do množiny G. Takové zobrazení je vždy jedno (ať už je množina G prázdná nebo ne), totiž prázdné zobrazení. Pro libovolnou množinu G budeme proto symbolem G0 rozumět jednoprvkovou množinu; je vhodné si představovat, že tímto jediným prvkem naší jednoprvkové množiny je prázdná množina, tedy že G0 = {∅}. Pak tedy výběr prvku je zobrazení G0 → G. Definice. Nechť G je množina, n nezáporné celé číslo. Pak n-ární operací na množině G rozumíme zobrazení Gn → G. Poznámka. Místo 2-ární operace budeme tedy říkat binární operace, místo 1-ární budeme říkat unární. Číslu n z definice říkáme arita dotyčné operace. Při popisu konkrétní operace jsme vždy operaci označovali nějakým symbolem, užívali jsme +, ·, ∨, ∧ pro binární operace, −, −1 , pro unární operace, 0, 1 pro nulární operace. Těmto symbolům budeme říkat operační symboly; je podstatné, že u každého symbolu je dána arita operace, kterou symbolizuje. Definice. Množina Ω spolu se zobrazením a : Ω → N∪{0} se nazývá typ. Prvky množiny Ω se nazývají operační symboly. Pro f ∈ Ω se a(f) nazývá arita symbolu f. Operační symbol, jehož arita je n, se nazývá n-ární. Definice. Univerzální algebra typu Ω (neboli stručně Ω-algebra) je množina A, na níž je pro každý n-ární operační symbol z f ∈ Ω definována n-ární operace fA : An → A. Pro libovolné a1, . . . , an ∈ A značíme fA(a1, . . . , an) hodnotu operace fA na uspořádané n-tici (a1, . . . , an). Poznámka. V případě nulárního operačního symbolu f ∈ Ω je n = 0, tedy A0 = {∅} a nulární operací je tedy zobrazení fA : {∅} → A. Zadat takovéto zobrazení je totéž jako vybrat pevně jeden prvek fA(∅) ∈ A. Pro zjednodušení označení budeme v dalším textu tento pevně vybraný prvek značit jednoduše fA místo fA(∅). Poznámka. Obsahuje-li typ Ω alespoň jeden nulární operační symbol, pak je každá Ω-algebra neprázdná. Příklady. 1. Pro prázdný typ, tj. Ω = ∅, je univerzální algebrou typu Ω libovolná množina. 2. Grupoid je množina s jednou binární operací, je to tedy univerzální algebra typu, který má jeden binární operační symbol ·. 2 3. Grupa je univerzální algebra typu {·, −1 , 1}. 4. Okruh je univerzální algebra typu {+, ·, −, 0, 1}. 5. Svaz je univerzální algebra typu {∨, ∧}. 6. Booleova algebra je univerzální algebra typu {∨, ∧, , 0, 1}. 7. Vektorový prostor nad tělesem T lze chápat jako univerzální algebru typu {+, −, 0}∪T (pro každý prvek tělesa t ∈ T máme unární operační symbol pro skalární násobek, což je unární operace na množině vektorů: t(v) = t.v). Poznámka. V předchozích definicích je určitá nepřesnost, správně bychom totiž měli místo o univerzální algebře A mluvit o univerzální algebře A s nosnou množinou A. Vždyť kupříkladu na jedné a téže nosné množině můžeme mít definovány různé grupoidy, tedy to, o který jde grupoid, není určeno pouze nosnou množinou, ale i operací na ní. Protože to však vždy z kontextu bude patrné, můžeme si snad touto nepřesností usnadnit vyjadřování: budeme hovořit o Ω-algebře A nebo o nosné množině A. Příklad. Nechť Ω je libovolný typ, A = {a} jednoprvková množina. Pak existuje jediný způsob, jak na nosné množině A definovat Ω-algebru. Pro libovolný n-ární operační symbol f ∈ Ω je hodnota operace fA na (jediné existující) n-tici (a, . . . , a) rovna (jediné možné) hodnotě a. 2. Podalgebry a homomorfismy Definice. Nechť A je univerzální algebra typu Ω, H ⊆ A podmnožina. Řekneme, že H je podalgebra Ω-algebry A, jestliže pro každý n-ární operační symbol f ∈ Ω a pro každé a1, . . . , an ∈ H platí fA(a1, . . . , an) ∈ H. Poznámka. V případě nulárního operačního symbolu f ∈ Ω je n = 0, tedy A0 = {∅}. Obraz tohoto jediného prvku jsme se dohodli značit stručně fA místo (možná přesnějšího) označení fA(∅). Podmínku z definice je tedy třeba chápat ve smyslu fA ∈ H. Poznámka. Obsahuje-li typ Ω alespoň jeden nulární operační symbol, pak je každá podalgebra libovolné Ω-algebry neprázdná. Příklady. V jednotlivých případech příkladu univerzálních algeber z předchozí kapitoly dostáváme tyto podalgebry: 1. Podmnožina množiny. 2. Podgrupoid grupoidu. 3. Podgrupa grupy. 4. Podokruh okruhu. 5. Podsvaz svazu. 6. Booleova podalgebra Booleovy algebry. 7. Vektorový podprostor vektorového prostoru. Poznámka. Následující větu jsme v jednotlivých kontextech dokazovali několikrát. 3 Věta 2.1. Nechť A je univerzální algebra typu Ω, I neprázdná množina. Pro každé i ∈ I nechť je dána podalgebra Hi ⊆ A algebry A. Pak jejich průnik i∈I Hi je podalgebra Ω-algebry A. Důkaz. Zvolme libovolně n-ární operační symbol f ∈ Ω a libovolně prvky a1, . . . , an ∈ i∈I Hi. Pak pro každé i ∈ I platí a1, . . . , an ∈ Hi. Protože Hi je podalgebra Ω-algebry A, platí fA(a1, . . . , an) ∈ Hi. To ovšem znamená, že fA(a1, . . . , an) ∈ i∈I Hi, což se mělo dokázat. Důsledek. Obsahuje-li typ Ω alespoň jeden nulární operační symbol, pak je průnik libovolného neprázdného systému podalgeber dané algebry ne- prázdný. Důkaz. V tomto případě není prázdná množina podalgebrou. Důsledek. Nechť P je množina všech podalgeber dané univerzální algebry A typu Ω. Pak platí: (P, ⊆) je úplný svaz. Důkaz. Protože uspořádaná množina (P, ⊆) má největší prvek (je jím celá algebra A jako svá podalgebra), dle příslušné věty o úplných svazech stačí ověřit, že též libovolná neprázdná podmnožina M ⊆ P má v uspořádané množině (P, ⊆) infimum. Tímto infimem je množinový průnik H∈M H, který dle předchozí věty je skutečně prvkem množiny P. Poznámka. Předchozí věta 2.1 nám umožňuje definovat podalgebru generovanou množinou. Definice. Nechť A je univerzální algebra typu Ω, M ⊆ A podmnožina nosné množiny. Průnik všech podalgeber Ω-algebry A, které obsahují M jako svou podmnožinu, značíme M a nazýváme podalgebrou Ω-algebry A generovanou množinou M. Poznámka. Díky tomu, že alespoň jedna podalgebra Ω-algebry A obsahující množinu M existuje (je jí jistě celá Ω-algebra A), podle věty 2.1 je zmíněným průnikem M skutečně podalgebra Ω-algebry A. Zřejmě je to ze všech podalgeber Ω-algebry A obsahujících množinu M ta nejmenší (vzhledem k množinové inkluzi). Příklady. V jednotlivých případech příkladu univerzálních algeber z předchozí kapitoly dostáváme tyto podalgebry generované množinou: 1. V případě Ω-algebry A prázdného typu Ω = ∅ je každá podmnožina množiny A podalgebrou, proto v tomto případě pro libovolné M ⊆ A je podalgebrou Ω-algebry A generovanou množinou M sama množina M. 2. Podgrupoid grupoidu generovaný množinou. Tento pojem jsme v přednášce nezaváděli. 3. Podgrupa M grupy generovaná množinou M. 4 4. Podokruh M okruhu generovaný množinou M. 5. Podsvaz svazu generováný množinou (nezaváděli jsme). 6. Booleova podalgebra Booleovy algebry generovaná množinou (též jsme nezaváděli). 7. Vektorový podprostor vektorového prostoru generovaný množinou vektorů, což je jeden z nejdůležitějších pojmů lineární algebry. Poznámka. Díky tomu, že podalgebra Ω-algebry je podmnožina uzavřená na všechny operace příslušné operačním symbolům typu Ω, lze tyto operace zúžit na podalgebru. Proto každá podalgebra je sama Ω-algebrou. Uvědomte si, že tuto úvahu jsme prováděli v průběhu přednášky několikrát v různých kontextech. Poznámka. Nyní budeme definovat homomorfismus Ω-algeber. Dá se asi čekat, že to bude takové zobrazení nosných množin, které pro každou operaci splní následující podmínku: jestliže zobrazíme výsledek operace, musíme dostat totéž, jako když zobrazíme každý operand zvlášť a operaci provedeme až ve druhé algebře. Definice. Nechť A, B jsou univerzální algebry téhož typu Ω, ϕ : A → B zobrazení. Řekneme, že ϕ je homomorfismus Ω-algeber, jestliže pro každý operační symbol f ∈ Ω arity n a každé prvky a1, . . . , an ∈ A platí fB(ϕ(a1), . . . , ϕ(an)) = ϕ(fA(a1, . . . , an)). Poznámka. Pro nulární operační symbol předchozí podmínka samozřejmě znamená ϕ(fA) = fB. Poznámka. Jestliže je Ω-algebra A prázdná (v tomto případě tedy typ Ω nemůže obsahovat žádný nulární operační symbol), pak pro libovolnou Ωalgebru B existuje jediný homomorfismus Ω-algeber A → B, totiž prázdné zobrazení. Jestliže naopak Ω-algebra B je prázdná, pak homomorfismus Ωalgeber A → B existuje pouze v případě, kdy i Ω-algebra A je prázdná. Příklady. Porovnejme v jednotlivých případech předchozích příkladů tuto definici s definicemi uváděnými dříve pro jednotlivé speciální případy univerzálních algeber: 1. V případě Ω-algeber prázdného typu Ω = ∅ je každé zobrazení homo- morfismem. 2. Pro grupoidy je tato definice totožná s obvyklou definicí homomorfismu grupoidů. 3. Pro grupy byl homomorfismus definován stejně jako pro grupoidy, tedy v definici bylo vyžadováno, aby zachovával součin. Právě uvedená definice pro případ grup vyžaduje, aby homomorfismus zachovával též 5 inverzní prvky a zobrazil neutrální prvek grupy A na neutrální prvek grupy B. Je asi jasné, proč tyto požadavky nebyly obsaženy v definici homomorfismu grup: jak jsme si dokazovali, to jsou pouhé důsledky toho, že homomorfismus grup zachovává součin. 4. Pro okruhy jsme v definici homomorfismu vyžadovali, aby zachovával sčítání, násobení a převáděl na sebe jedničky okruhů. Jako důsledek jsme dostali další podmínky z právě provedené obecné definice, týkající se opačných prvků a nul okruhů. 5. V případě svazů obě definice splývají: vyžaduje se, aby homomorfismus zachovával ∨ a ∧. 6. V případě Booleových algeber jsme požadovali, aby homomorfismus zachovával ∨, ∧, 0 a 1. Jako důsledek jsme pak obdrželi, že už nutně musí zachovávat též komplementy, proto nebylo nutné komplementy zahrnout do definice homomorfismu Booleových algeber. 7. V případě vektorových prostorů odpovídá homomorfismu lineární zob- razení. Poznámka. Následující dvě věty pro jednotlivé speciální případy univerzálních algeber známe z přednášky: složením dvou homomorfismů opět dostaneme homomorfismus, homomorfním obrazem grupy (grupoidu, okruhu, atd.) je podgrupa (podgrupoid, podokruh, atd.). Věta 2.2. Nechť A, B, C jsou univerzální algebry téhož typu Ω, ϕ : A → B a ψ : B → C homomorfismy Ω-algeber. Pak je též složení ψ ◦ ϕ homomorfismus Ω-algeber. Důkaz. Protože je ϕ homomorfismus Ω-algeber, pro každý operační symbol f ∈ Ω arity n a každé prvky a1, . . . , an ∈ A platí ϕ(fA(a1, . . . , an)) = fB(ϕ(a1), . . . , ϕ(an)). Protože je též ψ homomorfismus Ω-algeber, platí ψ(fB(ϕ(a1), . . . , ϕ(an))) = fC(ψ(ϕ(a1)), . . . , ψ(ϕ(an))). Dohromady tedy (ψ ◦ ϕ)(fA(a1, . . . , an)) = ψ(ϕ(fA(a1, . . . , an))) = = ψ(fB(ϕ(a1), . . . , ϕ(an))) = = fC(ψ(ϕ(a1)), . . . , ψ(ϕ(an))) = = fC((ψ ◦ ϕ)(a1), . . . , (ψ ◦ ϕ)(an)), což jsme měli dokázat. 6 Věta 2.3. Nechť A, B jsou univerzální algebry téhož typu Ω, ϕ : A → B homomorfismus Ω-algeber. Pak obraz Ω-algebry A v homomorfismu ϕ ϕ(A) = {ϕ(a); a ∈ A} je podalgebra Ω-algebry B. Důkaz. Zvolme libovolně operační symbol f ∈ Ω arity n. Pak pro každé prvky b1, . . . , bn ∈ ϕ(A) existují a1, . . . , an ∈ A tak, že ϕ(a1) = b1, . . . , ϕ(an) = bn. Z definice homomorfismu plyne fB(b1, . . . , bn) = fB(ϕ(a1), . . . , ϕ(an)) = ϕ(fA(a1, . . . , an)) ∈ ϕ(A). Definice. Nechť A, B jsou univerzální algebry téhož typu Ω, ϕ : A → B zobrazení. Řekneme, že ϕ je izomorfismus Ω-algeber, jestliže je ϕ bijektivní homomorfismus Ω-algeber. Řekneme, že Ω-algebry A a B jsou izomorfní, jestliže existuje nějaký izomorfismus Ω-algeber A → B. Poznámka. Následující věta formuluje očekávanou vlastnost vztahu být izomorfní: je reflexivní, symetrický a tranzitivní. Věta 2.4. Nechť A, B, C jsou univerzální algebry téhož typu Ω. Pak platí: • A je izomorfní s A; • je-li A izomorfní s B, pak je též B izomorfní s A; • jestliže A je izomorfní s B a B je izomorfní s C, pak je též A izomorfní s C. Důkaz. To je snadné, dokažte si sami jako cvičení. Poznámka. Je jasné, že dvě Ω-algebry jsou izomorfní, právě když lze jednu dostat ze druhé přejmenováním prvků. Proto izomorfní Ω-algebry mají všechny algebraické vlastnosti stejné. 3. Součiny Poznámka. Podobně jako jsme definovali součin grup nebo svazů, lze definovat součin libovolných dvou Ω-algeber. Pro každý operační symbol budeme definovat operaci na množině všech uspořádaných dvojic po složkách. Definice. Nechť A, B jsou univerzální algebry téhož typu Ω. Na kartézském součinu A × B definujeme novou univerzální algebru typu Ω, kterou nazveme součinem Ω-algeber A a B. Pro každý operační symbol f ∈ Ω arity n a každé prvky a1, . . . , an ∈ A, b1, . . . , bn ∈ B klademe fA×B((a1, b1), . . . , (an, bn)) = (fA(a1, . . . , an), fB(b1, . . . , bn)). 7 Poznámka. Předchozí podmínka v případě nulárního operačního symbolu f pochopitelně znamená fA×B = (fA, fB). Poznámka. Vzpomeňte si, že u součinu grup jsme pracovali s projekcemi ze součinu do původních grup, což byly surjektivní homomorfismy. Stejnou situaci máme i nyní obecně pro Ω-algebry. Protože však Ω-algebry mohou být i prázdné, nemusí být obecně projekce ze součinu surjektivní. Definice. Nechť A, B jsou univerzální algebry téhož typu Ω, A×B součin těchto Ω-algeber. Definujme projekce π1 : A × B → A, π2 : A × B → B ze součinu A × B předpisem: pro každé a ∈ A, b ∈ B klademe π1((a, b)) = a, π2((a, b)) = b. Věta 3.1. Nechť A, B jsou univerzální algebry téhož typu Ω, A×B součin těchto Ω-algeber. Pak obě projekce π1, π2 jsou homomorfismy Ω-algeber. Důkaz. Ukažme, že projekce π1 je homomorfismus Ω-algeber. Za tím účelem zvolme libovolně operační symbol f ∈ Ω arity n a prvky a1, . . . , an ∈ A, b1, . . . , bn ∈ B. Platí π1 fA×B((a1, b1), . . . , (an, bn)) = π1 (fA(a1, . . . , an), fB(b1, . . . , bn)) = = fA(a1, . . . , an) = = fA(π1((a1, b1)), . . . , π1((an, bn))). Zcela analogicky se dokáže, že projekce π2 je homomorfismus Ω-algeber. Věta 3.2. Nechť A, B, C jsou univerzální algebry téhož typu Ω, ϕ : C → A, ψ : C → B homomorfismy Ω-algeber. Pak existuje jediný homomorfismus Ω-algeber ρ : C → A × B s vlastností π1 ◦ ρ = ϕ, π2 ◦ ρ = ψ, kde π1 : A × B → A, π2 : A × B → B jsou projekce ze součinu A × B. Důkaz. Je zřejmé, že podmínky π1 ◦ ρ = ϕ, π2 ◦ ρ = ψ platí právě tehdy, když definujeme ρ : C → A × B následujícím předpisem: pro každé c ∈ C klademe ρ(c) = (ϕ(c), ψ(c)). Ověřme, že je to homomorfismus Ω-algeber. Zvolme libovolně operační symbol f ∈ Ω arity n a prvky c1, . . . , cn ∈ C, pak platí fA×B(ρ(c1), . . . , ρ(cn)) = fA×B((ϕ(c1), ψ(c1)), . . . , (ϕ(cn), ψ(cn))) = = fA(ϕ(c1), . . . , ϕ(cn)), fB(ψ(c1), . . . , ψ(cn)) . Nyní využijeme toho, že ϕ : C → A, ψ : C → B jsou homomorfismy Ω- algeber: fA(ϕ(c1), . . . , ϕ(cn)), fB(ψ(c1), . . . , ψ(cn)) = = ϕ(fC(c1, . . . , cn)), ψ(fC(c1, . . . , cn)) = = ρ(fC(c1, . . . , cn)), 8 což se mělo dokázat. Poznámka. Nyní můžeme zobecnit součin Ω-algeber takto: místo součinu dvou Ω-algeber budeme definovat součin libovolného počtu Ω-algeber. Nejprve potřebujeme zobecnit definici kartézského součinu množin. Definice. Jestliže pro libovolný prvek i množiny I je dána množina Ai, pak kartézským součinem množin Ai rozumíme množinu všech zobrazení χ z množiny I takových, že χ(i) ∈ Ai pro každé i ∈ I: i∈I Ai = χ : I → i∈I Ai; ∀i ∈ I : χ(i) ∈ Ai . Pro libovolné j ∈ I definujeme j-tou projekci πj z kartézského součinu A = i∈I Ai takto: πj : A → Aj je určeno předpisem πj(χ) = χ(j) pro každé χ ∈ A. Poznámka. Promysleme si, co znamená předchozí definice ve speciálním případě, kdy indexová množina I je prázdná. Pak přestože vlastně žádnou množinu Ai nemáme, jsme oprávněni mluvit o součinu: dle definice je součinem i∈∅ Ai množina všech zobrazení χ : ∅ → i∈∅ Ai. Protože i∈I Ai je množina všech prvků x, pro které existuje i ∈ I tak, že x ∈ Ai, je zřejmě i∈∅ Ai = ∅. Ovšem zobrazení χ : ∅ → ∅ je jediné, totiž prázdné zobrazení. Proto množina i∈∅ Ai je jednoprvková; jejím jediným prvkem je prázdné zobrazení. Poznámka. Uvědomte si, že pro I = {1, 2} předchozí definice splývá s obvyklou: pod kartézským součinem množin A1, A2 rozumíme množinu uspořádaných dvojic A1 × A2 = {(a, b); a ∈ A1, b ∈ A2}. Ovšem zadat uspořádanou dvojici (a, b) není nic jiného než pevně zvolit a ∈ A1, b ∈ A2, což znamená právě tolik jako definovat zobrazení χ : {1, 2} → A1∪A2 s vlastností χ(1) ∈ A1, χ(2) ∈ A2: položíme χ(1) = a, χ(2) = b. Proto následující definice součinu libovolného počtu Ω-algeber zobecňuje předchozí definici součinu dvou Ω-algeber. Definice. Nechť Ω je typ. Nechť pro libovolný prvek i množiny I je dána univerzální algebra Ai typu Ω. Součinem těchto Ω-algeber rozumíme novou Ω-algebru definovanou na kartézském součinu A = i∈I Ai takto: pro každý operační symbol f ∈ Ω arity n a každé prvky χ1, . . . , χn ∈ A, klademe fA(χ1, . . . , χn) = χ, kde χ ∈ A je určeno podmínkou χ(i) = fAi (χ1(i), . . . , χn(i)) pro každé i ∈ I. Poznámka. Ve speciálním případě, kdy indexová množina I je prázdná, je součinem Ω-algebra na jednoprvkové množině, jejímž jediným prvkem je 9 prázdné zobrazení. Tato Ω-algebra je jediná, neboť na jednoprvkové množině pro libovolné nezáporné celé číslo n existuje jen jedna n-ární operace (viz poznámku na konci první kapitoly). Dochází tedy k situaci, která se může zdát na první pohled paradoxní: ačkoli nemáme žádnou Ω-algebru, jako součin dostáváme jednoprvkovou Ω-algebru. Tedy naprosto z ničeho jsme najednou dostali informaci o tom, jak vypadá Ω. Ale to se dá snadno vysvětlit: součin je součin Ω-algeber, lze jej aplikovat pouze na Ω-algebry pro určité Ω. Informace o tom, jak toto Ω vypadá, je tedy uložena v tom, o jaký součin se jedná. Pokud bychom chtěli být naprosto přesní, měli bychom toto Ω nějak v symbolu vyznačit, abychom jednotlivé součiny od sebe odlišili. Jenže nějaký index Ω by jen zbytečně komplikoval zápis, stačí, že víme, že součin je pro dané Ω. Vyplývá odtud i to, co snad bylo jasné už od začátku: součin jsme definovali jen pro univerzální algebry téhož typu. Poznámka. Pro nulární operační symbol f ∈ Ω podmínka v předchozí definici samozřejmě znamená fA = χ, kde χ ∈ A je určeno podmínkou χ(i) = fAi . Věta 3.3. Nechť pro libovolný prvek i množiny I je dána univerzální algebra Ai daného typu Ω, nechť A = i∈I Ai je jejich součin. Pak platí • Pro každé j ∈ I je j-tá projekce πj : A → Aj homomorfismus Ω- algeber. • Nechť C je univerzální algebra téhož typu Ω, a pro každé j ∈ I nechť je dán homomorfismus Ω-algeber ϕj : C → Aj. Pak existuje jediný homomorfismus Ω-algeber ϕ : C → A takový, že πj ◦ ϕ = ϕj pro každé j ∈ I. Důkaz. Postupujeme naprosto stejně jako při důkazech vět 3.1 a 3.2 pro součin dvou Ω-algeber, odlišnost je pouze formální. Dokažme nejdříve první tvrzení. Zvolme libovolně j ∈ I a ukažme, že projekce πj je homomorfismus Ω-algeber. Za tím účelem zvolme libovolně operační symbol f ∈ Ω arity n a prvky χ1, . . . , χn ∈ A. Označme χ = fA(χ1, . . . , χn). Přímo z definice plyne πj(fA(χ1, . . . , χn)) = πj(χ) = χ(j) = fAj (χ1(j), . . . , χn(j)) = = fAj (πj(χ1), . . . , πj(χn)), což se mělo dokázat. Dokažme nyní druhé tvrzení. Je zřejmé, že podmínka πj◦ϕ = ϕj pro každé j ∈ I platí právě tehdy, když definujeme ϕ : C → A následujícím předpisem. Pro každé c ∈ C klademe ϕ(c) = χ, kde χ ∈ A je určeno podmínkou: pro libovolné j ∈ I platí χ(j) = πj(χ) = πj(ϕ(c)) = (πj ◦ ϕ)(c) = ϕj(c). 10 Pro ϕ(c) ∈ A tedy platí: pro každé j ∈ I je (ϕ(c))(j) = ϕj(c). Ověřme, že takto definované zobrazení ϕ : C → A je homomorfismus Ω-algeber. Zvolme libovolně operační symbol f ∈ Ω arity n a prvky c1, . . . , cn ∈ C. Označme χ = fA(ϕ(c1), . . . , ϕ(cn)), podle definice součinu Ω-algeber pak pro každé i ∈ I platí χ(i) = fAi ((ϕ(c1))(i), . . . , (ϕ(cn))(i)) = fAi (ϕi(c1), . . . , ϕi(cn)) = = ϕi(fC(c1, . . . , cn)), neboť ϕi : C → Ai je homomorfismus Ω-algeber. Ovšem ϕi(fC(c1, . . . , cn)) = πi ϕ(fC(c1, . . . , cn)) = ϕ(fC(c1, . . . , cn)) (i). To znamená, že χ a ϕ(fC(c1, . . . , cn)) jsou (jakožto prvky kartézského součinu) zobrazení se stejným definičním oborem, oborem hodnot i předpisem, proto platí χ = ϕ(fC(c1, . . . , cn)), tj. fA(ϕ(c1), . . . , ϕ(cn)) = ϕ(fC(c1, . . . , cn)), což se mělo dokázat. 4. Kongruence a faktorové algebry Poznámka. V této kapitole zobecníme pojmy faktorgrupa a faktorokruh na případ libovolné Ω-algebry. Nepodaří se nám však nalézt pojem odpovídající pojmům normální podgrupa grupy a ideál okruhu. Uvědomme si, jak jsme pojem normální podgrupa dostali: při faktorizaci grupy nebylo nutné si pamatovat celý rozklad nosné množiny užívaný k faktorizaci, stačilo si pamatovat tu třídu, která obsahovala neutrální prvek grupy. Celý rozklad jsme totiž byli schopni ze znalosti této jediné třídy jednoznačně určit, neboť tato třída byla normální podgrupa celé grupy a zmíněný rozklad byl rozkladem příslušným této podgrupě. Tato situace se pak opakovala i v případě okruhů, vždyť každý okruh (zapomeneme-li na operaci násobení) je komutativní grupa. To ale samozřejmě neplatí pro libovolné Ω-algebry. Proto při faktorizaci Ω-algeber nevystačíme jen se zadáním nějaké vhodné podmnožiny nosné množiny (jakožto jedné třídy rozkladu), ale bude vždy třeba zadat rozklad celý. Rozklad samozřejmě lze zadat pomocí jemu odpovídající ekvivalence. Definice. Nechť A je univerzální algebra typu Ω, nechť ∼ je relace ekvivalence na nosné množině A. Řekneme, že ∼ je kongruence na Ω-algebře A, jestliže pro každý n-ární operační symbol f ∈ Ω a pro každé a1, . . . , an, b1, . . . , bn ∈ A platí a1 ∼ b1, . . . , an ∼ bn =⇒ fA(a1, . . . , an) ∼ fA(b1, . . . , bn). 11 Poznámka. Následující věta popisuje vztah mezi homomorfismy Ω-algeber a kongruencemi na Ω-algebrách: každý homomorfismus zadává kongruenci. Později dokážeme, že i naopak každá kongruence vzniká tímto způsobem z vhodného homomorfismu. Věta 4.1. Nechť A, B jsou univerzální algebry téhož typu Ω, ϕ : A → B homomorfismus Ω-algeber. Pak relace ∼ na nosné množině A definovaná předpisem: pro každé a, b ∈ A platí a ∼ b ⇐⇒ ϕ(a) = ϕ(b) (1) je kongruence na Ω-algebře A. Důkaz. Zřejmě je ∼ ekvivalencí příslušnou zobrazení ϕ. Stačí tedy ukázat, že splňuje implikaci v definici kongruence. Zvolme libovolně n-ární operační symbol f ∈ Ω a prvky a1, . . . , an, b1, . . . , bn ∈ A tak, že a1 ∼ b1, . . . , an ∼ bn. Odtud plyne ϕ(a1) = ϕ(b1), . . . , ϕ(an) = ϕ(bn). Pak ovšem z definice homomorfismu ϕ(fA(a1, . . . , an)) = fB(ϕ(a1), . . . , ϕ(an)) = fB(ϕ(b1), . . . , ϕ(bn)) = = ϕ(fA(b1, . . . , bn)), což znamená dokazované fA(a1, . . . , an) ∼ fA(b1, . . . , bn). Definice. Nechť A, B jsou univerzální algebry téhož typu Ω, ϕ : A → B homomorfismus Ω-algeber. Kongruence ∼ na Ω-algebře A definovaná předpisem (1) předchozí věty se nazývá jádro homomorfismu ϕ. Poznámka. Na rozdíl od jádra homomorfismu grup, což byla normální podgrupa grupy A, a jádra homomorfismu okruhů, což byl ideál okruhu A, není tedy jádro homomorfismu Ω-algeber podmnožina nosné množiny A, ale ekvivalence na nosné množině A. Je to dáno tím, že (jak jsme již zmiňovali v úvodní poznámce této kapitoly) v obecném případě Ω-algeber není možné charakterizovat celý rozklad (a tedy celou ekvivalenci) pouze jedinou jeho třídou. Poznámka. V následující definici k dané Ω-algebře A a dané kongruenci na ní sestrojíme faktorovou Ω-algebru způsobem známým z faktorizace grup a okruhů: na rozkladu příslušném ∼ (vždyť ∼ je ekvivalence na nosné množině A) zavedeme operace pomocí reprezentantů. Jako obvykle pak bude potřeba ověřit korektnost této definice, tj. dokázat, že provedená konstrukce nezáleží na naší libovůli při volbě reprezentantů. Definice. Nechť A je univerzální algebra typu Ω, nechť ∼ je kongruence na Ω-algebře A. Označme R = A/∼ rozklad příslušný ∼. Pro každý n-ární operační symbol f ∈ Ω definujme n-ární operaci na R takto: pro každé 12 X1, . . . , Xn ∈ R zvolme a1 ∈ X1, . . . , an ∈ Xn a definujme fR(X1, . . . , Xn) tím, že je to třída obsahující prvek fA(a1, . . . , an). Množina R spolu s právě zavedenými operacemi se nazývá faktorová algebra Ω-algebry A podle kongruence ∼, značí se A/∼. Věta 4.2. Předchozí definice je korektní. Důkaz. Je třeba ověřit nezávislost na volbě reprezentantů. Zachovejme veškeré označení z definice a zvolme ještě další reprezentanty: nechť též b1 ∈ X1, . . . , bn ∈ Xn. Ovšem patřit do stejné třídy rozkladu znamená být ekvivalentní, tedy platí a1 ∼ b1, . . . , an ∼ bn. Z definice kongruence pak dostáváme fA(a1, . . . , an) ∼ fA(b1, . . . , bn), což znamená, že fA(a1, . . . , an) a fA(b1, . . . , bn) patří do stejné třídy rozkladu, totiž do třídy fR(X1, . . . , Xn). Příklad. Příklad faktorgrupy a faktorokruhu je známý. Ukažme si proto něco, co jsme v přednášce z algebry nedělali. Univerzální algebra nám dává návod, jak faktorizovat svazy. Nechť (S, ∨, ∧) je svaz. Kongruence na něm je ekvivalence ∼ na množině S splňující: pro každé a, b, c, d ∈ S takové, že a ∼ b a c ∼ d, platí a ∨ c ∼ b ∨ d a a ∧ c ∼ b ∧ d. Je-li ∼ kongruence na svazu (S, ∨, ∧), pak faktorsvaz je svaz, jehož nosná množina je rozklad S/∼ a operace na ní jsou definovány pomocí reprezentantů: pro T, R ∈ S/∼ zvolíme a ∈ T, b ∈ R a definujeme T ∨ R jako třídu obsahující a ∨ b a T ∧ R jako třídu obsahující a ∧ b. Věta 4.3. Nechť A je univerzální algebra typu Ω, ∼ kongruence na Ωalgebře A. Pak zobrazení π : A → A/∼ určené předpisem a ∈ π(a) pro libovolné a ∈ A (tedy π(a) je třída obsahující prvek a) je surjektivní homomorfismus Ω-algeber. Důkaz. Zobrazení π je surjekce, neboť každá třída rozkladu X ∈ A/∼ je neprázdná, existuje tedy a ∈ X, pro které samozřejmě platí π(a) = X. Ukažme, že π je homomorfismus Ω-algeber. Zvolme libovolně n-ární operační symbol f ∈ Ω a prvky a1, . . . , an ∈ A. Označme X1 = π(a1), . . . , Xn = π(an). Pak tedy a1 ∈ X1, . . . , an ∈ Xn a fA/∼(X1, . . . , Xn) je určeno tím, že obsahuje prvek fA(a1, . . . , an), tj. π(fA(a1, . . . , an)) = fA/∼(X1, . . . , Xn) = fA/∼(π(a1), . . . , π(an)), což se mělo dokázat. Definice. Surjektivní homomorfismus Ω-algeber π : A → A/∼ konstruovaný v předchozí větě se nazývá projekce Ω-algebry A na faktorovou algebru A/∼. Důsledek. Nechť A je univerzální algebra typu Ω. Platí, že každá kongruence na Ω-algebře A je jádrem vhodného homomorfismu Ω-algeber vycházejícího z Ω-algebry A. 13 Důkaz. Nechť ∼ je libovolná kongruence na Ω-algebře A. Nechť π : A → A/∼ je projekce Ω-algebry A na faktorovou algebru A/∼. Tvrzení bude dokázáno, ověříme-li, že jádrem π je ∼. Označme ≈ jádro π. Podle definice jádra homomorfismu pro libovolné a, b ∈ A platí a ≈ b právě tehdy, když π(a) = π(b), což podle definice projekce znamená, že a a b patří do téže třídy rozkladu A/∼, neboli a ∼ b. Definice. Nechť A je množina, ∼ a ≈ ekvivalence na množině A. Řekneme, že ekvivalence ≈ je menší nebo rovna ekvivalenci ∼, jestliže pro každé a, b ∈ A platí implikace a ≈ b =⇒ a ∼ b. Poznámka. Protože dle definice je ekvivalence na množině A relací na množině A, tedy podmnožinou kartézského součinu A × A, přičemž například a ∼ b je stručnější a přehlednější zápis faktu (a, b) ∈ ∼, znamená implikace z předchozí definice vlastně množinovou inkluzi ≈ ⊆ ∼. Nemuseli jsme tedy pro ekvivalence pojem menší vůbec zavádět, důvodem byla jen snaha o snadnější porozumění textu. Plyne odtud, že tato relace je uspořádáním na množině všech ekvivalencí na množině A. Nejmenší prvek této uspořádané množiny je ekvivalence = (dva prvky jsou ekvivalentní, právě když jsou stejné), největším prvkem je ekvivalence A × A, v níž každé dva prvky množiny A jsou ekvivalentní (tedy jí odpovídající rozklad má – v případě A = ∅ – jedinou třídu rozkladu, totiž celou množinu A). Uvažme libovolnou neprázdnou množinu E ekvivalencí na množině A. Průnikem všech ekvivalencí ∼ ∈ E je tedy relace ≈ na množině A, pro kterou platí: pro libovolné a, b ∈ A je a ≈ b právě tehdy, když pro každé ∼ ∈ E platí a ∼ b. Snadno se ověří, že relace ≈ je též ekvivalencí na množině A (promyslete si důkaz sami, je opravdu snadný). Odvodili jsme, že množina všech ekvivalencí na množině A uspořádaná inkluzí je úplný svaz. Rovněž množina všech kongruencí na dané Ω-algebřě A uspořádaná inkluzí tvoří úplný svaz, jak plyne z následující věty, uvědomíte-li si, že relace A × A je vždy kongruencí na Ω-algebřě A. Věta 4.4. Nechť A je univerzální algebra typu Ω, K neprázdná množina kongruencí na Ω-algebře A. Nechť relace ≈ na množině A je průnikem všech kongruencí z množiny K, tj. pro libovolné a, b ∈ A klademe a ≈ b právě tehdy, když pro každé ∼ ∈ K je a ∼ b. • Pak relace ≈ je kongruencí na Ω-algebře A. • Uvažme součin Ω-algeber B = ∼∈K A/∼. Pro každé ∼ ∈ K označme π∼ : B → A/∼ projekci ze součinu a µ∼ : A → A/∼ projekci Ωalgebry A na faktorovou algebru A/∼. Podle věty 3.3 existuje jediný homomorfismus Ω-algeber ϕ : A → B takový, že π∼ ◦ ϕ = µ∼. Pak platí: jádrem homomorfismu ϕ je kongruence ≈. 14 Důkaz. První tvrzení je důsledkem druhého, neboť podle věty 4.1 je jádro libovolného homomorfismu kongruencí. Označme jádro homomorfismu ϕ. Pro libovolné a, b ∈ A platí a b právě tehdy, když ϕ(a) = ϕ(b), což podle definice součinu Ω-algeber nastane právě tehdy, když pro každé ∼ ∈ K platí π∼(ϕ(a)) = π∼(ϕ(b)), což vzhledem k π∼ ◦ ϕ = µ∼ znamená právě µ∼(a) = µ∼(b), neboli a ∼ b. Dokázali jsme, že pro libovolné a, b ∈ A platí a b právě tehdy, když pro každé ∼ ∈ K je a ∼ b, což však podle definice relace ≈ nastane, právě když a ≈ b. Věta je dokázána. Poznámka. Následující věta je zobecněním vět, které jsme si uváděli pro faktorgrupy a faktorokruhy. Věta 4.5. Nechť A, B jsou univerzální algebry téhož typu Ω, ϕ : A → B homomorfismus Ω-algeber s jádrem ∼. Nechť ≈ je libovolná kongruence na Ωalgebře A menší nebo rovna kongruenci ∼. Označme π : A → A/≈ projekci Ω-algebry A na faktorovou algebru A/≈. Pak platí • Existuje jediné zobrazení ˜ϕ : A/≈ → B takové, že ˜ϕ ◦ π = ϕ. • Toto zobrazení ˜ϕ je homomorfismus Ω-algeber. • Homomorfismus ˜ϕ je surjektivní, právě když homomorfismus ϕ je surjek- tivní. • Homomorfismus ˜ϕ je injektivní, právě když jsou obě kongruence ∼ a ≈ stejné (tj. ∼ = ≈). Důkaz. Konstruujme zobrazení ˜ϕ : A/≈ → B tak, aby ˜ϕ ◦ π = ϕ. Zvolme libovolně X ∈ A/≈. Protože X je třída rozkladu, je neprázdná, a tedy existuje a ∈ X. Podle definice π pak π(a) = X. Pak z podmínky ˜ϕ ◦ π = ϕ plyne ˜ϕ(X) = ˜ϕ(π(a)) = ( ˜ϕ ◦ π)(a) = ϕ(a). To ovšem znamená, že pokud nějaké zobrazení ˜ϕ : A/≈ → B splňující ˜ϕ ◦ π = ϕ existuje, je jediné. Definujme tedy ˜ϕ : A/≈ → B tímto jediným způsobem: pro libovolné X ∈ A/≈ tedy zvolíme a ∈ X a klademe ˜ϕ(X) = ϕ(a). Je ale třeba ověřit korektnost této definice, neboli nezávislost na volbě a ∈ X. Mějme další b ∈ X, pak oba prvky a, b leží v téže třídě X rozkladu A/≈, odkud a ≈ b. Protože kongruence ≈ je menší nebo rovna kongruenci ∼, plyne odtud a ∼ b. Ovšem ∼ je jádrem homomorfismu ϕ, proto poslední znamená ϕ(a) = ϕ(b). Je tedy skutečně definice zobrazení ˜ϕ korektní. Dokažme nyní, že zobrazení ˜ϕ je homomorfismus Ω-algeber. Za tím účelem zvolme libovolně operační symbol f ∈ Ω arity n a prvky X1, . . . , Xn ∈ A/≈. Zvolme libovolně a1, . . . , an ∈ A tak, že π(a1) = X1, . . . , π(an) = Xn. Protože 15 π a ϕ jsou homomorfismy Ω-algeber, platí ˜ϕ fA/≈(X1, . . . , Xn) = ˜ϕ fA/≈(π(a1), . . . , π(an)) = = ˜ϕ π(fA(a1, . . . , an)) = = ( ˜ϕ ◦ π)(fA(a1, . . . , an)) = = ϕ(fA(a1, . . . , an)) = = fB(ϕ(a1), . . . , ϕ(an)) = = fB(( ˜ϕ ◦ π)(a1), . . . , ( ˜ϕ ◦ π)(an)) = = fB( ˜ϕ(π(a1)), . . . , ˜ϕ(π(an))) = = fB( ˜ϕ(X1), . . . , ˜ϕ(Xn)), což jsme měli dokázat. Jestliže je homomorfismus ϕ surjektivní, pak pro každé b ∈ B existuje a ∈ A tak, že b = ϕ(a) = ( ˜ϕ ◦ π)(a) = ˜ϕ(π(a)), což znamená, že homomorfismus ˜ϕ je surjektivní. Je-li naopak homomorfismus ˜ϕ surjektivní, pak též ϕ jakožto složení dvou surjekcí je surjektivní (dokažte si sami). Předpokládejme, že ∼ = ≈, a ukažme, že homomorfismus ˜ϕ je injektivní. Nechť X1, X2 ∈ A/≈ jsou libovolné prvky splňující ˜ϕ(X1) = ˜ϕ(X2). Zvolme libovolně a1, a2 ∈ A tak, že π(a1) = X1, π(a2) = X2. Pak platí ϕ(a1) = ( ˜ϕ ◦ π)(a1) = ˜ϕ(π(a1)) = ˜ϕ(X1) = = ˜ϕ(X2) = ˜ϕ(π(a2))( ˜ϕ ◦ π)(a2) = ϕ(a2), odkud z definice jádra homomorfismu plyne a1 ∼ a2, a proto a1 ≈ a2, což znamená, že prvky a1 a a2 leží v téže třídě rozkladu, kterou je X1 = X2. Předpokládejme naopak, že homomorfismus ˜ϕ je injektivní. Stačí ověřit, že kongruence ∼ je menší nebo rovna kongruenci ≈, neboť opačnou nerovnost máme v předpokladech věty. Nechť tedy jsou a, b ∈ A takové, že a ∼ b. Pak z definice jádra homomorfismu plyne ϕ(a) = ϕ(b), tedy ˜ϕ(π(a)) = ˜ϕ(π(b)). Protože předpokládáme, že ˜ϕ je injektivní homomorfismus, plyne odtud π(a) = π(b). Podle definice projekce na faktorovou algebru to znamená, že a a b leží v téže třídě rozkladu A/≈, tedy a ≈ b. Důkaz věty je skončen. Důsledek. Nechť A, B jsou univerzální algebry téhož typu Ω, ϕ : A → B homomorfismus Ω-algeber s jádrem ∼. Pak obraz Ω-algebry A v homomorfismu ϕ ϕ(A) = {ϕ(a); a ∈ A} je Ω-algebra izomorfní s faktorovou algebrou A/∼. Důkaz. Stačí užít předchozí větu pro ≈ = ∼ a uvědomit si, že ϕ(A) = ( ˜ϕ ◦ π)(A) = ˜ϕ(A/∼), neboť projekce π je surjektivní. 16 5. Termy Poznámka. V následující kapitole budeme chtít definovat rovnosti. Příkladem těchto rovností jsou komutativní, asociativní, distributivní, absorpční a další identity, se kterými jsme se setkali. Jde vždy o rovnost mezi dvěma výrazy, které obsahují nějaké proměnné spolu svázané operacemi. Tyto výrazy nazýváme termy. Potřebujeme nyní přesně tyto termy definovat. Jediná cesta je definovat je induktivně, tedy říci, že term je něco, co lze určitými pravidly získat z nejjednodušších termů. Představme si pro určitost nějaké konkrétní rovnosti, například následující rovnosti platné v Booleových algebrách x ∨ x = 1, x ∧ x = x. Vidíme, že zde nejjednoduššími termy jsou nulární operace 1 a proměnná x. Z nich se pak konstruují složitější termy x , x ∧ x, x ∨ x . Obecně nevystačíme s jedinou proměnnou (vzpomeňte si na rovnosti popisující komutativní nebo asociativní zákon). Na druhou stranu je jasné, že vždy máme v rovnosti jen konečně mnoho proměnných. Proto bude stačit pracovat s následujícími proměnnými x1, x2, x3, . . . Definice. Nechť Ω je typ. Termem typu Ω nazveme právě takový výraz, který lze zkonstruovat konečně mnoha aplikacemi následujících pravidel: • Pro libovolné přirozené číslo n je proměnná xn term typu Ω. • Pro libovolný nulární operační symbol f ∈ Ω je f term typu Ω. • Pro libovolné přirozené číslo n, libovolný n-ární operační symbol f ∈ Ω a libovolné termy t1, . . . , tn typu Ω je výraz f(t1, . . . , tn) term typu Ω. Poznámka. Pokud by měl někdo pocit, že přes veškerou snahu o přesnost je předchozí definice stejně nepřesná, neboť užívá nedefinovaný pojem výraz, může si předchozí definici opravit tím, že místo o výrazech bude mluvit o konečných posloupnostech symbolů z abecedy, která se skládá z množiny proměnných, množiny Ω, kulatých závorek a čárky, tedy o slovech nad touto abecedou. Poznamenejme též, že striktně podle definice například x∨x term není, správně bychom jej totiž měli psát ve tvaru ∨(x1, (x1)). Je jasné, že poslední zápis na přehlednosti nepřidal, proto nebudeme užívat dogmaticky jen zápisy termů povolené předchozí definicí. Na druhou stranu je nezbytné, abychom vždy věděli, jak term, který užíváme, má dle této definice vypadat. Definice. Řekneme, že term t typu Ω je n-ární, jestliže se při jeho konstrukci nevyužilo žádné proměnné xm pro m > n. Příklad. Term x2 je binární, ovšem je též 3-ární a také 4-ární atd. Není však unární, přestože v něm vystupuje jen jedna proměnná. Příklad. Nulární term typu Ω je term, při jehož konstrukci se nepoužila žádná proměnná, byl tedy vytvořen jen pomocí druhého a třetího pravidla 17 z definice termu. Je jasné, že takové termy existují jen pro typy obsahující alespoň jeden nulární operační symbol. Poznámka. Je vcelku patrné, že každý n-ární term t typu Ω nám v libovolné Ω-algebře A zadává n-ární operaci. Chceme-li tento jasný fakt definovat přesně, je nutné užít opět induktivní definici. Definice. Nechť t je n-ární term typu Ω. Nechť A je univerzální algebra typu Ω. Definujeme n-ární operaci tA určenou termem t na Ω-algebře A následujícím způsobem. Nechť a1, . . . , an ∈ A jsou libovolné prvky. • Je-li termem t proměnná xk, pak operací určenou termem t je k-tá projekce z kartézského součinu, tj. pro t = xk klademe tA(a1, . . . , an) = ak. • Je-li termem t nulární operační symbol f ∈ Ω, pak operací určenou termem t je operace na Ω-algebře A příslušná symbolu f, tj. pro t = f klademe tA(a1, . . . , an) = fA. • Je-li term t složen pomocí k-árního operačního symbolu f ∈ Ω, kde k ≥ 1, z termů t1, . . . , tk typu Ω, pak operaci tA určenou termem t definujeme takto: její hodnota v n-tici (a1, . . . , an) je hodnota operace fA na Ω-algebře A příslušné symbolu f v k-tici ((t1)A(a1, . . . , an), . . . , (tk)A(a1, . . . , an)) hodnot operací příslušných termům t1, . . . , tk v n-tici (a1, . . . , an), tj. pro t = f(t1, . . . , tn) klademe tA(a1, . . . , an) = fA((t1)A(a1, . . . , an), . . . , (tk)A(a1, . . . , an)). Poznámka. Protože libovolný n-ární term typu Ω lze považovat též za m-ární term typu Ω pro libovolné m ≥ n, dopustili jsme se v předchozí definici jisté nepřesnosti: stejným symbolem tA označujeme různé operace! Je-li k nejmenší takové, že term t je k-ární, pak tA značí n-ární operaci na Ω-algebře A pro každé nezáporné celé číslo n ≥ k. Ukažme to na následujícím příkladu. Příklad. Předpokládejme, že Ω obsahuje binární operační symbol +. Jestliže například považujeme term x1 + x2 za binární, pak podle předchozí definice platí (x1 +x2)A(a1, a2) = a1 +a2, pokud tento term však považujeme za 3-ární, pak (x1 + x2)A(a1, a2, a3) = a1 + a2. Obecně, pro libovolné n ≥ 2, je-li term x1 + x2 považován za n-ární, pak (x1 + x2)A(a1, . . . , an) = a1 + a2. Poznámka. V předchozím příkladě jsme viděli, že nepřesnost, které se dopouštíme, není nijak fatální. Dokážeme to v následující větě. Věta 5.1. Nechť t je n-ární term typu Ω, nechť přirozené číslo m > n. Pak pro libovolnou univerzální algebru A typu Ω a libovolné a1, . . . , am ∈ A platí tA(a1, . . . , an) = tA(a1, . . . , am), 18 kde symbolem tA rozumíme vlevo n-ární operaci určenou termem t na A, kdežto vpravo m-ární operaci určenou termem t na A. Důkaz. Důkaz povedeme indukcí vzhledem k termu t podle definice termu. První krok této indukce spočívá v tom, že tvrzení dokážeme pro termy, které jsou proměnnou nebo nulárním operačním symbolem. Ve druhém kroku předpokládáme, že term t je pomocí nějakého operačního symbolu složen z jiných termů a že pro tyto termy bylo tvrzení již dokázáno, a dokážeme tvrzení pro term t. • Je-li termem t proměnná xk, pak k ≤ n, neboť t je n-ární term. Platí (xk)A(a1, . . . , an) = ak = (xk)A(a1, . . . , am). • Je-li termem t nulární operační symbol f ∈ Ω, pak fA(a1, . . . , an) = fA = fA(a1, . . . , am). • Předpokládejme, že je term t složen pomocí k-árního operačního symbolu f ∈ Ω, kde k ≥ 1, z termů t1, . . . , tk typu Ω, pro které již bylo tvrzení dokázáno, tedy pro každé j = 1, . . . , k platí (tj)A(a1, . . . , an) = (tj)A(a1, . . . , am). Pak platí tA(a1, . . . , an) = fA((t1)A(a1, . . . , an), . . . , (tk)A(a1, . . . , an)) = = fA((t1)A(a1, . . . , am), . . . , (tk)A(a1, . . . , am)) = = tA(a1, . . . , am). Věta je dokázána. Příklad. Nechť Ω = {·}, kde · je binární operační symbol, nechť A je univerzální algebra typu Ω (tedy grupoid). Uvažme term x1 · x2. Pak dle předchozí definice tento term určuje binární operaci (x1 · x2)A(a1, a2) = (x1)A(a1, a2) · (x2)A(a1, a2) = a1 · a2. Podobně (x2 · x1)A(a1, a2) = (x2)A(a1, a2) · (x1)A(a1, a2) = a2 · a1. Naivně lze tedy operaci příslušnou termu t popsat takto: za proměnnou xk dosadíme prvek ak a provedeme všechny operace termu t. 19 Příklad. Uvažme typ Ω = {∨, ∧, , 0, 1}, kde operační symboly ∨ a ∧ jsou binární, symbol je unární a symboly 0, 1 jsou nulární. Nechť A je univerzální algebra typu Ω (příkladem takové Ω-algebry je libovolná Booleova algebra, ovšem ne každá Ω-algebra je Booleova algebra, je jí jen ta, v níž platí podmínky kladené na Booleovy algebry, tj. asociativita, komutativita, idempotentnost obou operací, absorpční a distributivní zákony, identity spojené s nejmenším a největším prvkem, identity pro komplement – viz následující kapitolu). Uvažme term (x1 ∧ x2) ∨ (x1 ∧ x2), pak hodnota operace na A určené tímto termem v uspořádané dvojici prvků a1, a2 ∈ A je ((x1 ∧ x2) ∨ (x1 ∧ x2))A(a1, a2) = (x1 ∧ x2)A(a1, a2) ∨ (x1 ∧ x2)A(a1, a2) = = (x1)A(a1, a2) ∧ (x2)A(a1, a2) ∨ (x1)A(a1, a2) ∧ (x2)A(a1, a2) = = a1 ∧ ((x2)A(a1, a2)) ∨ ((x1)A(a1, a2)) ∧ a2 = = (a1 ∧ a2) ∨ (a1 ∧ a2), což je v případě Booleovy algebry hodnota operace sčítání na odpovídajícím Booleově okruhu. Příklad. Uvažme libovolný typ Ω obsahující n-ární operační symbol f, a term f(x1, . . . , xn). Pak pro libovolnou Ω-algebru A a libovolné a1, . . . , an ∈ A platí (f(x1, . . . , xn))A(a1, . . . , an) = fA((x1)A(a1, . . . , an), . . . , (xn)A(a1, . . . , an)) = = fA(a1, . . . , an), a tedy (f(x1, . . . , xn))A = fA. Poznámka. Právě definované operace určené termy umožňují zformulovat následující obecnou větu o tom, jak vypadá podalgebra Ω-algebry generovaná podmnožinou. Se speciálními případy této věty jsme se již několikrát setkali, například pro podgrupu grupy generovanou množinou, nebo pro vektorový podprostor vektorového prostoru generovaný danou množinou vektorů. Věta 5.2. Nechť A je univerzální algebra typu Ω, M podmnožina nosné množiny A. Pak podalgebra M Ω-algebry A generovaná množinou M je tvaru M = {tA(a1, . . . , an); n ∈ Z, n ≥ 0, t je n-ární term typu Ω, a1, . . . , an ∈ M}. Důkaz. Označme N množinu na pravé straně uvedené rovnosti. Nejprve dokážeme M ⊆ N, a to tak, že ukážeme, že N je podalgebra Ω-algebry A obsahující množinu M. Pro inkluzi M ⊆ N stačí vzít n = 1 a unární term x1, neboť pro libovolné a ∈ M je (x1)A(a) = a. Dokažme tedy, že N je 20 podalgebra Ω-algebry A. Zvolme libovolně k-ární operační symbol f ∈ Ω a k libovolných prvků b1, . . . , bk ∈ N a ukažme, že fA(b1, . . . , bk) ∈ N. Ovšem pro každé j = 1, . . . , k existuje nj-ární term tj typu Ω a nj prvků aj,1, . . . , aj,nj ∈ M tak, že bj = (tj)A(aj,1, . . . , aj,nj ). Potřebujeme prvky b1, . . . , bk získat jako hodnoty operací příslušných nějakým termům typu Ω na stejné n-tici prvků množiny M. Proto položme n = n1 +· · ·+nk a uvažme n-tici (a1,1, . . . , a1,n1 , . . . , ak,1, . . . , ak,nk ) vzniklou poskládáním zmíněných njtic za sebe. Označme tj term, který vznikne z termu tj tím, že se indexy všech proměnných v něm použitých zvětší o číslo n1 + · · · + nj−1 (tedy speciálně t1 = t1). Platí tedy pro každé j = 1, . . . , k bj = (tj)A(aj,1, . . . , aj,nj ) = (tj)A(a1,1, . . . , a1,n1 , . . . , ak,1, . . . , ak,nk ), a proto fA(b1, . . . , bk) = (f(t1, . . . , tk))A(a1,1, . . . , a1,n1 , . . . , ak,1, . . . , ak,nk ). To je ale dle definice množiny N prvek N, což se mělo dokázat. Dokažme nyní inkluzi M ⊇ N, a to tak, že ukážeme, že prvky množiny N leží v každé podalgebře Ω-algebry A obsahující množinu M. Dle definice množiny N je její libovolný prvek tvaru tA(a1, . . . , an), kde t je nární term typu Ω a a1, . . . , an ∈ M. Nechť H je libovolná podalgebra Ωalgebry A obsahující množinu M a ukažme indukcí podle definice termu, že tA(a1, . . . , an) ∈ H. • Je-li termem t proměnná xk, pak tA(a1, . . . , an) = ak ∈ M ⊆ H. • Je-li termem t nulární operační symbol f ∈ Ω, pak podle definice podalgebry tA(a1, . . . , an) = fA ∈ H. • Předpokládejme, že je term t složen pomocí k-árního operačního symbolu f ∈ Ω, kde k ≥ 1, z termů t1, . . . , tk typu Ω, pro které již bylo tvrzení dokázáno, tedy pro každé j = 1, . . . , k platí bj = (tj)A(a1, . . . , an) ∈ H. Pak platí tA(a1, . . . , an) = fA((t1)A(a1, . . . , an), . . . , (tk)A(a1, . . . , an)) = = fA(b1, . . . , bk) ∈ H dle definice podalgebry. Věta je dokázána. 6. Variety Definice. Nechť t1, t2 jsou termy typu Ω. Výraz t1 = t2 nazýváme rovností typu Ω. 21 Příklad. Nechť Ω = {·}, kde · je binární operační symbol, pak rovností typu Ω je například rovnost x1 · x2 = x2 · x1. Tato rovnost psána naprosto formálně je tvaru ·(x1, x2) = ·(x2, x1), ale je jasné, že není třeba si zbytečně komplikovat život přehnanou snahou po formálnosti, podstatné je to, že víme, jak formálně rovnost vypadá, a jsme schopni v případě potřeby ji správně formálně přepsat. Příklad. Uvažme typ Ω = {·, −1 , 1}, kde operační symbol · je binární, symbol −1 je unární a symbol 1 je nulární. Příklady rovností jsou (x1·x2)·x3 = x1 · (x2 · x3), x1 · x−1 1 = 1, atd. Definice. Nechť t1 a t2 jsou termy typu Ω, nechť A je univerzální algebra typu Ω. Nechť n a m jsou nejmenší přirozená čísla taková, že t1 je n-ární a t2 je m-ární term. Označme k = max{n, m}. Řekneme, že rovnost t1 = t2 platí v Ω-algebře A, jestliže termy t1, t2 určují stejnou k-ární operaci na Ω-algebře A, tj. pro každé prvky a1, . . . , ak ∈ A platí (t1)A(a1, . . . , ak) = (t2)A(a1, . . . , ak). Poznámka. Podle věty 5.1 platí, že pokud termy t1 a t2 z předchozí definice určují stejnou k-ární operaci na A, tak pro libovolné přirozené číslo l ≥ k tyto termy určují stejnou l-ární operaci na A. Proto v předchozí definici jsme místo k = max{n, m} mohli vzít libovolné přirozené číslo k ≥ max{n, m}. Příklad. Nechť t1 = t2 je libovolná rovnost typu Ω. Pak v libovolné jednoprvkové univerzální algebře A typu Ω platí rovnost t1 = t2. Jestliže existuje prázdná Ω-algebra (tj. jestliže typ Ω nemá žádný nulární operační symbol), pak v této prázdné algebře rovnost t1 = t2 také platí. Příklad. Nechť Ω = {·}, kde · je binární operační symbol, pak rovnost x1 · x2 = x2 · x1 platí v Ω-algebře A, právě když je A komutativní grupoid. Definice. Libovolnou množinu rovností typu Ω nazýváme teorií typu Ω. Definice. Nechť T je teorie typu Ω. Třídu všech Ω-algeber, v nichž platí všechny rovnosti teorie T, nazýváme varietou Ω-algeber určenou teorií T. Příklad. Nechť T je libovolná teorie typu Ω. Pak platí, že ve varietě určené teorií T leží všechny jednoprvkové Ω-algebry. Jestliže typ Ω nemá žádný nulární operační symbol, pak ve varietě určené teorií T leží také prázdná Ω- algebra. Poznámka. Všimněte si, že v předchozí definici hovoříme o třídě všech Ωalgeber, nikoli o množině všech Ω-algeber. Nelze totiž hovořit o množině všech Ω-algeber stejně jako nelze hovořit o množině všech množin. Důvodem jsou paradoxy naivní teorie množin (pokud by existovala množina všech množin, existovala by i množina M všech těch množin, které nejsou svým prvkem; pak oba případy M ∈ M i M /∈ M vedou ke sporu). 22 Poznámka pro ty, kteří znají predikátovou logiku. Uvažíme predikátovou logiku v jazyce s operačními symboly z Ω. Pak pro libovolné n-ární termy je rovnost t1 = t2 atomickou formulí predikátové logiky, z níž přidáním kvantifikátorů utvoříme uzavřenou formuli (tj. sentenci) (∀x1) . . . (∀xn)(t1 = t2). Provedeme-li to se všemi rovnostmi nějaké teorie T typu Ω, získáme tak množinu uzavřených formulí, tedy teorii predikátové logiky. Varieta určená teorií T je pak právě třída všech modelů takto vzniklé teorie predikátové logiky. Příklad. Nechť Ω = {·}, kde · je binární operační symbol. Teorie {x1·x2 = x2 · x1} určuje varietu všech komutativních grupoidů, teorie {(x1 · x2) · x3 = x1 · (x2 · x3)} určuje varietu všech pologrup, teorie {x1 · x2 = x2 · x1, (x1 · x2) · x3 = x1 · (x2 · x3), x1 · x1 = x1} určuje varietu všech polosvazů. Naproti tomu třídu všech grup nedostaneme jako varietu {·}-algeber určenou nějakou teorií typu {·}: nevíme totiž, jak zapsat podmínku pro existenci neutrálního prvku nějakými rovnostmi (tato podmínka obsahuje existenční kvantifikátor, kdežto my můžeme zapsat jen podmínky se všeobecnými kvantifikátory). Příklad. Uvažme typ Ω = {·, −1 , 1}, kde operační symbol · je binární, symbol −1 je unární a symbol 1 je nulární. Teorie {(x1·x2)·x3 = x1·(x2·x3), x1·1 = x1, 1·x1 = x1, x1·(x1)−1 = 1, (x1)−1 ·x1 = 1} určuje varietu všech grup, přidáním další rovnosti x1 · x2 = x2 · x1 získáme teorii určující varietu všech komutativních grup. Tato varieta je samozřejmě též varietou určenou teorií {(x1 · x2) · x3 = x1 · (x2 · x3), x1 · x2 = x2 · x1, x1 · 1 = x1, x1 · (x1)−1 = 1}. Příklad. Uvažme typ Ω = {+, ·, −, 0, 1}, kde operační symboly + a · jsou binární, symbol − je unární a symboly 0, 1 jsou nulární. Varieta všech okruhů je varieta Ω-algeber určená následující teorií typu Ω: {(x1 + x2) + x3 = x1 + (x2 + x3), x1 + x2 = x2 + x1, x1 + 0 = x1, x1 + (−x1) = 0, (x1 · x2) · x3 = x1 · (x2 · x3), x1 · 1 = x1, 1 · x1 = x1, x1 · (x2 + x3) = (x1 · x2) + (x1 · x3), (x1 + x2) · x3 = (x1 · x3) + (x2 · x3)}. Není jasné, jak zachytit podmínky oboru integrity a tělesa. Později uvidíme, že ani třídu všech oborů integrity ani třídu všech těles nemůžeme dostat jako varietu univerzálních algeber. 23 Příklad. Uvažme typ Ω = {∨, ∧}, kde oba operační symboly jsou binární. Pak varieta všech svazů je určená následující teorií T typu Ω: T = {x1 ∨ x2 = x2 ∨ x1, (x1 ∨ x2) ∨ x3 = x1 ∨ (x2 ∨ x3), x1 ∨ x1 = x1, x1 ∧ x2 = x2 ∧ x1, (x1 ∧ x2) ∧ x3 = x1 ∧ (x2 ∧ x3), x1 ∧ x1 = x1, (x1 ∨ x2) ∧ x1 = x1, (x1 ∧ x2) ∨ x1 = x1}. Teorie T1 = T ∪ {x1 ∨ (x2 ∧ x3) = (x1 ∨ x2) ∧ (x1 ∨ x3)} určuje varietu všech distributivních svazů, teorie T2 = T ∪ {(x1 ∧ x2) ∨ (x1 ∧ x3) = x1 ∧ (x2 ∨ (x1 ∧ x3))} určuje varietu všech modulárních svazů. Příklad. Uvažme typ Ω = {∨, ∧, , 0, 1}, kde operační symboly ∨ a ∧ jsou binární, symbol je unární a symboly 0, 1 jsou nulární. Nechť T1 je teorie z předchozího příkladu. Pak teorie T1 ∪ {x1 ∧ 0 = 0, x1 ∨ 1 = 1, x1 ∨ (x1) = 1, x1 ∧ (x1) = 0} určuje varietu všech Booleových algeber. Příklad. Připomeňme definici vektorového prostoru nad tělesem (R, +, ·). Pro větší srozumitelnost odlišíme operaci sčítání vektorů od sčítání v tělese a budeme ji značit ⊕. Podobně u bude opačný vektor k vektoru u. Odlišíme také násobení vektorů skaláry od násobení v tělese a budeme jej značit . Vektorový prostor nad tělesem (R, +, ·) je komutativní grupa (V, ⊕) a zobrazení : R × V → V splňující pro každé u, v ∈ V a každé r, s ∈ R r (u ⊕ v) = (r u) ⊕ (r v) (r + s) u = (r u) ⊕ (s u) (r · s) u = r (s u) 1 u = u. Popišme nyní třídu všech vektorových prostorů jako varietu určenou vhodnou teorií. Uvažme typ Ω = {⊕, , o} ∪ R, kde operační symbol ⊕ je binární, symbol je unární, symbol o je nulární a pro každé r ∈ R je r unární operační symbol. Uvažme následující teorii T typu Ω: T = {(x1⊕x2)⊕x3 = x1⊕(x2⊕x3), x1⊕x2 = x2⊕x1, x1⊕o = x1, x1⊕( x1) = o}. Tato teorie (uvažovaná jako teorie typu {⊕, , o}) určuje varietu všech komutativních grup. Přidáme k ní zbylé čtyři axiomy vektorových prostorů. 24 Čtvrtý axiom 1 u = u je nejsnadnější: 1 ∈ R je unární operační symbol, tedy odpovídající rovností je rovnost 1(x1) = x1. Pro druhý a třetí axiom uvážíme libovolné r, s ∈ R. To jsou unární operační symboly. Ale pak též r+s a r · s jsou prvky R, a tedy unární operační symboly. Dostáváme následující rovnosti typu Ω: (r + s)(x1) = r(x1) ⊕ s(x1), (r · s)(x1) = r(s(x1)). První axiom pro libovolné r ∈ R dává rovnost r(x1 ⊕ x2) = r(x1) ⊕ r(x2). Celkem tedy dostáváme teorii T ∪ {1(x1) = x1} ∪ r∈R {r(x1 ⊕ x2) = r(x1) ⊕ r(x2)} ∪ ∪ r∈R s∈R {(r + s)(x1) = r(x1) ⊕ s(x1), (r · s)(x1) = r(s(x1))} . Tato teorie určuje varietu všech vektorových prostorů. Poznámka. Následující větu lze stručně zformulovat takto: variety jsou uzavřené na podalgebry algeber. Věta 6.1. Nechť T je teorie typu Ω, V varieta Ω-algeber určená teorií T. Pak pro každou Ω-algebru A ∈ V a každou podalgebru B Ω-algebry A platí B ∈ V . Důkaz. Uvažme libovolnou rovnost t1 = t2 z teorie T. Protože A ∈ V , platí tato rovnost v Ω-algebře A. Ovšem zřejmě pro každý n-ární term t typu Ω a libovolné a1, . . . , an ∈ B platí tB(a1, . . . , an) = tA(a1, . . . , an). Proto rovnost t1 = t2 platí i v Ω-algebře B. Dokázali jsme, že každá rovnost teorie T platí v Ω-algebře B a tedy B ∈ V . Poznámka. Následující věta ukazuje, že definiční vlastnost homomorfismu platí nejen pro všechny operační symboly typu Ω, ale dokonce pro libovolné termy typu Ω. Věta 6.2. Nechť A, B jsou univerzální algebry typu Ω, ϕ : A → B homomorfismus Ω-algeber. Pak pro libovolný n-ární term t typu Ω a libovolné a1, . . . , an ∈ A platí tB(ϕ(a1), . . . , ϕ(an)) = ϕ(tA(a1, . . . , an)). Důkaz. Větu dokážeme indukcí vzhledem k termu t. • Je-li termem t proměnná xk, pak tA i tB jsou k-té projekce, a tedy ϕ(tA(a1, . . . , an)) = ϕ(ak) = tB(ϕ(a1), . . . , ϕ(an)). 25 • Je-li termem t nulární operační symbol f ∈ Ω, pak tA(a1, . . . , an) = fA, tB(ϕ(a1), . . . , ϕ(an)) = fB. Ovšem ϕ(fA) = fB podle definice homo- morfismu. • Předpokládejme, že je term t složen pomocí k-árního operačního symbolu f ∈ Ω, kde k ≥ 1, z termů t1, . . . , tk typu Ω, pro které již bylo tvrzení dokázáno, tedy pro každé j = 1, . . . , k platí (tj)B(ϕ(a1), . . . , ϕ(an)) = ϕ((tj)A(a1, . . . , an)). Podle definice operace určené termem platí tA(a1, . . . , an) = fA((t1)A(a1, . . . , an), . . . , (tk)A(a1, . . . , an)), podobně tB(ϕ(a1), . . . , ϕ(an)) = = fB((t1)B(ϕ(a1), . . . , ϕ(an)), . . . , (tk)B(ϕ(a1), . . . , ϕ(an))). Podle definice homomorfismu a indukčního předpokladu platí ϕ(tA(a1, . . . , an)) = ϕ(fA((t1)A(a1, . . . , an), . . . , (tk)A(a1, . . . , an))) = = fB(ϕ((t1)A(a1, . . . , an)), . . . , ϕ((tk)A(a1, . . . , an))) = = fB((t1)B(ϕ(a1), . . . , ϕ(an)), . . . , (tk)B(ϕ(a1), . . . , ϕ(an))) = = tB(ϕ(a1), . . . , ϕ(an)), což se mělo dokázat. Věta je dokázána. Poznámka. Následující větu lze stručně zformulovat takto: variety jsou uzavřené na obrazy algeber v homomorfismech. Podle důsledku věty 4.5 to znamená, že variety jsou uzavřené na faktoralgebry. S konkrétními případy tohoto tvrzení jsme se tedy setkali již dříve: faktorizací (komutativní) grupy jsme dostali (komutativní) grupu, faktorizací (komutativního) okruhu jsme dostali (komutativní) okruh. Věta 6.3. Nechť T je teorie typu Ω, V varieta Ω-algeber určená teorií T. Nechť A, B jsou Ω-algebry, ϕ : A → B surjektivní homomorfismus Ωalgeber. Pak platí: je-li A ∈ V , pak též B ∈ V . Důkaz. Uvažme libovolnou rovnost t1 = t2 z teorie T. Protože A ∈ V , platí tato rovnost v Ω-algebře A. Nechť n je takové, že oba termy t1, t2 jsou n-ární. Je třeba ověřit, že pro libovolné b1, . . . , bn ∈ B platí (t1)B(b1, . . . , bn) = (t2)B(b1, . . . , bn). 26 Protože je ϕ surjekce, existují a1, . . . , an ∈ A tak, že b1 = ϕ(a1), . . . , bn = ϕ(an). Pak z předchozí věty a toho, že rovnost t1 = t2 platí v Ω-algebře A, dostáváme (t1)B(b1, . . . , bn) = (t1)B(ϕ(a1), . . . , ϕ(an)) = ϕ((t1)A(a1, . . . , an)) = = ϕ((t2)A(a1, . . . , an)) = (t2)B(ϕ(a1), . . . , ϕ(an)) = (t2)B(b1, . . . , bn). Dokázali jsme, že každá rovnost teorie T platí v Ω-algebře B a tedy B ∈ V . Poznámka. Následující věta ukazuje, že podmínka, kterou byly definovány operace na součinu Ω-algeber, platí nejen pro všechny operační symboly typu Ω, ale dokonce pro libovolné termy typu Ω. Věta 6.4. Nechť Ω je typ. Nechť pro libovolný prvek i množiny I je dána univerzální algebra Ai typu Ω. Označme A součin těchto Ω-algeber, tj. A = i∈I Ai. Uvažme libovolný n-ární term t typu Ω a libovolné χ1, . . . , χn ∈ A. Označme χ = tA(χ1, . . . , χn). Pak pro každé i ∈ I platí χ(i) = tAi (χ1(i), . . . , χn(i)). Důkaz. Větu dokážeme indukcí vzhledem k termu t. • Je-li termem t proměnná xk, pak tA i tAi jsou k-té projekce, a tedy χ = tA(χ1, . . . , χn) = χk a tAi (χ1(i), . . . , χn(i)) = χk(i) = χ(i). • Je-li termem t nulární operační symbol f ∈ Ω, pak dle definice součinu Ω-algeber platí fA = ξ, kde ξ ∈ A je určeno podmínkou ξ(i) = fAi , což je dokazované tvrzení. • Předpokládejme, že je term t složen pomocí k-árního operačního symbolu f ∈ Ω, kde k ≥ 1, z termů t1, . . . , tk typu Ω, pro které již bylo tvrzení dokázáno. Nejprve zformulujme tento indukční předpoklad. Pro každé j = 1, . . . , k označme ψj = (tj)A(χ1, . . . , χn). Předpokládáme tedy, že t = f(t1, . . . , tk) a že pro každé i ∈ I a pro každé j = 1, . . . , k platí ψj(i) = (tj)Ai (χ1(i), . . . , χn(i)). Podle definice operace určené termem platí tAi (χ1(i), . . . , χn(i)) = = fAi ((t1)Ai (χ1(i), . . . , χn(i)), . . . , (tk)Ai (χ1(i), . . . , χn(i))) = = fAi (ψ1(i), . . . , ψn(i)) a také χ = tA(χ1, . . . , χn) = = fA((t1)A(χ1, . . . , χn), . . . , (tk)A(χ1, . . . , χn)) = = fA(ψ1, . . . , ψn), 27 a tedy podle definice operací na součinu Ω-algeber pro každé i ∈ I platí χ(i) = fAi (ψ1(i), . . . , ψn(i)). Ovšem výše jsme odvodili, že fAi (ψ1(i), . . . , ψn(i)) = tAi (χ1(i), . . . , χn(i)). Věta je dokázána. Poznámka. Následující větu lze stručně zformulovat takto: variety jsou uzavřené na libovolné součiny algeber. Věta 6.5. Nechť T je teorie typu Ω, V varieta Ω-algeber určená teorií T. Nechť pro libovolný prvek i množiny I je dána univerzální algebra Ai typu Ω. Označme A součin těchto Ω-algeber, tj. A = i∈I Ai. Pak platí: jestliže pro každé i ∈ I je Ai ∈ V , pak též A ∈ V . Důkaz. Uvažme libovolnou rovnost t1 = t2 z teorie T. Protože pro každé i ∈ I je Ai ∈ V , platí tato rovnost v Ω-algebře Ai. Nechť n je takové, že oba termy t1, t2 jsou n-ární. Je třeba ověřit, že pro libovolné χ1, . . . , χn ∈ A platí (t1)A(χ1, . . . , χn) = (t2)A(χ1, . . . , χn). Označme ψ1 = (t1)A(χ1, . . . , χn) a ψ2 = (t2)A(χ1, . . . , χn). Naším cílem je dokázat, že ψ1 = ψ2. Podle definice součinu množin jsou ψ1 a ψ2 zobrazení se stejným definičním oborem i oborem hodnot. Je třeba ověřit, že mají též stejný předpis, tj. že pro každé i ∈ I platí ψ1(i) = ψ2(i). Z předchozí věty plyne, že pro každé i ∈ I platí ψ1(i) = (t1)Ai (χ1(i), . . . , χn(i)) a ψ2(i) = (t2)Ai (χ1(i), . . . , χn(i)). Protože rovnost t1 = t2 platí v Ω-algebře Ai, je (t1)Ai (χ1(i), . . . , χn(i)) = (t2)Ai (χ1(i), . . . , χn(i)), a tedy též ψ1(i) = ψ2(i), což jsme chtěli dokázat. Dokázali jsme, že každá rovnost teorie T platí v Ω-algebře A a tedy A ∈ V . Příklad. Nyní jsme schopni dokázat slíbené tvrzení, že ani třídu všech oborů integrity ani třídu všech těles nemůžeme dostat jako varietu univerzálních algeber typu {+, ·, −, 0, 1}. Podle předchozí věty k tomu stačí najít dvě tělesa, jejichž součinem není těleso, a dva obory integrity, jejichž součinem není obor integrity. Hledání takových těles je snadné: platí dokonce, že součin libovolných dvou těles (která jsou samozřejmě i obory integrity) není oborem integrity (a tedy ani tělesem). V každém takovém součinu totiž máme dělitele nuly, neboť platí (0, 1) · (1, 0) = (0, 0). (Pokud Vám není tento obecný příklad jasný, uvažte dvě kopie tělesa o dvou prvcích – okruhu zbytkových tříd modulo 2 – a vypište si všechny čtyři prvky a sestavte tabulku pro operaci násobení.) Příklad. Třída všech svazů, které jsou řetězci (tj. lineárně uspořádanými množinami) netvoří varietu univerzálních algeber typu {∨, ∧}, neboť součinem dvou dvouprvkových svazů, které jsou řetězci, je čtyřprvkový svaz, který není řetězec. 28 Příklad. Třída všech grup netvoří varietu univerzálních algeber typu {·}, neboť tato třída není uzavřena na podalgebry (existují podgrupoidy grup, které nejsou grupami). Přesto jsme dostali třídu všech grup jako varietu univerzálních algeber typu {·, −1 , 1}. Rozšířením typu jsme totiž dosáhli toho, že zmíněné podgrupoidy už nebyly podalgebrami {·, −1 , 1}-algeber. Nabízí se tedy otázka, zda i v případě třídy všech těles nebo třídy všech oborů integrity přidáním dalších operačních symbolů k typu {+, ·, −, 0, 1} nedostaneme varietu Ω-algeber. Zde je však situace odlišná: tyto třídy nejsou uzavřené na součin a součin se přidáním dalších operačních symbolů nezmění (přibudou pouze další operace na téže nosné množině součinu). Dostali jsme tedy, že ani třída všech těles ani třída všech oborů integrity netvoří varietu Ω-algeber pro žádné Ω ⊇ {+, ·, −, 0, 1}. Podobně třída všech řetězců netvoří varietu Ω-algeber pro žádné Ω ⊇ {∨, ∧}. Poznámka. Následující věta završí popis variet Ω-algeber. Charakterizuje, které třídy Ω-algeber jsou varietami, tj. které třídy je možné charakterizovat nějakou množinou rovností. V tuto chvíli jsme však schopni důkaz jednoho směru pouze naznačit. Kompletní důkaz čtenář nalezne až v osmé kapitole. Věta 6.6. (Birkhoff) Nechť Ω je typ. Třída Ω-algeber je varieta, právě když splňuje všechny tři následující podmínky: • je uzavřená na podalgebry algeber; • je uzavřená na obrazy algeber v homomorfismech; • je uzavřená na libovolné součiny algeber. Důkaz. Již jsme dokázali ve větách 6.1, 6.3 a 6.5, že libovolná varieta Ω-algeber všechny tři uvedené podmínky splňuje. Důkaz opačné implikace přesahuje možnosti této kapitoly, proto jen naznačíme, jak bude veden v kapitole 8. Nechť V je třída Ω-algeber splňující všechny tři uvedené podmínky. Označme T množinu všech rovností typu Ω, které platí ve všech Ω-algebrách z třídy V (uvědomte si, že T je vždy nekonečná množina). Označme W varietu Ω-algeber určenou teorií T. Je třeba dokázat, že V = W. Z definice T je jasné, že platí inkluze V ⊆ W. Celá obtížnost důkazu věty spočívá v důkazu inkluze W ⊆ V . Je totiž nutné ukázat, že libovolnou Ω-algebru A ∈ W lze vytvořit pomocí tvoření podalgeber, součinů a obrazů v homomorfismech z Ω-algeber z třídy V . To však ukážeme až na konci kapitoly 8. 7. Volné algebry s nejvýše spočetnou množinou generátorů Definice. Nechť Ω je typ. Označme F(Ω) množinu všech termů typu Ω. Na této množině definujeme Ω-algebru následujícím způsobem. Pro libovolný 29 n-ární operační symbol f ∈ Ω definujeme n-ární operaci fF(Ω) na Ω-algebře F(Ω) příslušnou operačnímu symbolu f takto: pro libovolné termy t1, . . . , tn ∈ F(Ω) je fF(Ω)(t1, . . . , tn) = f(t1, . . . , tn). Poznámka. Všimněte si, jak se počítají hodnoty operací v právě popsané Ω-algebře. S trochou nadsázky se dá říci, že se vlastně nepočítají. Termy se do operačního symbolu pouze dosadí, čímž vznikne nový term (viz třetí bod definice termu), a to je výsledek. Znamená to, že každý prvek množiny F(Ω), který není proměnnou, je hodnotou právě jedné operace na jednoznačně určených operandech, je jej totiž možné získat jedině tak, jak byl sestrojen dle definice termu. Proto v této Ω-algebře platí jen triviální rovnosti (tj. takové, kde na obou stranách stojí stejný term). Protože tato Ω-algebra není svázána žádnými netriviálními rovnostmi, nazývá se volná (viz definici následující po větě 7.1). Věta 7.1. Označme P množinu všech proměnných: P = {x1, x2, . . . } a uvažme podalgebru P generovanou v algebře F(Ω) množinou P. Pak platí P = F(Ω). Důkaz. Stačí ukázat inkluzi F(Ω) ⊆ P , tedy dokázat, že každý term t typu Ω patří do P . To je ale snadné indukcí vzhledem k definici termu: proměnné leží v P, pro nulární symbol f typu Ω platí f = fF(Ω), což je prvek libovolné podalgebry. Konečně pro term f(t1, . . . , tn) vzniklý z n-árního symbolu f ∈ Ω a termů t1, . . . , tn patřících dle indukčního předpokladu do P je f(t1, . . . , tn) = fF(Ω)(t1, . . . , tn) ∈ P dle definice podalgebry. Definice. Ω-algebra F(Ω) z předchozí definice se nazývá volná algebra typu Ω generovaná množinou {x1, x2, . . . }. Definice. Nechť Ω je typ, r nezáporné celé číslo. Označme Fr(Ω) množinu všech r-árních termů typu Ω. Příklad. Jestliže typ Ω neobsahuje žádný nulární operační symbol, pak platí F0(Ω) = ∅. Příklad. Uvažme typ Ω = { }, kde je unární symbol. Pak Ω-algebrami jsou množiny A spolu se zobrazením : A → A. Pak platí F1(Ω) = {x1, x1, x1, x1 , . . . }, F2(Ω) = {x1, x1, x1, x1 , . . . , x2, x2, x2, x2 , . . . }. Příklad. Uvažme typ Ω = { , 1}, kde je unární symbol a 1 nulární symbol. Volná algebra typu Ω generovaná prázdnou množinou je pak Ω-algebra F0(Ω) = {1, 1 , 1 , 1 , . . . }. To jsou vlastně přirozená čísla. Při konstrukci přirozených čísel nemůžeme definovat přirozená čísla jako tuto volnou Ω-algebru, neboť jsme v tomto textu mnohokrát existenci přirozených čísel využili. Je ale 30 možné tuto strukturu popsat následující vlastností: je to množina N spolu se zobrazením : N → N, které je injektivní a není surjektivní, a splňuje následující podmínku: neexistuje žádná vlastní podmnožina M ⊂ N, která by pro každé m ∈ M obsahovala též m a která by také obsahovala nějaký prvek n, který nelze vyjádřit ve tvaru n = r pro žádné r ∈ N. Množinu N a zobrazení : N → N, které splňují právě popsanou podmínku, lze vzít v axiomatické konstrukci přirozených čísel za jejich definici. Věta 7.2. Pro libovolné nezáporné celé číslo r je množina Fr(Ω) podalgebra Ω-algebry F(Ω) generovaná množinou r proměnných {x1, . . . , xr}, tj. Fr(Ω) = {x1, . . . , xr} . Důkaz. Inkluzi Fr(Ω) ⊆ {x1, . . . , xr} dokážeme stejně jako předchozí větu. Opačná plyne z toho, že Fr(Ω) je podalgebra Ω-algebry F(Ω) obsahující množinu proměnných {x1, . . . , xr}: dosazením r-árních termů do libovolného operačního symbolu totiž zřejmě dostaneme opět r-ární term, a tedy Fr(Ω) je skutečně podalgebra. Definice. Ω-algebra Fr(Ω) se nazývá volná algebra typu Ω generovaná množinou {x1, . . . , xr}. Poznámka. Následující věta popisuje podmínku, kterou lze volné algebry charakterizovat. Ať si v jakékoli Ω-algebře zvolíme jakkoli obraz pro každý generátor, vždy je možné doplnit toto přiřazení do homomorfismu, a to jediným způsobem. (Avšak to, že tato podmínka je skutečně charakterizační, tj. určuje volnou algebru jednoznačně až na izomorfismus, dokážeme až ve větě 8.5.) Věta 7.3. Nechť A je Ω-algebra, a1, a2, a3, . . . libovolná pevně zvolená posloupnost prvků z A. Pak existuje jediný homomorfismus Ω-algeber ϕ : F(Ω) → A splňující podmínku ϕ(xm) = am pro všechna přirozená čísla m. Přitom pro tento homomorfismus platí: pro libovolný k-ární term t ∈ F(Ω) je ϕ(t) = tA(a1, . . . , ak), kde tA je operace určená termem t v Ω-algebře A. Důkaz. Ukažme nejprve, že takto definované zobrazení je homomorfismus. Nechť f ∈ Ω je libovolný n-ární operační symbol, t1, . . . , tn ∈ F(Ω) libovolné k-ární termy. Platí tedy ϕ(fF(Ω)(t1, . . . , tn)) = ϕ(f(t1, . . . , tn)) = (f(t1, . . . , tn))A(a1, . . . , ak). Dle definice operace určené termem je (f(t1, . . . , tn))A(a1, . . . , ak) = fA((t1)A(a1, . . . , ak), . . . , (tn)A(a1, . . . , ak)) = = fA(ϕ(t1), . . . , ϕ(tn)), a tedy ϕ je homomorfismus. Ukažme indukcí vzhledem k definici termu, že tento homomorfismus je jediný: 31 • je-li t = xm, pak ϕ(xm) = am = (xm)A(a1, . . . , ak); • je-li t nulární operační symbol, pak z definice homomorfismu ϕ(t) = tA; • nechť tedy k-ární term t = f(t1, . . . , tn) je složen pomocí n-árního operačního symbolu f, kde n ≥ 1, z termů t1, . . . , tn ∈ F(Ω), pro které platí indukční předpoklad, tj. pro každé j = 1, . . . , n je ϕ(tj) = (tj)A(a1, . . . , ak). Pak z definice homomorfismu ϕ(t) = ϕ(f(t1, . . . , tn)) = ϕ(fF(Ω)(t1, . . . , tn)) = = fA(ϕ(t1), . . . , ϕ(tn)) = fA((t1)A(a1, . . . , ak), . . . , (tn)A(a1, . . . , ak)) = = (f(t1, . . . , tn))A(a1, . . . , ak). Věta je dokázána. Věta 7.4. Nechť Ω je typ, r nezáporné celé číslo. Nechť A je Ω-algebra, a1, . . . , ar libovolné pevně zvolené prvky z A. Pak existuje jediný homomorfismus Ω-algeber ϕ : Fr(Ω) → A splňující podmínku ϕ(xm) = am pro všechna m = 1, . . . , r. Přitom pro tento homomorfismus platí: pro libovolný term t ∈ Fr(Ω) je ϕ(t) = tA(a1, . . . , ar), kde tA je operace určená termem t v Ωalgebře A. Důkaz. Tuto větu lze dokázat stejně jako předchozí větu 7.3. Poznámka. Předchozí věta tedy pro r = 0 tvrdí, že Ω-algebra F0(Ω) má následující vlastnost: pro každou Ω-algebru A existuje právě jeden homomorfismus Ω-algeber ϕ : F0(Ω) → A. Poznámka. Naším dalším cílem je nalézt volné Ω-algebry v každé varietě Ω-algeber. Volné Ω-algebry F(Ω) a Fr(Ω) totiž splňují pouze triviální rovnosti, leží proto jen ve varietě všech Ω-algeber. Budeme tedy pro danou teorii T typu Ω konstruovat Ω-algebru, v níž platí všechny rovnosti teorie T a všechny důsledky těchto rovností, ale žádná rovnost, která není důsledkem rovností teorie T, už v konstruované algebře platit nebude. Otázka je, jak takové důsledky popsat. Asi první cesta, která člověka napadne, je pokusit se popisovat nějaká odvozovací pravidla, jak z rovností teorie T odvodit další rovnosti. My ale použijeme jinou cestu: důsledkem rovností teorie T jsou právě ty rovnosti, které platí v každé Ω-algebře z variety určené teorií T. Definice. Nechť V je varieta Ω-algeber. Na množině F(Ω) všech termů typu Ω definujeme relaci ∼V takto: pro libovolné termy t1, t2 ∈ F(Ω) klademe t1 ∼V t2 právě tehdy, když libovolná Ω-algebra z variety V splňuje rovnost t1 = t2. Poznámka. Nechť t1, t2 jsou n-ární termy typu Ω. Pak je tedy t1 ∼V t2 právě tehdy, když na libovolné Ω-algebře A z variety V oba termy t1, t2 určují stejnou n-ární operaci, tj. pro libovolné a1, . . . , an ∈ A platí (t1)A(a1, . . . , an) = (t2)A(a1, . . . , an). 32 Věta 7.5. Pro libovolnou varietu Ω-algeber V je relace ∼V kongruencí na Ω-algebře F(Ω). Důkaz. Z předchozí poznámky se snadno vidí, že ∼V je ekvivalence na množině F(Ω). Dokažme, že jde o kongruenci. Za tím účelem zvolme libovolně n-ární operační symbol f ∈ Ω a termy t1, . . . , tn, s1, . . . , sn ∈ F(Ω) takové, že t1 ∼V s1, . . . , tn ∼V sn. Dokážeme, že potom také f(t1, . . . , tn) ∼V f(s1, . . . , sn). Zvolme libovolně Ω-algebru A z variety V . Platí tedy (t1)A = (s1)A, . . . , (tn)A = (sn)A. Nechť přirozené číslo k je takové, že všechny zde vystupující termy jsou k-ární. Pak pro libovolné a1, . . . , ak ∈ A platí (f(t1, . . . , tn))A(a1, . . . , ak) = fA((t1)A(a1, . . . , ak), . . . , (tn)A(a1, . . . , ak)) = = fA((s1)A(a1, . . . , ak), . . . , (sn)A(a1, . . . , ak)) = = (f(s1, . . . , sn))A(a1, . . . , ak), což se mělo dokázat. Poznámka. Můžeme tedy hovořit o faktorové algebře Ω-algebry F(Ω) podle kongruence ∼V . Tuto faktorovou Ω-algebru budeme značit F(V ) = F(Ω)/∼V . Poznámka. Uvědomte si, že nehrozí nebezpečí záměny F(Ω) a F(V ) i kdybychom označili typ jiným písmenem než Ω a varietu jiným písmenem než V . Libovolný typ je přece množina, kdežto libovolná varieta je vlastní třída. Věta 7.6. Pro libovolnou varietu Ω-algeber V je Ω-algebra F(V ) prvkem variety V . Důkaz. Nechť T je teorie určující varietu V , nechť t1 = t2 je libovolná rovnost této teorie. Nechť k je přirozené číslo takové, že oba termy t1 a t2 jsou k-ární. Je tedy třeba ověřit, že pro libovolné v1, . . . , vk ∈ F(V ) platí (t1)F(V )(v1, . . . , vk) = (t2)F(V )(v1, . . . , vk). Označme π : F(Ω) → F(V ) projekci na faktorovou algebru. Podle věty 4.3 je π surjektivní homomorfismus. Pro každé i = 1, . . . , k zvolme term si ∈ F(Ω) tak, že π(si) = vi. Podle věty 6.2 pro j = 1, 2 platí (tj)F(V )(v1, . . . , vk) = (tj)F(V )(π(s1), . . . , π(sk)) = π((tj)F(Ω)(s1, . . . , sk)). Máme tedy dokázat, že π((t1)F(Ω)(s1, . . . , sk)) = π((t2)F(Ω)(s1, . . . , sk)), což je ekvivalentní s tvrzením (t1)F(Ω)(s1, . . . , sk) ∼V (t2)F(Ω)(s1, . . . , sk). To bude dokázáno, pokud libovolná Ω-algebra A z variety V splňuje rovnost (t1)F(Ω)(s1, . . . , sk) = (t2)F(Ω)(s1, . . . , sk). 33 Nechť m je přirozené číslo takové, že všechny termy s1, . . . , sk jsou m-ární. Máme tedy ukázat, že pro libovolnou Ω-algebru A z variety V a pro libovolné její prvky a1, . . . , am ∈ A platí ((t1)F(Ω)(s1, . . . , sk))A(a1, . . . , am) = ((t2)F(Ω)(s1, . . . , sk))A(a1, . . . , am). Doplňme nějak a1, . . . , am do nekonečné posloupnosti prvků z Ω-algebry A, například takto: pro každé n > m klademe an = a1. Podle věty 7.3 existuje homomorfismus Ω-algeber ϕ : F(Ω) → A takový, že pro libovolný l-ární term t ∈ F(Ω) je ϕ(t) = tA(a1, . . . , al). Pro j = 1, 2 tedy platí ((tj)F(Ω)(s1, . . . , sk))A(a1, . . . , am) = ϕ((tj)F(Ω)(s1, . . . , sk)). Ovšem podle věty 6.2 je ϕ((tj)F(Ω)(s1, . . . , sk)) = (tj)A(ϕ(s1), . . . , ϕ(sk)). Máme tedy ukázat, že (t1)A(ϕ(s1), . . . , ϕ(sk)) = (t2)A(ϕ(s1), . . . , ϕ(sk)), to ale plyne z toho, že t1 = t2 je rovnost z teorie určující varietu V , do které patří Ω-algebra A. Poznámka. Ukážeme, že faktorová algebra F(V ) = F(Ω)/∼V z předchozí věty splňuje charakterizační podmínku volné algebry. Věta 7.7. Nechť V je libovolná varieta Ω-algeber, F(V ) = F(Ω)/∼V faktorová Ω-algebra z věty 7.6, π : F(Ω) → F(V ) projekce na faktorovou algebru. Nechť A je libovolná Ω-algebra z variety V , a1, a2, a3, . . . libovolná pevně zvolená posloupnost prvků z A. Pak existuje jediný homomorfismus Ω-algeber ψ : F(V ) → A splňující podmínku ψ(π(xm)) = am pro všechna přirozená čísla m. Přitom pro tento homomorfismus platí: pro libovolný kární term t ∈ F(Ω) je ψ(π(t)) = tA(a1, . . . , ak), kde tA je operace určená termem t v Ω-algebře A. Důkaz. Podle věty 7.3 existuje jediný homomorfismus Ω-algeber ϕ : F(Ω) → A splňující podmínku ϕ(xm) = am pro všechna přirozená čísla m. Přitom pro libovolný k-ární term t ∈ F(Ω) je ϕ(t) = tA(a1, . . . , ak). Označme ∼ jádro homomorfismu ϕ. Uvažme libovolné n-ární termy t1, t2 takové, že t1 ∼V t2. Podle definice kongruence ∼V je rovnost t1 = t2 splněna v Ω-algebře A, a proto platí ϕ(t1) = (t1)A(a1, . . . , an) = (t2)A(a1, . . . , an) = ϕ(t2), a tedy t1 ∼ t2. Ukázali jsme, že kongruence ∼V je menší nebo rovna kongruenci ∼. Proto podle věty 4.5 existuje jediný homomorfismus ψ : F(V ) → A 34 splňující ψ◦π = ϕ. Pro tento homomorfismus tedy pro všechna přirozená čísla m platí am = ϕ(xm) = (ψ◦π)(xm) = ψ(π(xm)). Podobně pro libovolný k-ární term t ∈ F(Ω) je tA(a1, . . . , ak) = ϕ(t) = (ψ ◦ π)(t) = ψ(π(t)). Zbývá dokázat jednoznačnost homomorfismu ψ splňujícího podmínku ψ(π(xm)) = am. Předpokládejme, že též pro homomorfismus Ω-algeber τ : F(V ) → A je splněna podmínka τ(π(xm)) = am pro všechna přirozená čísla m. Pak pro homomorfismus τ ◦ π : F(Ω) → A platí (τ ◦ π)(xm) = am, a tedy podle věty 7.3 je τ ◦ π = ϕ. Podle věty 4.5 odtud plyne τ = ψ. Definice. Faktorová algebra F(V ) = F(Ω)/∼V z vět 7.6 a 7.7 se nazývá volná algebra variety V typu Ω generovaná množinou {x1, x2, . . . }. Definice. Nechť F(V ) = F(Ω)/∼V je volná algebra variety V typu Ω generovaná množinou {x1, x2, . . . }, π : F(Ω) → F(V ) projekce na faktorovou algebru. Pro libovolné nezáporné celé číslo r označme Fr(V ) obraz podalgebry Fr(Ω) v homomorfismu π, tj. Fr(V ) = π(Fr(Ω)). Tuto Ω-algebru Fr(V ) nazýváme volnou algebrou variety V typu Ω generovanou množinou {x1, . . . , xr}. Poznámka. Podle věty 2.3 je Fr(V ) podalgebrou Ω-algebry F(V ), podle vět 6.1 a 7.6 patří algebra Fr(V ) do variety V . V následující větě ukážeme, že také splňuje charakterizační podmínku volné algebry (a tedy název, který dostala v předchozí definici, je oprávněný). Zúžením projekce π : F(Ω) → F(V ) dostáváme dle definice Fr(V ) surjektivní homomorfismus Fr(Ω) → Fr(V ), který budeme pro jednoduchost označovat opět π a nazývat projekcí. Věta 7.8. Nechť V je libovolná varieta Ω-algeber, r nezáporné celé číslo, Fr(V ) volná algebra variety V typu Ω generovaná množinou {x1, . . . , xr}, π : Fr(Ω) → Fr(V ) projekce. Nechť A je libovolná Ω-algebra z variety V , a1, . . . , ar ∈ A libovolné pevně zvolené prvky. Pak existuje jediný homomorfismus Ω-algeber ψ : Fr(V ) → A splňující podmínku ψ(π(xm)) = am pro všechna m = 1, . . . , r. Přitom pro tento homomorfismus platí: pro libovolný term t ∈ Fr(Ω) je ψ(π(t)) = tA(a1, . . . , ar), kde tA je operace určená termem t v Ω-algebře A. Důkaz. Tuto větu lze dokázat stejně jako větu 7.7 (jen místo kongruence ∼V na F(Ω) užíváme zúžení kongruence ∼V na podalgebru Fr(Ω), tj. průnik relací ∼V a Fr(Ω) × Fr(Ω), neboli jádro projekce π : Fr(Ω) → Fr(V )). Příklad. Uvažme opět typ Ω = { }, kde je unární symbol. Připomeňme, že F0(Ω) = ∅, F1(Ω) = {x1, x1, x1, x1 , . . . }, F2(Ω) = {x1, x1, x1, x1 , . . . , x2, x2, x2, x2 , . . . }. 35 Nechť V je varieta určená teorií T = {x1 = x1}. Pak platí x1 ∼V x1 ∼V x1 ∼V . . . a x1 ∼V x1 ∼V x1 ∼V . . . . Je tedy F1(V ) = {x1, x1, x1 , . . . }, {x1, x1 , x1 , . . . } . V této Ω-algebře se počítá takto: {x1, x1, x1 , . . . } = {x1, x1 , x1 , . . . }, {x1, x1 , x1 , . . . } = {x1, x1, x1 , . . . }. Podobně F2(V ) = {x1, x1, x1 , . . . }, {x1, x1 , x1 , . . . }, {x2, x2, x2 , . . . }, {x2, x2 , x2 , . . . } . Uvažme nyní varietu W určenou teorií {x1 = x1}. Platí F1(W) = {x1}, {x1, x1, x1 , . . . } , přičemž v této Ω-algebře se počítá takto: {x1} = {x1, x1, x1 , . . . } = {x1, x1, x1 , . . . }. Promyslete si sami, že pro varietu U určenou teorií {x1 = x1 } platí F1(U) = {x1}, {x1, x1 , x1 , . . . }, {x1, x1 , . . . } , a určete, jak se v této Ω-algebře počítá. 8. Volné algebry s libovolnou množinou generátorů Poznámka. Jak už napovídá název, tato kapitola pojednává o obecnější situaci než kapitola předchozí. Je tedy otázka, proč jsem vlastně předchozí kapitolu do textu zařadil. Mohl jsem ihned začít s touto kapitolou a výsledky předchozí kapitoly získat jako důsledky výsledků kapitoly této. Opravdu by to tak bylo možné udělat. Důvodem pro tento postup byla však snaha o co největší možnou srozumitelnost. Protože budeme nyní pracovat s libovolnou (tedy i nespočetnou) množinou generátorů X, budeme potřebovat zobecnit definici termu: budeme nyní definovat termy typu Ω nad množinou X, přičemž připustíme, že termem je libovolný prvek množiny X. Definice. Nechť Ω je typ, X množina. Termem typu Ω nad množinou X nazveme právě takový výraz, který lze zkonstruovat konečně mnoha aplikacemi následujících pravidel: 36 • Pro libovolný prvek x ∈ X je x term typu Ω nad množinou X. • Pro libovolný nulární operační symbol f ∈ Ω je f term typu Ω nad množinou X. • Pro libovolné přirozené číslo n, libovolný n-ární operační symbol f ∈ Ω a libovolné termy t1, . . . , tn typu Ω nad množinou X je výraz f(t1, . . . , tn) term typu Ω nad množinou X. Množinu všech termů typu Ω nad množinou X budeme značit FX(Ω). Poznámka. Termy typu Ω, které jsme užívali dosud, jsou tedy termy typu Ω nad množinou {x1, x2, . . . }. Definice. Nechť Ω je typ, X množina. Na množině FX(Ω) definujeme volnou algebru typu Ω generovanou množinou X následujícím způsobem. Pro libovolný n-ární operační symbol f ∈ Ω definujeme n-ární operaci fFX (Ω) na Ω-algebře FX(Ω) příslušnou operačnímu symbolu f takto: pro libovolné termy t1, . . . , tn ∈ FX(Ω) je fFX (Ω)(t1, . . . , tn) = f(t1, . . . , tn). Poznámka. Oprávněnost názvu Ω-algebry FX(Ω) prokáží věty 8.1 a 8.2. Příklady. Ω-algebru F(Ω) z kapitoly 7 dostaneme v předchozí definici pro množinu X = {x1, x2, . . . }, pro libovolné nezáporné celé číslo r dostaneme Ωalgebru Fr(Ω) z kapitoly 7 v předchozí definici pro množinu X = {x1, . . . , xr}. Věta 8.1. Nechť Ω je typ, X množina. Uvažme podalgebru X generovanou v algebře FX(Ω) množinou X. Pak platí X = FX(Ω). Důkaz. Tato věta se dokáže stejně jako věta 7.1. Věta 8.2. Nechť Ω je typ, X množina. Nechť A je Ω-algebra, φ : X → A libovolné zobrazení. Pak existuje jediný homomorfismus Ω-algeber ϕ : FX(Ω) → A splňující podmínku ϕ(x) = φ(x) pro všechny prvky x ∈ X. Důkaz. Definujme zobrazení ϕ : FX(Ω) → A indukcí vzhledem k definici termu nad množinou X. • Pro libovolný prvek x ∈ X klademe ϕ(x) = φ(x). • Aby zobrazení ϕ : FX(Ω) → A mohlo být homomorfismus Ω-algeber, je třeba pro libovolný nulární operační symbol f ∈ Ω položit ϕ(f) = fA. • Pro libovolné přirozené číslo n uvažme nyní term t = f(t1, . . . , tn) typu Ω nad množinou X, který vznikl z n-árního operačního symbolu f ∈ Ω a termů t1, . . . , tn typu Ω nad množinou X. Aby zobrazení ϕ : FX(Ω) → A mohlo být homomorfismus Ω-algeber, je třeba, aby ϕ(t) = ϕ(f(t1, . . . , tn)) = ϕ(fFX (Ω)(t1, . . . , tn)) = = fA(ϕ(t1), . . . , ϕ(tn)). Klademe proto ϕ(t) = fA(ϕ(t1), . . . , ϕ(tn)). 37 Je zřejmé, že pro právě zkonstruované zobrazení ϕ platí ϕ(x) = φ(x) pro všechny prvky x ∈ X, a že je to jediné zobrazení s touto vlastností, které by mohlo být homomorfismus Ω-algeber. Na druhou stranu lze snadno dokázat, že ϕ skutečně homomorfismem Ω-algeber je. Uvědomte si, že to jsme zajistili právě definicemi ve druhém a třetím bodu indukce. Poznámka. Protože naším cílem je důkaz Birkhoffovy věty, nebudeme kongruenci ∼V na Ω-algebře FX(Ω) definovat pouze pro varietu V typu Ω, ale zdánlivě obecněji: pro libovolnou tzv. uzavřenou třídu Ω-algeber dle následující definice. Slovo zdánlivě je v předchozí větě uvedeno proto, že dle Birkhoffovy věty stejně nic obecnějšího nakonec nedostaneme, ukáže se totiž, že každá uzavřená třída Ω-algeber je varietou Ω-algeber. Definice. Nechť V je třída Ω-algeber. O třídě V řekneme, že je uzavřená, právě když splňuje následující tři podmínky z Birkhoffovy věty: • V je uzavřená na podalgebry algeber; • V je uzavřená na obrazy algeber v homomorfismech; • V je uzavřená na libovolné součiny algeber. Poznámka. Snadno je vidět, že ze druhé podmínky plyne, že uzavřená třída Ω-algeber s každou Ω-algebrou A obsahuje i všechny Ω-algebry izomorfní s A. Definice. Nechť Ω je typ, X množina. Pro libovolnou uzavřenou třídu Ω-algeber V definujeme relaci ∼V na Ω-algebře FX(Ω) takto: pro libovolné t1, t2 ∈ FX(Ω) klademe t1 ∼V t2 právě tehdy, když pro každou kongruenci ∼ na Ω-algebře FX(Ω) takovou, že FX(Ω)/∼ patří do třídy V , platí t1 ∼ t2. Poznámka. Ekvivalentně lze říci, že ∼V je průnikem všech kongruencí ∼ na Ω-algebře FX(Ω) takových, že FX(Ω)/∼ patří do třídy V . Uvědomte si, že skutečně můžeme o tomto průniku mluvit: všechny relace na dané množině tvoří množinu (tedy ne vlastní třídu), proto tvoří množinu i všechny kongruence na dané Ω-algebře. Označme K množinu všech těch kongruencí na Ω-algebře FX(Ω), pro které faktoralgebra FX(Ω)/∼ patří do třídy V . Libovolná uzavřená třída Ω-algeber musí obsahovat kartézský součin prázdné množiny Ω-algeber, což je jednoprvková algebra (viz poznámku za definicí součinu libovolného počtu Ω-algeber). Proto z uzavřenosti na homomorfní obrazy dostáváme, že libovolná uzavřená třída Ω-algeber obsahuje všechny jednoprvkové Ω-algebry. Odtud plyne, že množina K je neprázdná, neboť obsahuje kongruenci FX(Ω) × FX(Ω), v níž jsou libovolné dva prvky ekvivalentní, a tedy příslušná faktoralgebra je jednoprvková. Poznámka. Ukážeme, že právě provedená definice relace ∼V je v případě X = {x1, x2, . . . } ekvivalentní (i když to tak možná na první pohled 38 nevypadá) s definicí kongruence ∼V na Ω-algebře F(Ω) uvedenou v kapitole 7. Tam jsme kongruenci ∼V definovali podmínkou: pro libovolné termy t1, t2 ∈ F(Ω) je t1 ∼V t2 právě tehdy, když libovolná Ω-algebra z třídy V (v sedmé kapitole jí byla varieta V ) splňuje rovnost t1 = t2. Tato podmínka dle definice znamená (jestliže termy t1, t2 jsou k-ární), že pro libovolnou Ω-algebru A z variety V a libovolné prvky a1, . . . , ak ∈ A platí (t1)A(a1, . . . , ak) = (t2)A(a1, . . . , ak). Podle věty 7.3 je poslední podmínka ekvivalentní s následující podmínkou: pro libovolnou Ω-algebru A z variety V a libovolný homomorfismus Ω-algeber ϕ : F(Ω) → A platí ϕ(t1) = ϕ(t2). Protože pro každý homomorfismus Ω-algeber ϕ je ϕ(F(Ω)) podalgebrou Ωalgebry A a protože třída V je uzavřená na podalgebry, stačí se v poslední podmínce omezit jen na surjektivní homomorfismy. Navíc, označíme-li ∼ jádro homomorfismu ϕ, platí ϕ(t1) = ϕ(t2) právě tehdy, když t1 ∼ t2. V případě, kdy je homomorfismus ϕ surjektivní, je podle důsledku věty 4.5 Ωalgebra A izomorfní s faktoralgebrou F(Ω)/∼, a z toho, že A patří do třídy V , plyne, že též F(Ω)/∼ patří do třídy V . Dostali jsme tedy: pro libovolné termy t1, t2 ∈ F(Ω) je t1 ∼V t2 právě tehdy, když pro libovolnou kongruenci ∼ na Ω-algebře F(Ω) takovou, že faktoralgebra F(Ω)/∼ patří do třídy V , platí t1 ∼ t2. To je ale právě předchozí definice. Věta 8.3. Nechť Ω je typ, X množina. Nechť V je uzavřená třída Ωalgeber. Pak platí: • Relace ∼V je kongruencí na Ω-algebře FX(Ω). • Faktorová algebra FX(V ) = FX(Ω)/∼V Ω-algebry FX(Ω) podle kongruence ∼V patří do třídy V . Důkaz. Víme, že ∼V je průnikem neprázdné množiny K všech kongruencí ∼ na Ω-algebře FX(Ω) takových, že FX(Ω)/∼ patří do V . První tvrzení tedy plyne z prvního tvrzení věty 4.4. Podle druhého tvrzení věty 4.4 existuje homomorfismus Ω-algeber ϕ : FX(Ω) → ∼∈K FX(Ω)/∼, jehož jádrem je průnik všech kongruencí ∼ ∈ K, tedy kongruence ∼V . Podle důsledku věty 4.5 je FX(V ) = FX(Ω)/∼V izomorfní s podalgebrou ϕ(FX(Ω)) Ω-algebry ∼∈K FX(Ω)/∼. Tento součin Ω-algeber z uzavřené třídy V patří do V a opět z uzavřenosti V plyne, že také jeho podalgebra ϕ(FX(Ω)) patří do V , a tedy do V patří i s touto Ω-algebrou izomorfní Ω-algebra FX(V ), což se mělo dokázat. Definice. Nechť Ω je typ, X množina, V je uzavřená třída Ω-algeber. Faktorová algebra FX(V ) = FX(Ω)/∼V z věty 8.3 se nazývá volná algebra třídy V generovaná množinou X. Nechť µ : X → FX(V ) je zobrazení určené podmínkou µ(x) = π(x) pro všechny prvky x ∈ X, kde π : FX(Ω) → FX(V ) je projekce na faktorovou algebru. Pak zobrazení µ se nazývá vnoření generátorů do volné algebry FX(V ). 39 Poznámka. Pokud třída V obsahuje nějakou Ω-algebru, která není jednoprvková nebo prázdná, lze snadno odvodit z následující věty 8.4, že zobrazení µ je injektivní. Poznámka. Nyní ukážeme, že Ω-algebra FX(V ) z předchozí definice skutečně splňuje charakterizační podmínku volné algebry. Věta 8.4. Nechť Ω je typ, X množina. Nechť V je uzavřená třída Ωalgeber, FX(V ) = FX(Ω)/∼V volná algebra třídy V generovaná množinou X, µ : X → FX(V ) vnoření generátorů do volné algebry FX(V ). Nechť A je libovolná Ω-algebra z třídy V a φ : X → A libovolné zobrazení. Pak existuje jediný homomorfismus Ω-algeber ψ : FX(V ) → A splňující podmínku ψ ◦ µ = φ. Důkaz. Dokažme nejprve existenci homomorfismu ψ. Nechť π : FX(Ω) → FX(V ) je projekce na faktorovou algebru. Podle věty 8.2 existuje jediný homomorfismus Ω-algeber ϕ : FX(Ω) → A splňující podmínku ϕ(x) = φ(x) pro všechny prvky x ∈ X. Protože ϕ(FX(Ω)) je podalgebra Ω-algebry A patřící do V , z uzavřenosti V plyne, že do V patří ϕ(FX(Ω)). Označme ∼ jádro homomorfismu ϕ. Podle důsledku věty 4.5 je ϕ(FX(Ω)) izomorfní s FX(Ω)/∼. Proto FX(Ω)/∼ patří do V , a tedy ∼ je jedna z těch kongruencí, jejichž průnikem je ∼V . Je proto kongruence ∼V menší nebo rovna kongruenci ∼. Protože ∼ je jádro homomorfismu ϕ : FX(Ω) → A, FX(V ) = FX(Ω)/∼V a π : FX(Ω) → FX(V ) je projekce na faktorovou algebru, podle věty 4.5 existuje jediný homomorfismus Ω-algeber ˜ϕ : FX(V ) → A s vlastností ˜ϕ◦π = ϕ. Protože pak ˜ϕ(µ(x)) = ˜ϕ(π(x)) = ϕ(x) = φ(x) pro všechny prvky x ∈ X, platí ˜ϕ ◦ µ = φ, a tedy je ψ = ˜ϕ hledaný homomorfismus. Dokažme nyní, že homomorfismus ψ je podmínkou věty určen jednoznačně. Nechť tedy homomorfismus Ω-algeber ψ : FX(V ) → A také splňuje podmínku ψ ◦ µ = φ. Pak ψ (π(x)) = φ(x) pro všechny prvky x ∈ X a ϕ = ψ ◦ π splňuje podmínku věty 8.2. Protože homomorfismus splňující tuto podmínku je jediný, dostáváme ϕ = ϕ. Tedy ψ ◦ π = ˜ϕ ◦ π, z jednoznačnosti z věty 4.5 plyne ψ = ˜ϕ = ψ. Věta je dokázána. Poznámka. V následující větě ukážeme, že podmínka z předchozí věty skutečně charakterizuje Ω-algebru FX(V ), určuje ji totiž jednoznačně až na izomorfismus. Věta 8.5. Nechť Ω je typ, X množina. Nechť V je uzavřená třída Ωalgeber, FX(V ) = FX(Ω)/∼V volná algebra třídy V generovaná množinou X, µ : X → FX(V ) vnoření generátorů do volné algebry FX(V ). Nechť algebra U z třídy V a zobrazení ν : X → U splňují následující podmínku: pro libovolnou Ω-algebru A z třídy V a libovolné zobrazení φ : X → A existuje jediný homomorfismus Ω-algeber ψ : U → A splňující podmínku ψ◦ν = φ. Pak platí: existuje izomorfismus Ω-algeber ρ : U → FX(V ) takový, 40 že ρ ◦ ν = µ. Důkaz. Protože Ω-algebra U splňuje podmínku věty, pro Ω-algebru FX(V ) a zobrazení µ : X → FX(V ) existuje homomorfismus Ω-algeber ρ : U → FX(V ) splňující ρ◦ν = µ. Jen je třeba ukázat, že ρ je izomorfismus. Naopak, podle věty 8.4 pro Ω-algebru U a zobrazení ν : X → U existuje homomorfismus Ω-algeber ψ : FX(V ) → U splňující podmínku ψ◦µ = ν. Pak homomorfismus ρ ◦ ψ : FX(V ) → FX(V ) splňuje ρ ◦ ψ ◦ µ = ρ ◦ ν = µ. Rovněž identita na FX(V ), tj. zobrazení ιFX (V ) : FX(V ) → FX(V ) splňující ιFX (V )(a) = a pro každé a ∈ FX(V ), je homomorfismem, pro který platí ιFX (V ) ◦µ = µ. Protože dle věty 8.4 (pro Ω-algebru FX(V ) a zobrazení µ : X → FX(V )) je takový homomorfismus určen jednoznačně, platí ρ ◦ ψ = ιFX (V ). Zcela analogicky se dokáže, že ψ ◦ ρ je identita na U. To ale znamená, že ψ je inverzní zobrazení k ρ, a tedy ρ je bijekce, což jsme chtěli dokázat. Poznámka. Nyní jsme již schopni dokázat Birkhoffovu větu, kterou jsme uvedli již jednou jako větu 6.6, ale nedokončili jsme důkaz jedné implikace. Věta 8.6. (Birkhoff) Nechť Ω je typ. Třída Ω-algeber je varieta, právě když splňuje všechny tři následující podmínky: • je uzavřená na podalgebry algeber; • je uzavřená na obrazy algeber v homomorfismech; • je uzavřená na libovolné součiny algeber. Důkaz. Jedna implikace byla již dokázána v kapitole 6. Nechť V je libovolná uzavřená třída Ω-algeber. Ukážeme, že V je varieta. Označme T množinu všech rovností typu Ω, které platí ve všech Ω-algebrách z třídy V . Označme W varietu Ω-algeber určenou teorií T. Je třeba dokázat, že V = W. Z definice T je jasné, že platí inkluze V ⊆ W. Ukážeme nyní, že také W ⊆ V . Zvolme libovolně Ω-algebru A ∈ W. Věta bude dokázána, ukážeme-li, že A ∈ V . Uvažme volnou algebru FX(W) = FX(Ω)/∼W třídy W generovanou množinou X, přičemž za X volíme nosnou množinu Ω-algebry A. Podle věty 8.4, v níž za zobrazení φ : X → A volíme identitu, existuje homomorfismus Ωalgeber ϕ : FX(W) → A splňující podmínku ϕ(x) = φ(x) = x pro všechny prvky x ∈ X. Protože X = A, je zjevně ϕ surjektivní. Máme též volnou algebru FX(V ) = FX(Ω)/∼V třídy V generovanou stejnou množinou X. Označme KV (resp. KW ) množinu všech kongruencí ∼ na Ω-algebře FX(Ω) takových, že FX(Ω)/∼ patří do třídy V (resp. W). Z inkluze V ⊆ W plyne inkluze KV ⊆ KW . Protože ∼V je průnikem všech kongruencí z množiny KV a ∼W je průnikem všech kongruencí z množiny KW , plyne odtud, že ∼W ⊆ ∼V . Budeme hotovi, ukážeme-li také opačnou inkluzi ∼V ⊆ ∼W . Pak totiž budou obě kongruence ∼W a ∼V stejné, a proto FX(W) = FX(Ω)/∼W = 41 FX(Ω)/∼V = FX(V ) bude patřit do třídy V . Z uzavřenosti třídy V pak do V bude patřit i homomorfní obraz ϕ(FX(W)) = A, což právě potřebujeme dokázat. Zaměřme se tedy na důkaz inkluze ∼V ⊆ ∼W . Nechť t1, t2 ∈ FX(Ω) jsou libovolné termy takové, že t1 ∼V t2. Pro projekci na faktoralgebru π : FX(Ω) → FX(V ) tedy platí π(t1) = π(t2). Podle definice termu nad množinou X je při tvorbě každého termu použito jen konečně mnoho prvků množiny X. Označme si x1, . . . , xn ty prvky množiny X, které byly použity při tvorbě termů t1 a t2; jsou tedy t1 a t2 při tomto označení n-árními termy typu Ω, tj. t1, t2 ∈ Fn(Ω). Dokažme nejprve, že rovnost t1 = t2 patří do teorie T, tj. že platí ve všech Ω-algebrách z třídy V . Zvolme libovolně Ω-algebru B z třídy V a její prvky b1, . . . , bn ∈ B a ukažme, že (t1)B(b1, . . . , bn) = (t2)B(b1, . . . , bn). Uvažme zobrazení φ : X → B takové, že pro každé m = 1, . . . , n platí φ(xm) = bm a pro všechny ostatní prvky x ∈ X různé od x1, . . . , xn dodefinujme φ(x) = b1 (ve speciálním případě n = 0 všechny prvky množiny X zobrazíme na nějaký libovolně zvolený prvek z Ω-algebry B). Označme µ : X → FX(V ) vnoření generátorů do volné algebry FX(V ) třídy V . Podle definice je tedy µ(x) = π(x) pro všechny prvky x ∈ X. Podle věty 8.4 existuje homomorfismus Ωalgeber ϕ : FX(V ) → B splňující podmínku ϕ ◦ µ = φ. Označme ψ = ϕ ◦ π, je tedy ψ : FX(Ω) → B homomorfismus, přičemž pro všechny prvky x ∈ X platí ψ(x) = ϕ(π(x)) = ϕ(µ(x)) = φ(x). Ovšem Fn(Ω) je podalgebra Ω-algebry FX(Ω), proto můžeme uvážit homomorfismus ψ : Fn(Ω) → B, který je zúžením homomorfismu ψ. Pro každé m = 1, . . . , n platí ψ (xm) = ψ(xm) = φ(xm) = bm. Z věty 7.4 plyne, že homomorfizmus vycházející z volné algebry Fn(Ω) je jednoznačně určen svými obrazy na generátorech x1, . . . , xn, podle věty 7.4 tedy pro libovolný term t ∈ Fn(Ω) je ψ (t) = tB(b1, . . . , bn). Připomeňme, že π(t1) = π(t2); celkem tedy platí (t1)B(b1, . . . , bn) = ψ (t1) = ψ(t1) = ϕ(π(t1)) = ϕ(π(t2)) = = ψ(t2) = ψ (t2) = (t2)B(b1, . . . , bn), a tedy rovnost t1 = t2 patří do teorie T. Nechť ν : FX(Ω) → FX(W) je projekce na faktoralgebru a ν : Fn(Ω) → FX(W) její zúžení na podalgebru Fn(Ω). Podle věty 7.4 je homomorfismus ν jednoznačně určen svými obrazy na generátorech a pro každý term t ∈ Fn(Ω) tedy platí ν (t) = tFX (W)(ν (x1), . . . , ν (xn)). Ovšem FX(W) je Ω-algebra z variety W určené teorií T, rovnost t1 = t2, o které jsme dokázali, že do teorie T patří, tedy platí i v FX(W), odkud plyne ν(t1) = ν (t1) = (t1)FX (W)(ν (x1), . . . , ν (xn)) = = (t2)FX (W)(ν (x1), . . . , ν (xn)) = ν (t2) = ν(t2). 42 To znamená, že t1 ∼W t2, což jsme právě potřebovali dokázat. Poznámka. V průběhu důkazu věty 8.6 jsme odvodili další vlastnost volné algebry, která stojí za zmínku. Všimněte si, že pro každou varietu V typu Ω platí: libovolná rovnost typu Ω platí ve volné algebře F(V ) variety V právě tehdy, když tato rovnost platí v každé Ω-algebře variety V . 43