Displaying 101 – 120 of 1398

Showing per page

Affine spaces as models for regular identities

Jung R. Cho, Józef Dudek (2002)

Colloquium Mathematicae

In [7] and [8], two sets of regular identities without finite proper models were introduced. In this paper we show that deleting one identity from any of these sets, we obtain a set of regular identities whose models include all affine spaces over GF(p) for prime numbers p ≥ 5. Moreover, we prove that this set characterizes affine spaces over GF(5) in the sense that each proper model of these regular identities has at least 13 ternary term functions and the number 13 is attained if and only if the...

Algebraic and graph-theoretic properties of infinite n -posets

Zoltán Ésik, Zoltán L. Németh (2005)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

A Σ -labeled n -poset is an (at most) countable set, labeled in the set Σ , equipped with n partial orders. The collection of all Σ -labeled n -posets is naturally equipped with n binary product operations and n ω -ary product operations. Moreover, the ω -ary product operations give rise to n ...

Algebraic and graph-theoretic properties of infinite n-posets

Zoltán Ésik, Zoltán L. Németh (2010)

RAIRO - Theoretical Informatics and Applications

A Σ-labeled n-poset is an (at most) countable set, labeled in the set Σ, equipped with n partial orders. The collection of all Σ-labeled n-posets is naturally equipped with n binary product operations and nω-ary product operations. Moreover, the ω-ary product operations give rise to nω-power operations. We show that those Σ-labeled n-posets that can be generated from the singletons by the binary and ω-ary product operations form the free algebra on Σ in a variety axiomatizable by an infinite collection...

Algebraic approach to locally finite trees with one end

Bohdan Zelinka (2003)

Mathematica Bohemica

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

Currently displaying 101 – 120 of 1398