Bohdan Zelinka, Department of Applied Mathematics, Faculty of Education, Technical University of Liberec, Voronezska 13, 460 01 Liberec, Czech Republic, e-mail: email@example.com
Abstract: Let $T$ be an infinite locally finite tree. We say that $T$ has exactly one end, if in $T$ any two one-way infinite paths have a common rest (infinite subpath). The paper describes the structure of such trees and tries to formalize it by algebraic means, namely by means of acyclic monounary algebras or tree semilattices. In these algebraic structures the homomorpisms and direct products are considered and investigated with the aim of showing, whether they give algebras with the required properties. At the end some further assertions on the structure of such trees are stated, without the algebraic formalization.
Keywords: locally finite tree, one-way infinite path, acyclic monounary algebra, tree semilattice
Classification (MSC2000): 05C05, 05C20, 08A60, 20M10
Full text of the article: