# 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…')

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

## Definition

Let be a variety of algebras and be an algebra in . A **formula automorphism** is an automorphism of given by:

where is a word (or expression) in the s, using the operations of , and the are elements of .

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.