This dissertation is devoted to the groups generated by automata. The first part of the dissertation deals with L-presentations for such groups. We describe the sufficient condition for an essentially free automaton group to have an L-presentation. We also find the L-presentation for several other groups generated by three-state automata, and we describe the defining relations in the Grigorchuk groups G_w. In case when the sequence w is almost periodic these relations provide an L-presentation for the group G_w. We also describe defining relations in the series of groups which contain Grigorchuk-Erschler group and the group of iterated monodromies of the polynomial z^2 + i. The second part of the dissertation considers groups generated by 3-state automata over the alphabet of 2 letters and 2-state automata over the 3-letter alphabet. We continue the classification work started by the research group at Texas A&M University ([BGK+07a, BGK+07b]) and further reduce the number of pairwise nonisomorphic groups generated by 3-state automata over the 2-letter alphabet. We also study the groups generated by 2-state automata over the 3-letter alphabet and obtain a number of classification results for this class of group.

A clone is a set of finitary operations closed under composition and contain- ing all projections. We say it is finitely generated if there exist a finite subset {f1, . . . , fn} such that all the other operations can be expressed as compositions of f1, . . . , fn. We present examples of finitely and non-finitely genreated clones on finite sets. First, we demonstrate an explicit construction of operations in finitely generated clones. Secondly, we define relations such that the clones of compatible operations have restricted essential arity, and discuss several modifi- cations. Lastly, for every binary operation f which cannot be composed to yield an essentially ternary operation, we find a maximal clone of essentially at most binary operations containing f. 1

<p>&nbsp / </p> <p align="left">The groups we consider in this study belong to the class <font face="F30">X</font><font face="F25" size="1"><font face="F25" size="1">0 </font></font><font face="F15">of all finitely generated groups with finite commutator subgroups.</font></p>

<p>&nbsp / </p> <p align="left">The groups we consider in this study belong to the class <font face="F30">X</font><font face="F25" size="1"><font face="F25" size="1">0 </font></font><font face="F15">of all finitely generated groups with finite commutator subgroups.</font></p>

Magister Scientiae - MSc / The groups we consider in this study belong to the class X0 of all nitely generated groups with nite commutator subgroups. We shall eventually narrow down to the groups of the form T owZn for some n 2 N and some nite abelian group T. For a X0-group H, we study the non-cancellation set, (H), which is de ned to be the set of all isomorphism classes of groups K such that H Z = K Z. For X0-groups H, on (H) there is an abelian group structure [38], de ned in terms of embeddings of K into H, for groups K of which the isomorphism classes belong to (H). If H is a nilpotent X0-group, then the group (H) is the same as the Hilton-Mislin (see [10]) genus group G(H) of H. A number of calculations of such Hilton-Mislin genus groups can be found in the literature, and in particular there is a very nice calculation in article [11] of Hilton and Scevenels. The main aim of this thesis is to compute non-cancellation (or genus) groups of special types of X0-groups such as mentioned above. The groups in question can in fact be considered to be direct products of metacyclic groups, very much as in [11]. We shall make extensive use of the methods developed in [30] and employ computer algebra packages to compute determinants of endomorphisms of nite groups. / South Africa

We investigate commutative semirings, which are formed by a ground set equipped with two binary associative and commutative operations such that one distributes over the other. We narrow down our interest to ideal-simple semirings, that is, semirings without proper ideals. We present the classification of ideal-simple semirings and deal with some classes of ideal-simple semirings, namely semifields and parasemifields. The main result of this thesis is giving tight bounds on the minimal number of generators needed to generate a parasemifield as a semiring. We also study how the semifields that are finitely generated as a semiring look like. Last, but not least, we show that every finitely generated ideal-simple semiring is finitely-generated as a multiplicative semigroup.

京都大学 / 新制・課程博士 / 博士(理学) / 甲第24395号 / 理博第4894号 / 新制||理||1699(附属図書館) / 京都大学大学院理学研究科数学・数理解析専攻 / (主査)教授 玉川 安騎男, 教授 並河 良典, 教授 望月 新一 / 学位規則第4条第1項該当 / Doctor of Science / Kyoto University / DGAM

Title: Algebraic Substructures in ℂ Author: Vítězslav Kala Department: Department of Algebra Supervisor: Prof. RNDr. Tomáš Kepka, DrSc., Department of Algebra Abstract: We study the structure of finitely generated semirings, parasemifields and other algebraic structures, developing and applying tools based on the geom- etry of algebraic substructures of the Euclidean space ℂ . To a parasemifield which is finitely generated as a semiring we attach a certain subsemigroup of the semigroup ℕ0 (defined using elements such that + = for some ∈ and ∈ ℕ). Algebraic and geometric properties of carry important structural information about ; we use them to show that if a parasemifield is 2-generated as a semiring, then it is additively idempotent. We also provide a ring-theoretic reformulation of this conjecture in the case of -generated semirings. We also classify all additively idempotent parasemifields which are finitely gen- erated as semirings by using the fact that they correspond to certain finitely generated unital lattice ordered groups. Busaniche, Cabrer, and Mundici [4] re- cently classified these using the combinatorial and geometric notion of a stellar sequence which is a sequences of certain simplicial complexes in [0, 1] . We use their results to prove that each such parasemifield is a finite product of...

>Magister Scientiae - MSc / The groups we consider in this study belong to the class Xo of all finitely generated groups with finite commutator subgroups. We shall eventually narrow down to the groups of the form T)<lw zn for some nE N and some finite abelian group T. For a Xo-group H, we study the non-cancellation set, X(H), which is defined to be the set of all isomorphism classes of groups K such that H x Z ~ K x Z. For Xo-groups H, on X(H) there is an abelian group structure [38], defined in terms of embeddings of K into H, for groups K of which the isomorphism classes belong to X(H). If H is a nilpotent Xo-group, then the group X(H) is the same as the Hilton-Mislin (see [10]) genus group Q(H) of H. A number of calculations of such Hilton-Mislin genus groups can be found in the literature, and in particular there is a very nice calculation in article [11] of Hilton and Scevenels. The main aim of this thesis is to compute non-cancellation (or genus) groups of special types of .Xo-groups such as mentioned above. The groups in question can in fact be considered to be direct products of metacyclic groups, very much as in [11]. We shall make extensive use of the methods developed in [30] and employ computer algebra packages to compute determinants of endomorphisms of finite groups.

The thesis deals with subsemigroups of (Nm 0 , +), a special discussion is later devoted to the cases m = 1, m = 2 and m = 3. We prove that a subsemigroup of Nm 0 is finitely generated if and only if its generated cone is finitely generated (equivalently polyhedral) and we describe basic topological properties of such cones. We give a few examples illustrating that conditions sufficient for finite generation in N2 0 can not be easily trans- ferred to higher dimensions. We define the Hilbert basis and the related notion of Carathéodory's rank. Besides their basic properties we prove that Carathédory's rank of a subsemigroup of Nm 0 , m = 1, 2, 3, is less than or equal to m. A particular attention is devoted to the subsemigroups containing non-trivial subsemigroups of "subtractive" elements.