Namespaces
Variants
Actions

Unary algebra

From Encyclopedia of Mathematics
Revision as of 17:27, 7 February 2011 by 127.0.0.1 (talk) (Importing text file)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

unoid

A universal algebra with a family of unary operations . An important example of a unary algebra arises from a group homomorphism from an arbitrary group into the group of all permutations of a set . Such a homomorphism is called an action of the group on . The definition, for each element , of a unary operation as the permutation in corresponding to the element under the homomorphism yields a unary algebra , in which

Every module over a ring carries a unary algebra structure. Every deterministic semi-automaton (cf. Automaton, algebraic theory of) with set of states and input symbols may also be considered as a unary algebra , where is the state onto which the state is mapped by the action of the input symbol .

A unary algebra with a single basic operation is called mono-unary, or a unar. An example of a unar is the Peano algebra , where and .

The identities of an arbitrary unary algebra can only be of the following types:

. ,

. ,

. ,

. ,

. ,

. .

The identity is equivalent to , being satisfied only by a -element algebra. A variety of unary algebras defined only by identities of the form , or is said to be regular. There exists the following link between regular varieties of unary algebras and semi-groups (cf. [1], [3], [4]).

Let be a regular variety of unary algebras given by a set , , of function symbols and a set of identities. Each symbol corresponds to an element , and for every identity of the form from one writes the defining relation

Let be the semi-group with generators , , and the above defining relations, and let be the semi-group with an identity adjoined. For every relation of the form in (if they are any) one writes the defining relation as . The semi-group obtained from by adjoining these defining relations is said to be associated with the variety . There are many ways of characterizing this variety. If contains only identities of the form , then one may restrict oneself to the construction of . By defining a unary operation in one obtains a unary algebra , which is a -free algebra of rank 1. The group of all automorphisms of the unary algebra is isomorphic to the group of invertible elements of the semi-group .

References

[1] A.I. Mal'tsev, "Algebraic systems" , Springer (1972–1973) (Translated from Russian)
[2] G. Birkhoff, T. Bartee, "Modern applied algebra" , McGraw-Hill (1970)
[3] D.M. Smirnov, "Regular varieties of algebras" Algebra and Logic , 15 : 3 (1976) pp. 207–213 Algebra i Logika , 15 : 3 (1976) pp. 331–342
[4] D.M. Smirnov, "Correspondence between regular varieties of unary algebras and semigroups" Algebra and Logic , 17 : 4 (1978) pp. 310–315 Algebra i Logika , 17 : 4 (1978) pp. 468–477
[5] B. Jónsson, "Topics in universal algebra" , Springer (1972)


Comments

Regular varieties of unary algebras can be characterized in categorical terms, as those for which the forgetful functor to the category of sets preserves coproducts (that is, such that the coproduct of a family of algebras in the variety is carried by the disjoint union of their carrier sets). The semi-group associated with such a variety can also be recovered categorically, without having recourse (as in the main article above) to a specific presentation of the variety by operations and identities: it is the semi-group of endomorphisms of the forgetful functor from the variety to sets.

How to Cite This Entry:
Unary algebra. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Unary_algebra&oldid=49063
This article was adapted from an original article by D.M. Smirnov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article