# All Science Fair Projects

## Science Fair Project Encyclopedia for Schools!

 Search    Browse    Forum  Coach    Links    Editor    Help    Tell-a-Friend    Encyclopedia    Dictionary

# Science Fair Project Encyclopedia

For information on any area of science that interests you,
enter a keyword (eg. scientific method, molecule, cloud, carbohydrate etc.).
Or else, you can start by choosing any of the categories below.

# Antihomomorphism

(Redirected from Antiautomorphism)

In mathematics, an antihomomorphism is a type of function defined on sets with multiplication that reverses the order of multiplication. An antiautomorphism is an antihomomorphism that is a bijection from an object to itself.

In group theory, an antihomomorphism is a map between two groups that reverses the order of multiplication. So if φ : XY is a group antihomomorphism,

φ(xy) = φ(y)φ(x)

for all x,y in X.

The map that sends x to x-1 is an example of a group antiautomorphism.

In ring theory, an antihomomorphism is a map between two rings that preserves addition, but reverses the order of multiplication. So if φ : XY is a ring homomorphism,

φ(x+y) = φ(x)+φ(y)
φ(xy) = φ(y)φ(x)

for all x,y in X. For algebras over a field K, φ must be a K-linear map of the underlying vector space.

The operation of matrix transpose is an example of a ring antiautomorphism.

Note that if the multiplication in the range of φ is commutative than an antihomomorphism is the same thing as a homomorphism and an antiautomorphism is the same thing as an automorphism.

One can also define an antihomomorphism as an homomorphism from X to the opposite object Yop (which is identical to X but with multiplication reversed).

The composition of two antihomomorphisms is always an homomorphism, since reversing the order twice preserves order. The composition of an antihomomorphism with an automorphism gives another antiautomorphism.

It is frequently the case that antiautomorphisms are involutions, i.e. the square of the antiautomorphism is the identity map.

## Examples

03-10-2013 05:06:04