Co je to univerzální algebra?

Podobné dokumenty
ZÁKLADY UNIVERZÁLNÍ ALGEBRY Radan Kučera. 1. Operace a Ω-algebry

Úlohy k procvičování textu o svazech

Úlohy k procvičování textu o univerzální algebře

Základní pojmy teorie množin Vektorové prostory

1 Báze a dimenze vektorového prostoru 1

Teoretická informatika Tomáš Foltýnek Algebra Struktury s jednou operací

15. Moduly. a platí (p + q)(x) = p(x) + q(x), 1(X) = id. Vzniká tak struktura P [x]-modulu na V.

Algebra 2 KMI/ALG2. Zpracováno podle přednášek prof. Jiřího Rachůnka a podle přednášek prof. Ivana Chajdy. slidy k přednáškám

ALGEBRA. Téma 4: Grupy, okruhy a pole

Těleso racionálních funkcí

METRICKÉ A NORMOVANÉ PROSTORY

INVESTICE DO ROZVOJE VZDĚLÁVÁNÍ. Modernizace studijního programu Matematika na PřF Univerzity Palackého v Olomouci CZ.1.07/2.2.00/28.

PŘEDNÁŠKA 5 Konjuktivně disjunktivní termy, konečné distributivní svazy

Matematika 2 pro PEF PaE

Výroková a predikátová logika - VII

Pojem binární relace patří mezi nejzákladnější matematické pojmy. Binární relace

Báze a dimenze vektorových prostorů

Množiny, relace, zobrazení

Lineární zobrazení. V prvním z následujících tvrzení navíc uvidíme, že odtud plynou a jsou tedy pak rovněž splněny podmínky:

grupa těleso podgrupa konečné těleso polynomy komutativní generovaná prvkem, cyklická, řád prvku charakteristika tělesa

Lineární algebra Kapitola 1 - Základní matematické pojmy

[1] x (y z) = (x y) z... (asociativní zákon), x y = y x... (komutativní zákon).

Matematická analýza 1

DEFINICE Z LINEÁRNÍ ALGEBRY

ZÁKLADY UNIVERZÁLNÍ ALGEBRY. 1. Operace a Ω-algebry

1 Připomenutí vybraných pojmů

Matematický ústav Slezské univerzity v Opavě Učební texty k přednášce ALGEBRA I, zimní semestr 2000/2001 Michal Marvan. 2.

Aritmetika s didaktikou I.

Texty k přednáškám z MMAN3: 4. Funkce a zobrazení v euklidovských prostorech

Učební texty k státní bakalářské zkoušce Matematika Algebra. študenti MFF 15. augusta 2008

Teorie množin. Čekají nás základní množinové operace kartézské součiny, relace zobrazení, operace. Teoretické základy informatiky.

TOPOLOGIE A TEORIE KATEGORIÍ (2017/2018) 4. PREDNÁŠKA - SOUČIN PROSTORŮ A TICHONOVOVA VĚTA.

Algebraické struktury s jednou binární operací

PŘEDNÁŠKA 7 Kongruence svazů

V předchozí kapitole jsme podstatným způsobem rozšířili naši představu o tom, co je to číslo. Nadále jsou pro nás důležité především vlastnosti

1 Zobrazení 1 ZOBRAZENÍ 1. Zobrazení a algebraické struktury. (a) Ukažte, že zobrazení f : x

Matematika IV - 2. přednáška Základy teorie grup

Lineární algebra : Lineární prostor

Vysoké učení technické v Brně Fakulta informačních technologií. Regulární pologrupy. Semestrální práce do předmětu Algebra, Kombinatorika, Grafy

Pavel Horák LINEÁRNÍ ALGEBRA A GEOMETRIE 1 UČEBNÍ TEXT

Teorie množin. pro fajnšmekry - TeMno. Lenka Macálková BR Solutions Orličky. Lenka (Brkos 2010) TeMno

Množiny, základní číselné množiny, množinové operace

Vektory a matice. Obsah. Aplikovaná matematika I. Carl Friedrich Gauss. Základní pojmy a operace

KATEDRA INFORMATIKY UNIVERZITA PALACKÉHO ALGEBRA DAGMAR SKALSKÁ VÝVOJ TOHOTO UČEBNÍHO TEXTU JE SPOLUFINANCOVÁN

M M. Je-li ρ M 2 relace, pak vztah (x, y) ρ zapisujeme x ρ y.

Teorie grup 1 Příklad axiomatické teorie

Západočeská univerzita v Plzni FAKULTA PEDAGOGICKÁ

Západočeská univerzita v Plzni

1. Základní příklady a poznatky o monoidech a grupách

MATICE. a 11 a 12 a 1n a 21 a 22 a 2n A = = [a ij]

Matice. a m1 a m2... a mn

40 [ ] Tvrzení. JedánaBooleovaalgebra(B,,,,0,1, ).Pakplatí. 2. a=a prokaždé a B. 3. a b=a b, a b=a b prokaždé a,b B,

Pavel Horák, Josef Janyška LINEÁRNÍ ALGEBRA UČEBNÍ TEXT

Věta o dělení polynomů se zbytkem

Lineární algebra : Lineární zobrazení

(1) Dokažte, že biprodukt je součin (a tím pádem i součet). Splňují-li homomorfismy. A B je izomorfismus stejně jako A B i+j

7. Lineární vektorové prostory

2. přednáška 8. října 2007

7 Analytické vyjádření shodnosti

1. Pologrupy, monoidy a grupy

Množina je nejdůležitější matematický pojem, na kterém stojí veškeré další matematické pojmy.

3 Množiny, Relace a Funkce

Poznámka. Je-li f zobrazení, ve kterém potřebujeme zdůraznit proměnnou, píšeme f(x) (resp. f(y), resp. f(t)) je zobrazení místo f je zobrazení.

označme j = (0, 1) a nazvěme tuto dvojici imaginární jednotkou. Potom libovolnou (x, y) = (x, 0) + (0, y) = (x, 0) + (0, 1)(y, 0) = x + jy,

Úvod do informatiky. Miroslav Kolařík

Úvod do informatiky. Miroslav Kolařík. Zpracováno dle učebního textu R. Bělohlávka: Úvod do informatiky, KMI UPOL, Olomouc 2008.

Matematická analýza pro informatiky I.

Výroková a predikátová logika - VII

Okruhy, podokruhy, obor integrity, těleso, homomorfismus. 1. Rozhodněte, zda daná množina M je podokruhem okruhu (C, +, ): f) M = { a

Lineární algebra Operace s vektory a maticemi

REÁLNÁ FUNKCE JEDNÉ PROMĚNNÉ

6. Vektorový počet Studijní text. 6. Vektorový počet

ÚVOD DO ARITMETIKY. Michal Botur

Výroková a predikátová logika - II

Grupy Mgr. Růžena Holubová 2010

Cílem kapitoly je opakování a rozšíření středoškolských znalostí v oblasti teorie množin.

Lineární algebra : Metrická geometrie

Matematika IV - 3. přednáška Rozklady grup

Matematika B101MA1, B101MA2

0. ÚVOD - matematické symboly, značení,

Matematika IV - 3. přednáška Rozklady grup

Algebraická teorie diskrétního lineárního řízení vznikla jako speciální obor teorie

2. Test 07/08 zimní semestr

Každé formuli výrokového počtu přiřadíme hodnotu 0, půjde-li o formuli nepravdivou, a hodnotu 1, půjde-li. α neplatí. β je nutná podmínka pro α

Lineární prostory. - vektorové veličiny(síla, rychlost, zrychlení,...), skládání, násobení reálným číslem

6.1 Vektorový prostor

Množinu všech matic typu m n nad tělesem T budeme označovat M m n (T ), množinu všech čtvercových matic stupně n nad T pak M n (T ).

Matice lineárních zobrazení

3. Algebraické systémy

INVESTICE DO ROZVOJE VZDĚLÁVÁNÍ. Modernizace studijního programu Matematika na PřF Univerzity Palackého v Olomouci CZ.1.07/2.2.00/28.

1 Kardinální čísla. množin. Tvrzení: Necht X Cn. Pak: 1. X Cn a je to nejmenší prvek třídy X v uspořádání (Cn, ),

Maticí typu (m, n), kde m, n jsou přirozená čísla, se rozumí soubor mn veličin a jk zapsaných do m řádků a n sloupců tvaru:

Algebraické struktury

PŘEDNÁŠKA 2 POSLOUPNOSTI

Matematika IV - 7. přednáška Uspořádané množiny, svazy a Booleovy algebry

Booleovy algebry. Irina Perfilieva. logo

V: Pro nulový prvek o lineárního prostoru L platí vlastnosti:

Lineární algebra : Báze a dimenze

Matematická logika. Miroslav Kolařík

10. DETERMINANTY " # $!

Transkript:

Co je to univerzální algebra? Při studiu řadu algebraických struktur (grupoidy, pologrupy, grupy, komutativní grupy, okruhy, obory integrity, tělesa, polosvazy, svazy, Booleovy algebry) se často některé pojmy a úvahy opakovaly: homomorfismy: vždy platilo, že složením homomorfismů opět dostaneme homomorfismus; podobjekty (podgrupy, podokruhy, podtělesa, podsvazy, Booleovy podalgebry atd.): vždy platilo, že průnikem libovolného neprázdného systému podobjektů je opět podobjekt, což umožnilo definovat podobjekt generovaný podmnožinou ve všech případech stejnou konstrukcí; součiny algebraických struktur (grup, okruhů, svazů): na kartézském součinu jsme definovali stejnou strukturu. Jedním z cílů univerzální algebry je tyto společné rysy postihnout a jednotně popsat.

Zobecnění pojmu operace na množině Operací na množině G pro nás dosud bylo zobrazení G G G. Nyní tento pojem zobecníme, vždyť jsme užívali zobrazení G G (přiřazení inverzního prvku v grupě nebo komplementu v Booleově algebře). Pracovali jsme s význačnými prvky množiny G (neutrální prvek grupy, 0 a 1 okruhu, nejmenší a největší prvek Booleovy algebry). Výběr význačného prvku lze chápat jako volbu zobrazení z jednoprvkové množiny do G. Definice. Nechť G je množina, n nezáporné celé číslo. Pak n-ární operací na množině G rozumíme zobrazení G n G. Přitom pro n N definujeme G n = } G G {{ G }, pro n = 0 je G 0 = { }. n Poznámka. Místo 2-ární operace budeme říkat binární operace, místo 1-ární budeme říkat unární, místo 0-ární nulární. Číslu n z definice říkáme arita dotyčné operace.

Univerzální algebra daného typu Poznámka. 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 f A : A n A. Pro libovolné a 1,..., a n A značíme f A (a 1,..., a n ) hodnotu operace f A na uspořádané n-tici (a 1,..., a n ). Pro n = 0 je A 0 = { }, nulární operací je zobrazení f A : { } A zadané jediným prvkem f A ( ) A, pro zjednodušení jej budeme zapisovat f A místo f A ( ).

Příklady Ω-algeber 1. Pro prázdný typ, tj. Ω =, je univerzální algebrou typu Ω libovolná množina. 2. Grupoid je totéž, co množina s jednou binární operací, je to tedy univerzální algebra typu, který má jeden binární operační symbol. 3. Každá grupa je univerzální algebra typu {, 1, 1}. Nikoliv naopak, ne každá univerzální algebra typu {, 1, 1} je grupou (aby byla grupou, musí splňovat jisté axiomy). 4. Každý okruh je univerzální algebra typu {+,,, 0, 1}. 5. Každý svaz je univerzální algebra typu {, }. 6. Každá Booleova algebra je univerzální algebra typu {,,, 0, 1}. 7. Pro dané těleso T lze každý vektorový prostor nad tělesem T 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).

Jednoprvková Ω-algebra Příklad. Nechť Ω je libovolný typ, A = {a} libovolná 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 f A na (jediné existující) n-tici (a,..., a) rovna (jediné možné) hodnotě a. 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 a s operacemi f A pro každé f Ω. Například 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.

Podalgebra Ω-algebry 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é a 1,..., a n H platí f A (a 1,..., a n ) H. Poznámka. V případě nulárního operačního symbolu f Ω je n = 0, tedy A 0 = { }. Obraz tohoto jediného prvku jsme se dohodli značit stručně f A místo (možná přesnějšího) označení f A ( ). Podmínku z definice je tedy třeba chápat ve smyslu f A H. Poznámka. Obsahuje-li typ Ω alespoň jeden nulární operační symbol, pak je každá podalgebra libovolné Ω-algebry neprázdná. Poznámka. Každá podalgebra H libovolné Ω-algebry A je sama Ω-algebrou, stačí pro každý n-ární operační symbol f Ω definovat f H jako restrikci zobrazení f A na H n a zmenšit obor hodnot na H, pak totiž f H : H n H.

Příklady podalgeber V jednotlivých případech z předchozího příkladu univerzálních algeber dostáváme tyto podalgebry: 1. Podmnožina množiny (Ω = ). 2. Podgrupoid grupoidu (Ω = { }). 3. Podgrupa grupy (Ω = {, 1, 1}). 4. Podokruh okruhu (Ω = {+,,, 0, 1}). 5. Podsvaz svazu (Ω = {, }). 6. Booleova podalgebra Booleovy algebry (Ω = {,,, 0, 1}). 7. Vektorový podprostor vektorového prostoru (Ω = {+,, 0} T, kde T je těleso).

Svaz všech podalgeber dané Ω-algebry Věta. Nechť A je univerzální algebra typu Ω, I neprázdná množina. Pro každé i I nechť je dána podalgebra H i A algebry A. Pak jejich průnik i I H i je podalgebra Ω-algebry A. Důkaz. Nechť f Ω je n-ární, a 1,..., a n i I H i libovolné. Pro každé i I platí a 1,..., a n H i. Protože H i je podalgebra, je f A (a 1,..., a n ) H i. Pak f A (a 1,..., a n ) i I H i. 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 neprá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. (P, ) má největší prvek A i infimum libovolné neprázdné podmnožiny (průnik všech podalgeber této podmnožiny).

Podalgebra generovaná podmnož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 předchozí věty 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 podalgeber generovaných podmnožinou 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 neměli). 3. Podgrupa M grupy generovaná množinou M. 4. Podokruh M okruhu generovaný množinou M. 5. Podsvaz svazu generovaný množinou (neměli jsme). 6. Booleova podalgebra Booleovy algebry generovaná množinou (neměli jsme). 7. Vektorový podprostor vektorového prostoru generovaný množinou vektorů (jeden z nejdůležitějších pojmů lineární algebry).

Homomorfismy Ω-algeber 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 a 1,..., a n A platí f B (ϕ(a 1 ),..., ϕ(a n )) = ϕ(f A (a 1,..., a n )). Je-li navíc ϕ bijektivní, hovoříme o izomorfismu Ω-algeber. Řekneme, že Ω-algebry A a B jsou izomorfní, jestliže existuje nějaký izomorfismus Ω-algeber A B. Poznámka. Pro nulární operační symbol předchozí podmínka samozřejmě znamená ϕ(f A ) = f B. 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 homomorfismů Ω-algeber 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í homomorfismem. 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éž 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.

Příklady homomorfismů Ω-algeber 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ů jsou homomorfismy právě lineární zobrazení.

Složení homomorfismů Ω-algeber Věta. 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 a 1,..., a n A platí ϕ(f A (a 1,..., a n )) = f B (ϕ(a 1 ),..., ϕ(a n )). Protože je též ψ homomorfismus Ω-algeber, platí ψ(f B (ϕ(a 1 ),..., ϕ(a n ))) = f C (ψ(ϕ(a 1 )),..., ψ(ϕ(a n ))). Dohromady tedy (ψ ϕ)(f A (a 1,..., a n )) = ψ(ϕ(f A (a 1,..., a n ))) = což jsme měli dokázat. = ψ(f B (ϕ(a 1 ),..., ϕ(a n ))) = = f C (ψ(ϕ(a 1 )),..., ψ(ϕ(a n ))) = = f C ((ψ ϕ)(a 1 ),..., (ψ ϕ)(a n )),

Obraz v homomorfismu Ω-algeber Věta. Nechť A, B jsou univerzální algebry téhož typu Ω, ϕ : A B homomorfismus Ω-algeber. Pak obraz Ω-algebry A v homomorfismu ϕ je podalgebra Ω-algebry B. ϕ(a) = {ϕ(a); a A} Důkaz. Zvolme libovolně operační symbol f Ω arity n. Pak pro každé prvky b 1,..., b n ϕ(a) existují a 1,..., a n A tak, že ϕ(a 1 ) = b 1,..., ϕ(a n ) = b n. Z definice homomorfismu plyne f B (b 1,..., b n ) = f B (ϕ(a 1 ),..., ϕ(a n )) = ϕ(f A (a 1,..., a n )) ϕ(a).

Věty o izomorfismech Ω-algeber Věta. Nechť A, B jsou univerzální algebry téhož typu Ω, ϕ : A B izomorfismus Ω-algeber. Pak inverzní zobrazení ϕ 1 : B A je také izomorfismus Ω-algeber. Důkaz. Zvolme libovolně operační symbol f Ω arity n. Pak pro každé prvky b 1,..., b n B existují a 1,..., a n A tak, že ϕ(a 1 ) = b 1,..., ϕ(a n ) = b n. Z definice homomorfismu f B (b 1,..., b n ) = ϕ(f A (a 1,..., a n )), a tedy ϕ 1 (f B (b 1,..., b n )) = f A (ϕ 1 (b 1 ),..., ϕ 1 (b n )). Věta. Nechť A, B, C jsou univerzální algebry téhož typu Ω. 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 zřejmé.

Součin dvou Ω-algeber 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 a 1,..., a n A, b 1,..., b n B klademe f A B ((a 1, b 1 ),..., (a n, b n )) = (f A (a 1,..., a n ), f B (b 1,..., b n )). Poznámka. Předchozí podmínka v případě nulárního operačního symbolu f znamená f A B = (f A, f B ). 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. Poznámka. Protože Ω-algebry mohou být i prázdné, nemusí být obecně projekce ze součinu surjektivní.

Projekce ze součinu dvou Ω-algeber Věta. 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. Zvolme libovolně operační symbol f Ω arity n a prvky a 1,..., a n A, b 1,..., b n B. Platí π 1 ( fa B ((a 1, b 1 ),..., (a n, b n )) ) = = π 1 ( (fa (a 1,..., a n ), f B (b 1,..., b n )) ) = = f A (a 1,..., a n ) = = f A (π 1 ((a 1, b 1 )),..., π 1 ((a n, b n ))). Analogicky se dokáže, že projekce π 2 je homomorfismus Ω-algeber.

Věta o součinu dvou Ω-algeber Věta. Nechť A, B, C jsou univerzální algebry téhož typu Ω, ϕ : C A, ψ : C B homomorfismy Ω-algeber, π 1 : A B A, A π 2 : A B B projekce ze součinu A B. Pak existuje jediný homomorfismus Ω-algeber ρ : C A B s vlastností π 1 ρ = ϕ, π 2 ρ = ψ. π 1 ϕ A B C ρ π 2 ψ B Důkaz. Podmínky π 1 ρ = ϕ, π 2 ρ = ψ platí, právě když ρ(c) = (ϕ(c), ψ(c)) pro každé c C. Zvolme libovolně operační symbol f Ω arity n a prvky c 1,..., c n C. Platí f A B (ρ(c 1 ),..., ρ(c n )) = f A B ((ϕ(c 1 ), ψ(c 1 )),..., (ϕ(c n ), ψ(c n ))) = což se mělo dokázat. = ( f A (ϕ(c 1 ),..., ϕ(c n )), f B (ψ(c 1 ),..., ψ(c n )) ) = = ( ϕ(f C (c 1,..., c n )), ψ(f C (c 1,..., c n )) ) = = ρ(f C (c 1,..., c n )),

Součin libovolného počtu množin Definice. Jestliže pro libovolný prvek i množiny I je dána množina A i, pak kartézským součinem množin A i rozumíme množinu všech zobrazení χ z množiny I takových, že χ(i) A i pro každé i I : { A i = χ : I A i ; i I : χ(i) A i }. i I i I Pro libovolné j I definujeme j-tou projekci π j z kartézského součinu A = i I A i takto: π j : A A j je určeno předpisem π j (χ) = χ(j) pro každé χ A. Poznámka. Ve speciálním případě I = vlastně žádnou množinu A i nemáme. Přesto jsme oprávněni mluvit o součinu: dle definice je součinem i A i množina všech zobrazení χ : i A i. Protože i I A i je množina všech prvků x, pro které existuje i I tak, že x A i, je zřejmě i A i =. Ovšem zobrazení χ : je jediné, totiž prázdné zobrazení. Proto množina i A i je jednoprvková; jejím jediným prvkem je prázdné zobrazení.

Součin libovolného počtu Ω-algeber Definice. Nechť Ω je typ. Nechť pro libovolný prvek i množiny I je dána univerzální algebra A i typu Ω. Součinem těchto Ω-algeber rozumíme novou Ω-algebru definovanou na kartézském součinu A = i I A i takto: pro každý operační symbol f Ω arity n a každé prvky χ 1,..., χ n A, klademe f A (χ 1,..., χ n ) = χ, kde χ A je určeno podmínkou χ(i) = f Ai (χ 1 (i),..., χ n (i)) (pro n = 0 tedy f A = χ, kde χ(i) = f Ai ). pro každé i I Poznámka. Ve speciálním případě I = je součinem Ω-algebra na jednoprvkové množině, jejímž jediným prvkem je prázdné zobrazení. Tato Ω-algebra je jediná (na jednoprvkové množině pro libovolné n N 0 existuje jen jedna n-ární operace). Ačkoli nemáme dánu žádnou Ω-algebru, jako součin dostáváme jednoprvkovou Ω-algebru, a tedy máme informaci o tom, jak vypadá Ω. Není to paradox: 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á.

Projekce ze součinu Ω-algeber Věta. Nechť pro libovolný prvek i množiny I je dána univerzální algebra A i daného typu Ω, nechť A = i I A i je jejich součin. Pak pro každé j I je j-tá projekce π j : A A j homomorfismus Ω-algeber. Důkaz. Připomeňme, že projekce π j : A A j je definována předpisem π j (χ) = χ(j) pro každé χ A. Zvolme libovolně operační symbol f Ω arity n a prvky χ 1,..., χ n A. Označme χ = f A (χ 1,..., χ n ). Přímo z definice plyne π j (f A (χ 1,..., χ n )) = π j (χ) = χ(j) = f Aj (χ 1 (j),..., χ n (j)) = což se mělo dokázat. = f Aj (π j (χ 1 ),..., π j (χ n )),

Věta o součinu Ω-algeber Věta. Nechť pro libovolný prvek i množiny I je dána univerzální algebra A i daného typu Ω, nechť A = i I A i je jejich součin a π j : A A j je j-tá projekce pro každé j I. Nechť C je univerzální algebra téhož typu Ω, a pro každé j I nechť je dán homomorfismus Ω-algeber ϕ j : C A j. Pak existuje jediný homomorfismus Ω-algeber ϕ : C A takový, že π j ϕ = ϕ j pro každé j I. A C ϕ π j π j... A j... A j (j, j,... I ) ϕ j ϕ j

Důkaz věty o součinu Ω-algeber Důkaz. Rovnost π j ϕ = ϕ j pro každé j I platí, právě když pro každé c C je ϕ(c) A určené podmínkou: pro libovolné j I (ϕ(c))(j) = π j (ϕ(c)) = (π j ϕ)(c) = ϕ j (c). Ověřme, že takto definované zobrazení ϕ : C A je homomorfismus Ω-algeber. Zvolme libovolně operační symbol f Ω arity n a prvky c 1,..., c n C. Označme χ = f A (ϕ(c 1 ),..., ϕ(c n )), pak pro každé i I platí χ(i) = f Ai ((ϕ(c 1 ))(i),..., (ϕ(c n ))(i)) = f Ai (ϕ i (c 1 ),..., ϕ i (c n )) = = ϕ i (f C (c 1,..., c n )) = ( ϕ(f C (c 1,..., c n )) ) (i). To znamená, že χ a ϕ(f C (c 1,..., c n )) jsou (jakožto prvky kartézského součinu) zobrazení se stejným definičním oborem, oborem hodnot i předpisem, proto platí χ = ϕ(f C (c 1,..., c n )), tj. f A (ϕ(c 1 ),..., ϕ(c n )) = ϕ(f C (c 1,..., c n )), což se mělo dokázat.