Algebraic Substructures in Cm

Abstract

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...

Název práce: Algebraické podstruktury v ℂ Autor: Vítězslav Kala Katedra: Katedra algebry Vedoucí disertační práce: Prof. RNDr. Tomáš Kepka, DrSc., Katedra algebry Abstrakt: Tato práce je zaměřena na studium struktury konečně generovaných polookruhů, parapolotěles a dalších algebraických struktur za použití geomet- rických metod založených na algebraických podstrukturách Euklidovského pro- storu ℂ . Parapolotělesu , které je konečně generované jako polookruh, přiřadíme vhod- nou podpologrupu pologrupy ℕ0 (definovanou pomocí prvků takových, že + = pro nějaké ∈ a ∈ ℕ). Algebraické a geometrické vlastnosti obsahují důležité informace o struktuře ; použijeme jich k důkazu, že pokud je parapolotěleso 2-generované jako polookruh, pak je aditivně idempotentní. Uvedeme také okruhové přeformulování této hypotézy pro případ -generovaných polookruhů. Dále klasifikujeme všechna aditivně idempotentní parapolotělesa, která jsou ko- nečně generovaná jako polookruh, za použití skutečnosti, že odpovídají třídě jistých konečně generovaných unitálních svazově uspořádaných grup. Ty nedávno klasifikovali Busaniche, Cabrer a Mundici [4] pomocí kombinatorických a geomet- rických "hvězdných posloupností", což jsou posloupnosti...