Exercise on ring theory

Groups, Rings, Domains, Modules, etc, Galois theory
Post Reply
Papapetros Vaggelis
Community Team
Posts: 426
Joined: Mon Nov 09, 2015 1:52 pm

Exercise on ring theory

#1

Post by Papapetros Vaggelis »

Let \(\displaystyle{f:R\longrightarrow S}\) be a ring homomorphism which is onto \(\displaystyle{S}\) .

1. If the ring \(\displaystyle{\left(R,+,\cdot\right)}\) is commutative, then prove that the ring \(\displaystyle{\left(S,+,\cdot\right)}\)

is commutative.

2. Give an example of a ring homomorphism \(\displaystyle{f:R\longrightarrow S}\) which is onto \(\displaystyle{S}\), where the ring

\(\displaystyle{\left(S,+,\cdot\right)}\) is commutative but the ring \(\displaystyle{\left(R,+,\cdot\right)}\) is not commutative.
Gigaster
Posts: 4
Joined: Mon Jan 18, 2016 4:33 pm

Re: Exercise on ring theory

#2

Post by Gigaster »

Hello!

Here is an answer to the second part.Let \(R\) be the ring of the 2X2 upper triangular real matrices (which is a subring of \(M_2(\mathbb R))\).

Consider a mapping \( \phi : R\rightarrow\mathbb R \) such that

\( \phi\left( \begin{array}{cc}a & b \\0 & c \end{array} \right)=a\)

Obviously, \( \phi \) is onto \( \mathbb R\) .

Also, since :
\( \left( \begin{array}{cc}a & b \\0 & c \end{array} \right)\left( \begin{array}{cc}d & e \\0 & f \end{array} \right)=\left( \begin{array}{cc}ad & ae+bf \\0 & cf \end{array} \right) \)

and \( \left( \begin{array}{cc}a & b \\0 & c \end{array} \right) + \left( \begin{array}{cc}d & e \\0 & f \end{array} \right)= \left( \begin{array}{cc}a+d & b+e \\0 & c+f \end{array} \right)\)

we can see that \( \phi \) is a ring homomorphism onto \(\mathbb R\) with \(R\) being non-commutative.
Tsakanikas Nickos
Community Team
Posts: 314
Joined: Tue Nov 10, 2015 8:25 pm

Re: Exercise on ring theory

#3

Post by Tsakanikas Nickos »

To conclude the exercise, let's prove the first part:

Consider arbitrary elements $ s_{1},s_{2} \in S $. Since $f$ is onto $S$, there exist $ r_{1},r_{2} \in R $ such that $f(r_{1}) = s_{1}$ and $f(r_{2}) = s_{2} $. Now, by using the facts that $f$ is a ring homomorphism and $R$ is a commutative ring, we have that \[ s_{1} s_{2} = f(r_{1}) f(r_{2}) = f(r_{1} r_{2}) = f(r_{2} r_{1}) = f(r_{2}) f(r_{1}) = s_{2} s_{1} \]Therefore, $S$ is commutative.
Post Reply

Create an account or sign in to join the discussion

You need to be a member in order to post a reply

Create an account

Not a member? register to join our community
Members can start their own topics & subscribe to topics
It’s free and only takes a minute

Register

Sign in

Who is online

Users browsing this forum: No registered users and 9 guests