Sissejuhatus algebra struktuuridesse 5. praktikum

Seotud dokumendid
Polünoomi juured Juure definitsioon ja Bézout teoreem Vaadelgem polünoomi kus K on mingi korpus. f = a 0 x n + a 1 x n a n 1 x

lvk04lah.dvi

Tartu Ülikool Matemaatika-informaatikateaduskond Puhta Matemaatika Instituut Algebra õppetool Riivo Must Mõned katsed üldistada inversseid poolrühmi M

IMO 2000 Eesti võistkonna valikvõistlus Tartus, aprillil a. Ülesannete lahendused Esimene päev 1. Olgu vaadeldavad arvud a 1, a 2, a 3,

ITI Loogika arvutiteaduses

vv05lah.dvi

Matemaatiline analüüs IV 1 3. Mitme muutuja funktsioonide diferentseerimine 1. Mitme muutuja funktsiooni osatuletised Üleminekul ühe muutuja funktsioo

prakt8.dvi

PALMIKRÜHMAD Peeter Puusempa ettekanded algebra ja geomeetria õppetooli seminaril 11., 18. ja 25. jaanuaril a. 1. Palmikud ja palmikrühmad Ajalo

Ruutvormid Denitsioon 1. P n Ütleme, et avaldis i;j=1 a ijx i x j ; kus a ij = a ji ; a ij 2 K ja K on korpus, on ruutvorm üle korpuse K muutujate x 1

Relatsiooniline andmebaaside teooria II. 6. Loeng

Infix Operaatorid I Infix operaatorid (näiteks +) ja tüübid (näiteks ->) kirjutatakse argumentide vahele, mitte argumentide ette. Näiteks: 5 + 2, 2*pi

Word Pro - diskmatTUND.lwp

Diskreetne matemaatika I Kevad 2019 Loengukonspekt Lektor: Valdis Laan 20. juuni a.

Matemaatiline analüüs III 1 4. Diferentseeruvad funktsioonid 1. Diferentseeruvus antud punktis. Olgu funktsiooni f : D R määramispiirkond D R selles p

Treeningvõistlus Balti tee 2014 võistkonnale Tartus, 4. novembril 2014 Vastused ja lahendused 1. Vastus: 15, 18, 45 ja kõik 0-ga lõppevad arvud. Olgu

1 / loeng Tekstitöötlus Sisend/väljund Teksti lugemine Sõnad

Microsoft Word - Errata_Andmebaaside_projekteerimine_2013_06

Antennide vastastikune takistus

6. KLASSI MATEMAATIKA E-TASEMETÖÖ ERISTUSKIRI Alus: haridus- ja teadusministri määrus nr 54, vastu võetud 15. detsembril E-TASEMETÖÖ EESMÄRK Tas

Microsoft Word - 56ylesanded1415_lõppvoor

loeng7.key

raamat5_2013.pdf

7 KODEERIMISTEOORIA 7.1 Sissejuhatus Me vaatleme teadete edastamist läbi kanali, mis sisaldab müra ja võib seetõttu moonutada lähteteadet. Lähteteade

Funktsionaalne Programmeerimine

Microsoft Word - ref - Romet Piho - Tutorial D.doc

Pintsli otsade juurde tegemine Esiteks Looge pilt suurusega 64x64 ja tema taustaks olgu läbipaistev kiht (Transparent). Teiseks Minge kihtide (Layers)

I Generaatori mõiste (Java) 1. Variantide läbivaatamine Generaator (ehk generaator-klass) on klass, milles leidub (vähemalt) isendimeetod next(). Kons

12. Marek Kolk, Kõrgem matemaatika, Tartu Ülikool, Algfunktsioon ja määramata integraal Sisukord 12 Algfunktsioon ja määramata integraal 1

loogikaYL_netis_2018_NAIDISED.indd

Word Pro - digiTUNDkaug.lwp

loeng2

DIGITAALTEHNIKA DIGITAALTEHNIKA Arvusüsteemid Kümnendsüsteem Kahendsüsteem Kaheksandsüsteem Kuueteistkü

Diskreetne matemaatika I praktikumiülesannete kogu a. kevadsemester

Võistlusülesanne Vastutuulelaev Finaal

my_lauluema

Microsoft Word - VOTA_dok_menetlemine_OIS_ doc

Matemaatika ainekava 8.klass 4 tundi nädalas, kokku 140 tundi Kuu Õpitulemus Õppesisu Algebra (65 t.) Geomeetria (60 t.) Ajavaru kordamiseks (15 õppet

Matemaatiline maailmapilt MTMM Terje Hõim Johann Langemets Kaido Lätt 2018/19 sügis

Andmebaasid, MTAT loeng Normaalkujud

VL1_praks2_2009s

Sügis 2018 Kõrgema matemaatika 2. kontrolltöö tagasiside Üle 20 punkti kogus tervelt viis üliõpilast: Robert Johannes Sarap, Enely Ernits, August Luur

Neurovõrgud. Praktikum aprill a. 1 Stohhastilised võrgud Selles praktikumis vaatleme põhilisi stohhastilisi võrke ning nende rakendust k

G OSA A VARIANT RESPONDENDILE ISE TÄITMISEKS

19. Marek Kolk, Kõrgem matemaatika, Tartu Ülikool, Arvridade koonduvustunnused Sisukord 19 Arvridade koonduvustunnused Vahelduvat

MS Word Sisukord Uue dokumendi loomine... 2 Dokumendi salvestamine... 3 Faili nimi... 4 Teksti sisestamine... 6 Klaviatuuril mitteleiduvat sümbolite l

Sissejuhatus mehhatroonikasse MHK0120

Mining Meaningful Patterns

Microsoft Word - Sobitusahelate_projekteerimine.doc

VKE definitsioon

Eesti koolinoorte LIII matemaatikaolümpiaad 28. jaanuar 2006 Piirkonnavoor Hindamisjuhised Lp hindaja! 1. Juhime Teie tähelepanu sellele, et alljärgne

Microsoft PowerPoint - IRZ0020_praktikum4.pptx

8.klass 4 tundi nädalas, kokku 140 tundi Hulkliikmed ( 45 tundi) Õppesisu Hulkliige. Hulkliikmete liitmine ja lahutamine ning korrutamine ja jagamine

PÄRNU TÄISKASVANUTE GÜMNAASIUM ESITLUSE KOOSTAMISE JUHEND Pärnu 2019

ET TOIMIVUSDEKLARATSIOON vastavalt järgneva määruse (EL) Nr. 305/2011 lisale III: lisale III Elektritööriistadega kasutatavad Hilti kinnitid X-P 20 B3

Õppejõult õppejõule 2017: oma õpetamise arendamine Posteriraamat

Programmeerimiskeel APL Raivo Laanemets 17. mai a.

Praks 1

Pimeda ajal sõitmine

Pealkiri

I klassi õlipüüdur kasutusjuhend

Andmebaasid, MTAT Andmebaasikeeled 11.loeng

Andmed arvuti mälus Bitid ja baidid

Väljaandja: Keskkonnaminister Akti liik: määrus Teksti liik: algtekst-terviktekst Redaktsiooni jõustumise kp: Redaktsiooni kehtivuse lõpp:

EUPL v 1 1-all versions _4_

Abiarstide tagasiside 2016 Küsimustikule vastas 137 tudengit, kellest 81 (60%) olid V kursuse ning 56 (40%) VI kursuse tudengid. Abiarstina olid vasta

PR_NLE-CN_LegAct_app

Microsoft Word - essee_CVE ___KASVANDIK_MARKKO.docx

G4S poolt võetavad kohustused 1. G4S juurutab oma hinnastamispõhimõtetes käesolevale dokumendile lisatud hinnastamismaatriksi. Hinnastamismaatriks läh

Hoia oma arvuti turvaline ja kiire 1.Leia start nupust alustades Juhtpaneel 2.Juhtpaneeli aadressiribalt leia Kõik juhtpaneeli üksused 3.Avanenud tööa

Manuals Generator

Kuidas vahetada esimesi suspensiooni vedrusid autol VOLKSWAGEN TOURAN 1

Microsoft Word - TM70_SP-MG_kasutusjuhend.docx

Kfloppy vormindamistööriista käsiraamat

Kom igang med Scratch

6 tsooniga keskus WFHC MASTER RF 868MHz & 4 või 6 tsooniga alaseade SLAVE RF KASUTUSJUHEND 6 tsooniga WFHC RF keskus & 4 või 6 tsooniga alaseade SLAVE

DE_loeng5

Devilink PR Pistikuga relee Paigaldusjuhend EE

ma1p1.dvi

Microsoft Word - TallinnLV_lihtsustatud_manual_asutuse_juhataja_ doc

Skriptid ja käsud

Tala dimensioonimine vildakpaindel

Pealkiri

Väljaandja: Keskkonnaminister Akti liik: määrus Teksti liik: terviktekst Redaktsiooni jõustumise kp: Redaktsiooni kehtivuse lõpp:

FRESENIUS ÕPPEKESKUS KIIRJUHEND

PHP

Puitpõrandad

Load Ehitise kasutusluba Ehitusseaduse kohaselt võib valminud ehitist või selle osa kasutada vaid ettenähtud otstarbel. Kasutamise

Rahvajutud: muistend Vaimse kultuuripärandi tööleht. Kirjandus Ingrid Mikk Jüri Gümnaasium 2014

C-SEERIA JA VJATKA-SEERIA LÄBIVOOLUKUIVATID

Excel Valemite koostamine (HARJUTUS 3) Selles peatükis vaatame millistest osadest koosnevad valemid ning kuidas panna need Excelis kirja nii, et

Microsoft PowerPoint - loeng2.pptx

Ülesanne #5: Käik objektile Kooli ümberkujundamist vajava koha analüüs. Ülesanne #5 juhatab sisse teise poole ülesandeid, mille käigus loovad õpilased

Andmeturve

KINNITATUD

PowerPoint Presentation

Väljavõte:

Sissejuhatus algebra struktuuridesse 5. praktikum Na idislahendused 1. u lesanne (Nikita Leo) Loetleme A4 alamru hmad. a. {ε} b. {ε, (12)(34)} c. {ε, (13)(24)} d. {ε, (14)(23)} e. {ε, (234), (243)} f. {ε, (134), (143)} g. {ε, (124), (142)} h. {ε, (123), (132)} i. {ε, (12)(34), (13)(24), (14)(23)} j. A4 Joonistame Hasse diagrammi. 1

Tegemist on võrega, sest igal kahel elemendil leidub ülemine ja alumine raja. Kahe alamrühma alumiseks rajaks on nende ühisosa, alamrühmade H 1 ja H 2 ülemiseks rajaks on nende korrutis H 1 H 2 = {xy : x H 1, y H 2 }. See võre ei ole modulaarne, sest sisaldab alamvõret {1, 4, 5, 9, 10}, mis on isomorfne võrega N 5. Lemma 8.16 kohaselt iga distributiivne võre on modulaarne. Kuna vaadeldav võre ei ole modulaarne, siis ta ei ole ka distributiivne. Vaadeldav võre on lõplik, seega täielik. 2. ülesanne (Lahenduse autor on toimetusele teada) Tõestame, et täielike võrede mistahes võimsusega otsekorrutis on ise ka täielik võre. Olgu V i, i I täielikud võred; näitame, et V = i I V i on ka täielik võre. Vastavalt algebrate otsekorrutise definitsioonile on tehted ja defineeritud punktiviisiliselt, s.t. Vastavalt loengukonspekti konstruktsioonile (a i ) i I (b i ) i I = (a i b i ) i I ; (a i ) i I (b i ) i I = (a i b i ) i I. (a i ) i I (b i ) i I (a i ) i I = (a i ) i I (b i ) i I (a i ) i I = (a i b i ) i I i I : a i = a i b i i I : a i b i. Olgu U V ; näitame, et hulgal U leidub võres V alumine raja. Tähistame iga i I korral U i = {a i (a j ) j I U}. Siis U i V i ehk tal leidub alumine raja u i. Vaatleme elementi u = (u i ) i I. Näitame, et u on hulga U alumine raja. Esiteks veendume, et u on hulga U alumine tõke. Olgu (a i ) i I U. Iga i korral a i U i ; et u i on alumine tõke, siis u i a i. Järelikult u = (u i ) i I (a i ) i I. Nüüd näitame, et u on suurim alumine tõke. Olgu v = (v i ) i I V hulga U mingi alumine tõke. Siis iga i I ja a = (a i ) i I U korral v i a i ehk v i on U i alumine tõke. Et u i on U i suurim alumine tõke, siis v i u i. Järelikult v u ehk u on alumine raja. Ülemise raja olemasolu tõestus on duaalne. 3. ülesanne (Lahenduse autor on toimetusele teada) Tõestame, et täienditega distributiivses võres on täiendid üheselt määratud. Olgu V distributiivne võre ja olgu a V. Olgu x, y V mõlemad a täiendid, näitame, et x = y. Kuna x, y V on täiendid, siis a x = a y = 1 ning a x = a y = 0. Täiendi ühesuseks näitame siis, et x = y. 2

x = (x a) x = (neelduvus) = (y a) x (x, y on täiendid ehk y a = x a = 1 ja kommutatiivsus) = (y x) (a x) (distributiivsus) = (y x) (a y) (x, y on täiendid ehk a x = a y = 0) = (x y) (a y) (kommutatiivsus) = (x a) y (distributiivsus) = (y a) y (x, y on täiendid ehk y a = x a = 1 ja kommutatiivsus) = y (neelduvus) 4. ülesanne (Nikita Leo) Tõestame, et võre Eq(X) on modulaarne parajasti siis, kui X 3. Teoreemist 8.14 teame, et võre on modulaarne parajasti siis, kui see ei sisalda võrega N 5 isomorfset alamvõret. Muuhulgas tähendab see, et võre, milles on vähem kui 5 elementi, on modulaarne. Kõigepealt veendume, et X = 0, 1, 2, 3 korral võre Eq(X) on modulaarne. Järgnevas tähistab X hulka {(x, x) : x X}. Olgu X =, siis Eq(X) = { } on modulaarne, sest sisaldab vähem kui 5 elementi. Olgu X = {1}, siis Eq(X) = {{(1, 1)}} on modulaarne, sest sisaldab vähem kui 5 elementi. Olgu X = {1, 2}, siis Eq(X) = { X, X 2 } on modulaarne, sest sisaldab vähem kui 5 elementi. Olgu X = {1, 2, 3}, siis Eq(X) = { X, E 1, E 2, E 3, X 2 }, kus E 1 = {(1, 1)} {2, 3} 2 E 2 = {(2, 2)} {1, 3} 2 E 3 = {(3, 3)} {1, 2} 2 Kui Eq(X) ei oleks modulaarne, siis see sisaldaks võrega N 5 isomorfset alamvõret. Kuna Eq(X) = 5, siis viimane on võimalik vaid juhul, kui Eq(X) oleks ise isomorfne N 5 -ga. On lihtne veenduda, et Eq(X) ei ole isomorfne N 5 -ga, seega Eq(X) on modulaarne. Nüüd veendume, et kui X sisaldab vähemalt neli elementi, siis Eq(X) ei ole modulaarne. Olgu x 1, x 2, x 3, x 4 hulga X neli erinevat elementi. Tähistame M = {x 1, x 2, x 3, x 4 }. 3

Olgu E suvaline ekvivalentsusseos hulgal X \ M (na iteks (X \ M ) vo i (X \ M )2 ). Vaatleme hulgal X ja rgmisi ekvivalentsusseoseid. U = E {x1 }2 {x2 }2 {x3 }2 {x4 }2 A = E {x1, x2 }2 {x3 }2 {x4 }2 C = E {x1, x2 }2 {x3, x4 }2 B = E {x1, x3 }2 {x2, x4 }2 V = E {x1, x2, x3, x4 }2 Hulk S = {U, A, B, C, V } Eq(X) on kinnine u lemise ja alumise raja vo tmise suhtes, seega on alamvo re. See vo re on isomorfne vo rega N5. Kuna Eq(X) sisaldab alamvo ret, mis on isomorfne vo rega N5, siis Eq(X) ei ole modulaarne. 5. u lesanne (Lahenduse autor on toimetusele teada) Olgu Ω = Ω2 = {, } vo re signatuur ja X = {x, y}. Leiame ko ik esimese ja teise astme Ω-termid. Koostame tabeli nullinda, esimese ja teise astme (Ω, X)-termidest. Vastavalt definitsioonile on nullinda astme termid x ja y. Iga ja rgmise astme termid saame konstrueerida nii: vo tame eelmistest ridadest kaks (Ω, X)-termi, kusjuures va hemalt u ks nendest eelmisest reast, ja paneme nende vahele su mboli. Sama kordame su mboliga. 4

0-astme termid 1-astme termid 2-astme termid x, y x x, x y, y x, y y, x x, x y, y x, y y x (x x), x (x y), x (y x), x (y y), x (x x), x (x y), x (y x), x (y y), y (x x), y (x y), y (y x), y (y y), y (x x), y (x y), y (y x), y (y y), (x x) (x x), (x x) (x y), (x x) (y x), (x x) (y y), (x x) (x x), (x x) (x y), (x x) (y x), (x x) (y y), (x x) x, (x x) y, (x y) (x x), (x y) (x y), (x y) (y x), (x y) (y y), (x y) (x x), (x y) (x y), (x y) (y x), (x y) (y y), (x y) x, (x y) y, (y x) (x x), (y x) (x y), (y x) (y x), (y x) (y y), (y x) (x x), (y x) (x y), (y x) (y x), (y x) (y y), (y x) x, (y x) y, (y y) (x x), (y y) (x y), (y y) (y x), (y y) (y y), (y y) (x x), (y y) (x y), (y y) (y x), (y y) (y y), (y y) x, (y y) y, (x x) (x x), (x x) (x y), (x x) (y x), (x x) (y y), (x x) (x x), (x x) (x y), (x x) (y x), (x x) (y y), (x x) x, (x x) y, (x y) (x x), (x y) (x y), (x y) (y x), (x y) (y y), (x y) (x x), (x y) (x y), (x y) (y x), (x y) (y y), (x y) x, (x y) y, (y x) (x x), (y x) (x y), (y x) (y x), (y x) (y y), (y x) (x x), (y x) (x y), (y x) (y x), (y x) (y y), (y x) x, (y x) y, (y y) (x x), (y y) (x y), (y y) (y x), (y y) (y y), (y y) (x x), (y y) (x y), (y y) (y x), (y y) (y y), (y y) x, (y y) y, x (x x), x (x y), x (y x), x (y y), x (x x), x (x y), x (y x), x (y y), y (x x), y (x y), y (y x), y (y y), y (x x), y (x y), y (y x), y (y y), (x x) (x x), (x x) (x y), (x x) (y x), (x x) (y y), (x x) (x x), (x x) (x y), (x x) (y x), (x x) (y y), (x x) x, (x x) y, (x y) (x x), (x y) (x y), (x y) (y x), (x y) (y y), (x y) (x x), (x y) (x y), (x y) (y x), (x y) (y y), (x y) x, (x y) y, (y x) (x x), (y x) (x y), (y x) (y x), (y x) (y y), (y x) (x x), (y x) (x y), (y x) (y x), (y x) (y y), (y x) x, (y x) y, (y y) (x x), (y y) (x y), (y y) (y x), (y y) (y y), (y y) (x x), (y y) (x y), (y y) (y x), (y y) (y y), (y y) x, (y y) y, (x x) (x x), (x x) (x y), (x x) (y x), (x x) (y y), (x x) (x x), (x x) (x y), (x x) (y x), (x x) (y y), (x x) x, (x x) y, (x y) (x x), (x y) (x y), (x y) (y x), (x y) (y y), (x y) (x x), (x y) (x y), (x y) (y x), (x y) (y y), (x y) x, (x y) y, (y x) (x x), (y x) (x y), (y x) (y x), (y x) (y y), (y x) (x x), (y x) (x y), (y x) (y x), (y x) (y y), (y x) x, (y x) y, (y y) (x x), (y y) (x y), (y y) (y x), (y y) (y y), (y y) (x x), (y y) (x y), (y y) (y x), (y y) (y y), (y y) x, (y y) y

6. ülesanne (Lahenduse autor on toimetusele teada) Olgu f : A B ja g : A C universaalalgebrate homomorfismid, Ker(g) Ker(f) ja g sürjektiivne. Tõetsame, et leidub homomorfism h: C B nii, eg f = hg. Defineerime kujutuse h: C B järgnevalt. Olgu x C; et g on sürjektiivne, siis leidub a A nii, et g(a) = x. Defineerime siis h(x) = f(a). Veendume, et h on korrektselt defineeritud. Olgu x C, kusjuures a, b A on sellised, et g(a) = g(b) = x. Et h oleks korrektselt defineeritud peame veenduma, et f(a) = f(b). See on vahetu järeldus sellest, et Ker(g) Ker(f). On ilmne, et kehtib f = hg. Viimaks näitame, et h on universaalalgebrate homomorfism. Olgu n N \ {0}, ω Ω n ja x 1,..., x n C. Et g on sürjektiivne, siis leiduvad originaalid a 1,..., a n A nii, et iga i korral g(a i ) = x i. Saame h(ω C (x 1,..., x n ) = h(ω C (g(a 1 ),..., g(a n ))) = h(g(ω A (a 1,..., a n )) = f(ω A (a 1,..., a n )) = ω B (f(a 1 ),..., f(a n )) = ω B (h(g(a 1 )),..., h(g(a n ))) = ω B (h(x 1 ),..., h(x n )). Olgu ω Ω 0. Näitame, et h(0 C ω ) = 0 B ω. Et g on homomorfism, siis g(0 A ω ) = 0 C ω. Saame h(0 C ω ) = g(h(0 A ω )) = f(0 A ω ) = 0 B ω. 7. ülesanne (Lahenduse autor on toimetusele teada) Tõestame, et mistahes universaalalgebra A jaoks leidub universaalalgebra B nii, et Con(A) = Sub(B). Olgu A suvaline universaalalgebra; tähistame tema tüüpi sümboliga Ω. Defineerime algebra B järgmiselt. Põhihulk on B = A A; Tüüp on Ω, kus Tehted on defineeritud järgmiselt: Ω 0 = {1 a a A}; Ω 1 = Ω 1 {( ) 1 }; Ω 2 = Ω 2 { }; Ω n = Ω n iga n 3 korral. Iga n N \ {0}, ω Ω n ja (a 1, b 1 ),..., (a n, b n ) B korral ω B ((a 1, b 1 ),..., (a n, b n )) = (ω A (a 1,..., a n ), ω A (b 1,..., b n )). Iga 1 a, a A korral Iga (a, b) B korral 0 B 1 a = (a, a). (a, b) 1 = (b, a). 6

Iga (a, b), (c, d) B korral (a, b) (c, d) = { (a, d), kui b = c; (a, b), muudel juhtudel. Näitame, et Con(A) Sub(B). Olgu R Con(A) kongruents, siis R A A = B. Näitame, et alamhulk R on B tehete suhtes kinnine. Olgu n N \ {0}, ω Ω n ja (a 1, b 1 ),..., (a n, b n ) R; siis a 1 Rb 1,... a n Rb n. Et R on A tehetega kooskõlas saame, et ehk ω A (a 1,..., a n )Rω A (b 1,..., b n ) ω B ((a 1, b 1 ),..., (a n, b n )) = (ω A (a 1,..., a n ), ω A (b 1,..., b n )) R. Olgu a A, näitame, et 0 B 1 a R. Tõepoolest, et R on refleksiivne, siis ara ehk 0 B 1 a = (a, a) R. Olgu (a, b) R; näitame, et (a, b) 1 R. Et R on sümmeetriline, siis arb kehtivusest saame bra, mis tähendab, et (a, b) 1 = (b, a) R. Olgu (a, b), (c, d) R. Näitame, et (a, b) (c, d) R. Kui b c, siis (a, b) (c, d) = (a, b) R. Kui b = c, siis (a, b) (c, d) = (a, d). Et (a, b) R ja (b, d) R, siis R transitiivsuse tõttu tõepooolest (a, d) R. Seega R Sub(B). Näitame, et Sub(B) Con(A). Olgu R Sub(B) alamalgebra. Näitame, et vaadelduna seosena on ta kongruents. Refleksiivsus. Olgu a A ja näitame, et ara. Et R on alamalgebra, siis 0 B 1 a = (a, a) R. Sümmeetria. Olgu (a, b) R. Näitame, et (b, a) R. Et R on alamalgebra, siis (a, b) 1 = (b, a) R. Transitiivsus. Olgu (a, b), (b, c) R. Näitame, et (a, c) R. Et R on alamalgebra, siis (a, b) (b, c) = (a, c) R. Kooskõla tehetega. Olgu n N \ {0}, ω Ω n ja a 1,..., a n, b 1,..., b n A, kusjuures (a 1, b 1 ),..., (a n, b n ) R. Siis et R on alamalgebra, ω B ((a 1, b 1 ),..., (a n, b n )) = (ω A (a 1,..., a n ), ω A (b 1,..., b n )) R. Seega R Con(A). Järelikult Con(A) = Sub(B). 8. ülesanne (Martin Puškin) Näeme, et S on kommutatiivne, assotsiatiivne ja kehtib, et x 3 = x 4 (kust x k = x 3 k 3). Seega on igal muutkonnal, mis sisaldab poolrühma S, need samasused. Täheldame, et poolrühmas S ei kehti samasused x 2 = x, x 3 = x, x 3 = x 2, 7

sest valides x = 2 saame igal juhul vastuolu. Oletame, et poolrühmal S on veel mingi samasus, nt t 1 (x 1, x 2,..., x n ) t 2 (x 1, x 2,..., x n ). Täheldame, et kuna meil on kommutatiivsus ja assotsiatiivsus, on samasus kujul x k1 1 xk2 2... xkm m x l1 1 xl2 2... xlp p, (1) kus k i, l i N ning üldistust kitsendamata m p n. Täheldame, et poolrühm S on tegelikult monoid ühikelemendiga 3. Valime nüüd samasuses (1) muutuja x 1 väärtuseks 2 ja ülejäänud muutujate väärtuseks 3. Siis saame, et 2 k1 = 2 l1, kust järeldame, et kas k 1, l 1 3 või k 1 = l 1. Analoogselt saame iga k i, l i jaoks, kus i, j m. Seega samasuse x 3 = x 4 tõttu x ki i = x li i, i m. Olgu nüüd p > m. Võtame x i = 3, i m ja x m+1 = 0. Siis on vasakpoolse termi väärtus 3, kuid parempoolse väärtus 0. Seega samasus ei kehti ja saame, et p = m. Kokkuvõttes järeldasime, et see samasus on tuletatav etteantud samasustest ja järelikult ongi S poolt tekitatud muutkonnas täpselt sellised poolrühmad, mis täidavad antud samasusi. 8