Inverzní pologrupy /
V této bakalářské práci se věnujeme inverzním pologrupám, volným inverzním pologrupám a problému konzistence systémů rovnic nad volnou inverzní pologrupou. V práci představíme inverzní pologrupy a jejich vlastnosti, především pak Wagnerovu-Prestonovu větu. Poté se zaměříme na volné inverzní pologrup...
Uloženo v:
| Hlavní autor: | |
|---|---|
| Další autoři: | |
| Typ dokumentu: | VŠ práce nebo rukopis |
| Jazyk: | Čeština |
| Vydáno: |
2016
|
| Témata: | |
| On-line přístup: | http://is.muni.cz/th/409011/prif_b/ |
| Shrnutí: | V této bakalářské práci se věnujeme inverzním pologrupám, volným inverzním pologrupám a problému konzistence systémů rovnic nad volnou inverzní pologrupou. V práci představíme inverzní pologrupy a jejich vlastnosti, především pak Wagnerovu-Prestonovu větu. Poté se zaměříme na volné inverzní pologrupy a dva způsoby, kterými se konstruují. Na závěr se zmíníme o problému řešitelnosti soustav nad nemonogenickou volnou inverzní pologrupou. Navíc pak ukážeme základní myšlenky důkazu nerozhodnutelnosti diofantické teorie, z čehož plyne nerozhodnutelnost našeho problému řešitelnosti. In this thesis we study inverse semigroups, free inverse semigroups and the solution of systems of equations over free inverse semigroup. The thesis introduces inverse semigroups and their properties, in particular the Wagner-Preston theo- rem. Afterwards we focus on free inverse semigroups and two different ways of their construction. At the end of this thesis is discussed the solvability of systems of equations over nonmonogenic free inverse semigroup. Moreover we present main ideas of the proof of the undecidability of diophantine theory which shows the undecidability of our problem of solvability. |
|---|---|
| Popis jednotky: | Vedoucí práce: Ondřej Klíma |
| Fyzický popis: | 39 listů |