
Lattice constructions and Priestley duality
Hartman, Juraj ; Růžička, Pavel (advisor) ; Tůma, Jiří (referee)
In this thesis after recalling some basic definitions and theorems in category theory, lattice theory and topology we first introduce the so called Stone duality of the category of boolean lattices and the category of boolean topological spaces. Then we introduce its generalization, the so called Priestley duality of the category of bounded distributive lattices and the category of total order disconnected topological spaces. Then we introduce the M3[.] lattice construction and prove that for every bounded distributive lattice L there is an isomorphism from the lattice M3[L] to the lattice of all continuous monotone maps from the Priestley space of L to the lattice M3 with discrete topology. Finally we introduce the so called boolean power, which we generalize to the so called priestley power and we prove that for every natural number n ≥ 3 and every bounded distributive lattice L there is an isomorphism from the lattice Mn to the priestley power of the lattice Mn by the lattice L. 1


Rational linear dependencies of periodic points of the logistic map
Mik, Matěj ; Žemlička, Jan (advisor) ; Růžička, Pavel (referee)
Periodn points of a polynomial f are roots, and hence elements of the splitting field, of the polynomial fn (x) − x, where fn denotes the nth iterate of f. In the thesis, we will focus on describing rational linear dependencies of periodn points of the polynomial f(x) = 4x(1 − x), which defines the socalled logistic map. We will present a description of the dependencies for n = 1, . . . , 5 and a partial result for n = 6. We will be using computer calculated factorizations of polynomials over rational numbers and some finite field extensions. The factorizations will give us coordinates of the periodic points relative to some basis of their linear span, which will allow us to use a simple way of describing their dependencies. In the end of the thesis, we will put together an algorithm for describing the dependencies for a general n.


Sanitation installation and gas installation in a apartment building
Růžička, Pavel ; Vaščáková, Alena (referee) ; Vrána, Jakub (advisor)
The aim of the Bachelor thesis is a design of sanitary installations and gas installations in the apartment building. It is a fourfloor apartment building without a cellar. The apartments are located on all overground floors. The theoretical part is focused on infiltration of rainwater. The computation part and project includes a design of sanitary and storm sewers, water supply network, gas main a and their connection to existing utility lines.


Algorithms for factorization of integers of particular form
Lorenc, Filip ; Příhoda, Pavel (advisor) ; Růžička, Pavel (referee)
This bachelor thesis deals with three factorization algorithms  Pollard p1 method, Williams p+1 method and elliptic curve method ECM. This work aims to describe these algorithms theoretically and then compare them on real inputs. For each algorithm we describe its basic and extended version and then we derive their time complexity. In the first chapter we define Bpowersmooth and Bsmooth number and we state their approximation. The second, third and fourth chapter is about description of algorithms and in the last chapter we compare their effectiveness and performance. A part of the work contains basic theory about elliptic curves, which is necessary in ECM. There is also included a program containing all these algorithms.


Presentations of subgroups
Jakubec, Tomáš ; Růžička, Pavel (advisor) ; Kazda, Alexandr (referee)
This bachelor thesis shows, how to create the presentation of subgroup, if the presentation of group is known by ReidemeisterSchreier method. At first, a term presentation of group is defined and then the text shows, how to obtain the group, which is isomorphic to the original group, from this presentation and how the presentation can be changed, although the group, which is ob tained from the presentation, stays same. Then the text finds presentation of subgroup from the presentation of group, however this presentation cannot be in general used in practice. The obtained presentation of subgroup can be simplified by Reidemeister theorem, Schreier theorem and appropriate genera tors of subgroup. This thesis also contains solved examples of application of ReidemeisterSchreier method. The text is intended as an educational material for students of combinatorial group theory. 1


Algorithms for the computation of Galois groups
Kubát, David ; Žemlička, Jan (advisor) ; Růžička, Pavel (referee)
This thesis covers the topic of the computation of Galois groups over the rationals. Beginning with the classic algorithm by R. Stauduhar, we then review the theory necessary to explain the modular algorithm by K. Yokoyama. More precisely, we discuss the notion of the universal splitting ring of a polynomial. For a separable polynomial, we then study idempotents in the universal splitting ring. The modular algorithm involves computations in the ring of padic integers. Examples are given for polynomials of degree 3 and 4.


Discrete linear dynamical systems with control
Procházková, Zuzana ; Tůma, Jiří (advisor) ; Růžička, Pavel (referee)
Discrete linear dynamical systems with control Author: Zuzana Procházková Department: Department of Algebra Supervisor: doc. RNDr. Jiří Tůma, DrSc., Department of Algebra Abstract: In this thesis we describe elementary property of discrete linear dyna mical system. We define discrete linear dynamical system with control and its controllability and then we define descrete linear dynamical system with output and its observability. After that we show the duality of observability and con trollability with definition of dual system and its description. There are three problems solved in the last chapter. 1


Plane geometry problems solved by algebraic geometry
Trummová, Ivana ; Šťovíček, Jan (advisor) ; Růžička, Pavel (referee)
In this thesis I focus on a certain part of algebraic geometry which studies plane curves and their intersection points. The main part is a proof of Bézout's theorem and an overview of its corollaries, which have an interesting geometric visualization. The most important corollary is the proof of associativity of adding points on elliptic curves. This fact is widely used in modern cryptography. 21


Coordinate Systems for GPS
Žváčková, Magdaléna ; Tůma, Jiří (advisor) ; Růžička, Pavel (referee)
V této práci se zabýváme souřadnicemi, které získáváme z GPS, běžně pou žívanými geodetickými souřadnicemi a tím, jak je mezi sebou převést. Nejprve jsou nalezeny vzorce pro převod z geodetických do kartézských a ty jsou poté řešeny jako soustava rovnic. Na to je použito několik numerických metod. Na zá kladě toho získáváme návod na to, jak převádět souřadnicové systémy mezi sebou. Dále se v krátkosti seznámíme s principy GPS, jak můžeme Zemi aproximovat a nakonec, jak převést povrch Země do mapy. 1


Using algebra in geometry
Paták, Pavel ; Růžička, Pavel (advisor) ; Šmíd, Dalibor (referee) ; Blagojevic, Pavle (referee)
Using algebra in geometry Pavel Paták Department: Department of Algebra Supervisor: Mgr. Pavel Růžička, Ph.D., Department of Algebra 1 Abstract In this thesis, we develop a technique that combines algebra, algebraic topology and combinatorial arguments and provides nonembeddability results. The novelty of our approach is to examine non embeddability arguments from a homological point of view. We illustrate its strength by proving two interesting theorems. The first one states that kdimensional skeleton of b 2k+2 k + k + 3 dimensional simplex does not embed into any 2kdimensional manifold M with Betti number βk(M; Z2) ≤ b. It is the first finite upper bound for Kühnel's conjecture of nonembeddability of simplices into manifolds. The second one is a very general topological Helly type theorem for sets in Rd : There exists a function h(b, d) such that the following holds. If F is a finite family of sets in Rd such that ˜βi ( G; Z2) ≤ b for any G F and every 0 ≤ i ≤ d/2 − 1, then F has Helly number at most h(b, d). If we are only interested whether the Helly numbers are bounded or not, the theorem subsumes a broad class of Helly types theorems for sets in Rd . Keywords: Homological Nonembeddability, Helly Type Theorem, Kühnel's conjecture of nonembeddability of ske leta of simplices into manifolds
