Determine under what circumstances an involution on R is an automorphism Let R be a ring. An involution on R is a function α : R → R such that,
for all $r_i ∈ R$, we have $α(r_1 + r_2) = α(r_1) + α(r_2), α(r_1r_2) = α(r_2)α(r_1) \,and
\,α(α(r_1)) = r_1$.
I'm not real sure how to proceed here. I know an involution is a function that is its own inverse and I know an automorphism is an isomorphism from a set to itself. So I need to show $\alpha$ is one-to-one and onto. Possibly something similar to this:
take $r_1,r_2 \in R$ and $r_1=r_2$, then $f(r_1)=f(r_2) \Rightarrow f(f(r_1))=f(f(r_2)) \Rightarrow r_1=r_2 \Rightarrow R$ is one-to-one.
Also, $\alpha(\alpha(r_1))=r_1$ so f is onto. Any help would be greatly appreciated!
 A: An automorphism of a ring is a homomorphism to itself which is bijective.
Since your $\alpha$ is already bijective, it is an automorphism if and only if it is a homomorphism.
Let me write down the conditions for being a homomorphism.
$$α(r_1 + r_2) = α(r_1) + α(r_2), α(r_1r_2) = α(r_1)α(r_2).$$
(Here I don't assume that the ring has a unit element, but it doesn't affect the argument.)
Do you notice the difference from the conditions of being involution?

The only extra condition is $α(r_1r_2) = α(r_1)α(r_2)$. Thus if $\alpha$ is an involution and also an automorphism, then we must have $α(r_1)α(r_2)=α(r_1r_2) = α(r_2)α(r_1)$.
This being true for all $r_1,r_2$, we may substitute $r_1=α(x)$ and $r_2=α(y)$ for arbitrary $x,y$, and get $xy=yx$.
Therefore we have shown that, if there is an involution which is an automorphism, then the ring must be commutative.
Conversely, if the ring is commutative, then for any involution $\alpha$, we have $α(r_1r_2) = α(r_2)α(r_1)=α(r_1)α(r_2)$, which implies that it's an automorphism.
A: Since an involution is an antihomomorphism, and an automorphism is a homomorphism, we need both.  That's equivalent to $\mathcal R$ being commutative.
You already showed bijectiveness.
A: Let $R$ be a unital ring; we do not assume $R$ is commutative.
A an automorphism of $R$ is an isomorphism 'twixt $R$ and itself; an involution, as stated in the text of the question is a function
$\alpha:R \to R \tag 1$
such that
$\forall x, y \in R, \; \alpha(x + y) = \alpha(x) + \alpha(y), \tag 2$
and
$\forall x, y \in R, \; \alpha(xy) = \alpha(y) \alpha(x), \tag 3$
and
$\alpha^2 = \Bbb I_B, \tag 4$
where $\Bbb I_R$ is the identity map on $R$:
$\Bbb I_R(r) = r, \; \forall r \in R. \tag 5$
We observe that involutions are surjective, since
$\forall x \in R, \; x = \Bbb I_R x = \alpha^2(x) = \alpha(\alpha(x)); \tag 6$
thus, $x$ is always the image of $\alpha(x)$ under $\alpha$, making $\alpha$ an onto map. 
Such $\alpha$ are also injective: if
$\alpha(x) = \alpha(y), \tag 7$
then
$x = \Bbb I_R(x) = \alpha^2(x) = \alpha(\alpha(x))$
$= \alpha(\alpha(y)) = \alpha^2(y) = \Bbb I_R(y) = y. \tag 8$
Now suppose $R$ is commutative; then
$\forall x, y \in R \; \alpha(xy) = \alpha(y) \alpha(x) = \alpha(x)\alpha(y), \tag 9$
which shows that $\alpha$ meets the definition of a homomorphism; if, on the other hand, we replace he resrtiction that $R$ be commutative with the assumption that
$\forall x, y \in R, \; \alpha(xy) = \alpha(x) \alpha(y); \tag{10}$
since we are given that
$\forall x, y \in R, \; \alpha(xy) = \alpha(y)\alpha(x), \tag{11}$
we infer that
$\forall x, y \in R, \; \alpha(x) \alpha(y) = \alpha(y)\alpha(x); \tag{12}$
now since from the above $\alpha$ is surjective,
$\forall r, s \in R, \; \exists x, y \in R, \; r = \alpha(x), s = \alpha(y); \tag{13}$
thus,
$rs = \alpha(x) \alpha(y) = \alpha(y)\alpha(x) = sr, \tag{14}$
and $R$ must be a commutative ring.
