Page 1 Next

Displaying 1 – 20 of 72

Showing per page

Radical decompositions of semiheaps

Ian Hawthorn, Tim Stokes (2009)

Commentationes Mathematicae Universitatis Carolinae

Semiheaps are ternary generalisations of involuted semigroups. The first kind of semiheaps studied were heaps, which correspond closely to groups. We apply the radical theory of varieties of idempotent algebras to varieties of idempotent semiheaps. The class of heaps is shown to be a radical class, as are two larger classes having no involuted semigroup counterparts. Radical decompositions of various classes of idempotent semiheaps are given. The results are applied to involuted I-semigroups, leading...

Recursive coalgebras of finitary functors

Jiří Adámek, Dominik Lücke, Stefan Milius (2007)

RAIRO - Theoretical Informatics and Applications

For finitary set functors preserving inverse images, recursive coalgebras A of Paul Taylor are proved to be precisely those for which the system described by A always halts in finitely many steps.

Rees ideal algebras

Ivan Chajda (1997)

Mathematica Bohemica

We describe algebras and varieties for which every ideal is a kernel of a one-block congruence.

Regular elements and Green's relations in Menger algebras of terms

Klaus Denecke, Prakit Jampachon (2006)

Discussiones Mathematicae - General Algebra and Applications

Defining an (n+1)-ary superposition operation S n on the set W τ ( X n ) of all n-ary terms of type τ, one obtains an algebra n - c l o n e τ : = ( W τ ( X n ) ; S n , x 1 , . . . , x n ) of type (n+1,0,...,0). The algebra n-clone τ is free in the variety of all Menger algebras ([9]). Using the operation S n there are different possibilities to define binary associative operations on the set W τ ( X n ) and on the cartesian power W τ ( X n ) n . In this paper we study idempotent and regular elements as well as Green’s relations in semigroups of terms with these binary associative operations...

Regular lattices

Ivan Chajda (1993)

Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica

Currently displaying 1 – 20 of 72

Page 1 Next