Anti-homomorphism
查看历史
Share
Flag

In mathematics, an antihomomorphism is a type of function defined on sets with multiplication that reverses the order of multiplication. An antiautomorphism is an invertible antihomomorphism, i.e. an antiisomorphism, from a set to itself. From bijectivity it follows that antiautomorphisms have inverses, and that the inverse of an antiautomorphism is also an antiautomorphism.

1. Idea

While a homomorphism of magmas (including groups, rings, etc) must preserve multiplication, an antihomomorphism must instead reverse multiplication.

2. Definition

Informally, an antihomomorphism is a map that switches the order of multiplication. Formally, an antihomomorphism between structures and is a homomorphism , where equals as a set, but has its multiplication reversed to that defined on . Denoting the (generally non-commutative) multiplication on by , the multiplication on , denoted by , is defined by . The object is called the opposite object to (respectively, opposite group, opposite algebra, opposite category etc.).

This definition is equivalent to that of a homomorphism (reversing the operation before or after applying the map is equivalent). Formally, sending to and acting as the identity on maps is a functor (indeed, an involution).

3. Examples

In group theory, an antihomomorphism is a map between two groups that reverses the order of multiplication. So if is a group antihomomorphism, for all in .

The map that sends to is an example of a group antiautomorphism. Another important example is the transpose operation in linear algebra, which takes row vectors to column vectors. Any vector-matrix equation may be transposed to an equivalent equation where the order of the factors is reversed.

With matrices, an example of an antiautomorphism is given by the transpose map. Since inversion and transposing both give antiautomorphisms, their composition is an automorphism. This involution is often called the contragredient map, and it provides an example of an outer automorphism of the general linear group , where is a field, except when and or , or and (i.e., for the groups , , and ).

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

for all in .

For algebras over a field , must be a -linear map of the underlying vector space. If the underlying field has an involution, one can instead ask to be conjugate-linear, as in conjugate transpose, below.

Related

An introduction to anti-homomorphisms of groups

It is known that the homomorphisms between group preserve products. However, the anti-homomorphisms between groups invert products in contrast to the homomorphisms. In this article, we briefly introduce the notion of anti-homomorphisms of groups, and we will study anti-homomorphisms of rings in the next article.1. Anti-homomorphisms of groups.In this section, all groups are not necessarily abelian. For simplicity, we will simply call anti-homomorphism instead of anti-homomorphism of groups.Definition 1. An anti-homomorphism is a mapping such that for all .Anti-homomorphism preserves identity elements, inverses, and powers, which can be readily proved.Proposition 2. If is an anti-homomorphism of groups, then , , and , for all .Compared to monomorphisms, epimorphisms, and isomorphisms of groups, we could define anti-monomorphisms, anti-epimorphisms and anti-isomorphisms. Before that, first consider the following proposition:Proposition 3. If is a bijective anti-homomorphism of groups, then its inverse bijection is also an anti-homomorphism of groups.Definition 4. An anti-monomorphism of groups is an injective anti-homomorphism of groups. An anti-epimorphism of groups is a surjective anti-homomorphism of groups. An anti-isomorphism of groups is a bijective anti-homomorphism of groups. Two groups and are called anti-isomorphic when there exists an anti-isomorphism . If is an anti-isomorphism, then its inverse is called its anti-inverse.Next, we define kernels and images of anti-homomorphisms.Definition 5. Let be an anti-homomorphism of groups. Then the kernel of is The image of isWe note some propositions about kernel, cokernel, and image of an anti-homomorphism of groups.Proposition 6. Let be an anti-homomorphism of groups. Then is a normal subgroup of and is a subgroup of .Proof. We just prove that as a subgroup of is normal. Since in Anti-homomorphism in Rings, we have if and only if for any . Then if and only if , which shows that is normal in .Proposition 7. Let be an anti-homomorphism of groups. Then is an anti-monomorphism if and only if . And is an anti-epimorphism if and only if .
2024-04-25 21:12:15

Anti-homomorphism in Rings

ABSTRACTIn this chapter, the concept of anti-homomorphisms in Rings is studied and many results are established.INTRODUCTIONThe concept of anti–homomorphism in groups and rings is not found much in the literature. Authors like Jocobson Neal McCoy and Zariski and Samul have touched this concept in a lighter way. The reason is perhaps that the composition of two anti-homomorphisms is not an anti-homomorphism, but a homomorphism. This discouraged the mathematicians to move further. In 2006, G. Gopalakrishnamoorthy defined a new composition of two anti-homomorphisms so that the composition of two anti-homomorphisms with respect to the new composition is again an anti-homomorphism. In this paper we study the concept of anti-homomorphisms in Rings. Definition. Let and be two Rings (not necessarily commutative). A map is said to be an anti-homomorphism if i) and ii) for all . Definition. Let be an anti-homomorphism of Rings. (a) If is one-one, we say is an anti-monomorphism. (b) If is onto, we say is an anti-epimorphism. (c) If is both one-one and onto, we say is an anti-isomorphism. (d) If and is onto, we say is an anti-endomorphism on . (e) If and is both one-one and onto, we say is an anti-automorphism on . Property 1: Let be a map. Let be subsets of . Then (i) (ii) (iii) (iv) (v) Property 2: Let be a map. Let be subsets of . Then (i) (ii) (iii) (iv) (v) (vi) (vii) Theorem : Let be an anti-homomophism of rings. Then the following hold(i) (ii) (iii) for all , and Proof: (i) (ii) (iii) Assume . Theorem : An anti-homomorphism is a homomorphism if and only if is a commutative subring of .Proof: Let be an anti-homomorphism of rings. Assume is commutative subring of . Then for all . Thus, is a commutative subring of such that is a homomorphism. Conversely, assume that is a homomorphism. Let be any two elements. Then for some for some . Now Hence is a commutative subring of R2. Theorem : Let be an anti-homomorphism of rings. Then (i) is a subring of . (ii) is a subring of . Proof: (i) Since is non-empty, is non-empty.Let . Then a = f(x) for some , and for some .Then Also Thus is a subring of . Theorem : Let be an anti-homomorphism of rings. For all iff . Theorem : Let be an anti-homomophism of rings. Then is one-one iff .
2024-08-20 17:46:28