Back to Ideals and Quotient Rings

Exercise 2

Avg difficulty 3.0

Let the sets

R\displaystyle R ={(xy0z)∣x,y,z∈R} and\displaystyle=\left\{\begin{pmatrix}x&y\\ 0&z\end{pmatrix}\mid x,y,z\in\mathbb{R}\right\}\text{ and} I\displaystyle I ={(xy00)∣x,y∈R}.\displaystyle=\left\{\begin{pmatrix}x&y\\ 0&0\end{pmatrix}\mid x,y\in\mathbb{R}\right\}.

It is given that RR is a subring of M2×2(R)\mathcal{M}_{2\times 2}(\mathbb{R}).

  1. Show that II is a subring of RR.

  2. Show that II is an ideal of RR.

  3. Simplify

    ((1201)+I)((1−201)+I)\left(\begin{pmatrix}1&2\\ 0&1\end{pmatrix}+I\right)\left(\begin{pmatrix}1&-2\\ 0&1\end{pmatrix}+I\right)

    in R/IR/I.

Kan, A Complete Introduction to Abstract Algebra, Rings, Ideals and Quotient Rings, Exercise 2

AI Tutor

Adapted from A Complete Introduction to Abstract Algebra © 2022–2026 Kan Onn Kit. Licensed under CC BY-SA 4.0. Source: A Complete Introduction to Abstract Algebra. Imported at revision a559e8b.