## Opposite Ring and Antihomomorphism

**Point of Post: **In this post we discuss the notion of opposite rings and antihomomorphisms and prove some basic theorems regrading them.

*Motivation*

There is a natural way to take non-commutative rings and create new rings out of them. In particular, you take the ring and just pretend the multiplication has its order reversed. In other words if we have a ring whose multiplication is denoted then we can create a new multiplication called, say, given by . What seems to be true then is that while is not a homomorphism it is something that happens quite often a morphism which reverses order–the come up often when something takes “inverses”.

*Opposite Rings and Antihomomorphisms*

Let be a ring, define the *opposite ring *denoted to be the ring where . It’s easy to see that is a ring.

An obvious question is as to whether . “Usually” this is true, not in the sense that in the scheme of everything it happens more often than not, but in the sense that it’s quite difficult to create rings which aren’t isomorphic to their opposite ring. Probably the easiest example is if one takes (endomorphism ring as an abelian group) but it’s not in my interest to prove this.

We define an *antihomomomorphism *between two rings and to be a map such that the induced map is a homomorphism. In other words, it’s a map which is a group homomorphism and for which .

**References:**

1. Dummit, David Steven., and Richard M. Foote. *Abstract Algebra*. Hoboken, NJ: Wiley, 2004. Print.

2. Bhattacharya, P. B., S. K. Jain, and S. R. Nagpaul. *Basic Abstract Algebra*. Cambridge [Cambridgeshire: Cambridge UP, 1986. Print.

[…] and “compose in the opposite way”. In this sense it has a very similar feel to the opposite ring. This category is interesting because it allows us to talk about contravariant functors as […]

Pingback by The Opposite Category « Abstract Nonsense | December 30, 2011 |