Formula automorphism

From Groupprops
Revision as of 12:03, 30 June 2009 by Vipul (talk | contribs) (Created page with '{{wikilocal}} {{variety-algebra automorphism property}} ==Definition== Let <math>\mathcal{V}</math> be a variety of algebras and <math>A</math> be an algebra in <math>\math…')
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
BEWARE! This term is nonstandard and is being used locally within the wiki. [SHOW MORE]
This article defines a property that can be evaluated for an automorphism of an algebra in a variety of algebras. The evaluation of that property depends on the ambient variety, and not just on the automorphism or the algebra.
View all such properties


Let \mathcal{V} be a variety of algebras and A be an algebra in \mathcal{V}. A formula automorphism is an automorphism of A given by:

x \mapsto f(x, x_2, x_3, \dots, x_n)

where f is a word (or expression) in the x_is, using the operations of \mathcal{V}, and the x_i are elements of A.

A strong formula automorphism is a formula automorphism whose inverse is also a formula automorphism.

Particular cases

For groups

In the case of groups, the formula automorphisms are called monomial automorphisms. An automorphism such that both that and its inverse are monomial is termed a strong monomial automorphism.

Relation with other properties

Stronger properties

Weaker properties