PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Revision difference : anti-isomorphism
Version 10 Version 9
Let $R$ and $S$ be rings and $f: R\longrightarrow S$ be a function such Let $R$ and $S$ be rings and $f: R\longrightarrow S$ be a function such
that $f(r_{1}r_{2}) = f(r_{2})f(r_{1})$ for all $r_{1}, r_{2} \in R$. that $f(r_{1}r_{2}) = f(r_{2})f(r_{1})$ for all $r_{1}, r_{2} \in R$.
Suppose that $R \neq S$.
If $f$ is a homomorphism of the additive groups of $R$ and $S$, If $f$ is a homomorphism of the additive groups of $R$ and $S$,
then $f$ is called an {\it anti-homomorphsim}. then $f$ is called an {\it anti-homomorphsim}.
If $f$ is a bijection and anti-homomorphism, If $f$ is an isomorphism of the additive groups of $R$ and $S$,
then $f$ is called an {\it anti-isomorphism}. then $f$ is called an {\it anti-isomorphism}.
If $f$ is an anti-homomorphism and $R=S$ Suppose $R=S$.
If $f$ is a homomorphism of the additive groups of $R$ and $S$,
then $f$ is called an {\it anti-endomorphism}. then $f$ is called an {\it anti-endomorphism}.
If $f$ is an anti-isomorphism and $R=S$ If $f$ is an isomorphism of the additive groups of $R$ and $S$,
then $f$ is called an {\it anti-automorphism}. then $f$ is called an {\it anti-automorphism}.
As an example, when $m \neq n$, the mapping that sends a matrix to its transpose As an example, when $m \neq n$, the mapping that sends a matrix to its transpose
(or to its conjugate transpose if the matrix is complex) is an anti-isomorphism (or to its conjugate transpose if the matrix is complex) is an anti-isomorphism
of $M_{m,n} \to M_{n,m}$. of $M_{m,n} \to M_{n,m}$.