Is the Given Subset of The Ring of Integer Matrices an Ideal?

Problems and solutions of ring theory in abstract algebra

Problem 524

Let $R$ be the ring of all $2\times 2$ matrices with integer coefficients:
\[R=\left\{\, \begin{bmatrix}
a & b\\
c& d
\end{bmatrix} \quad \middle| \quad a, b, c, d\in \Z \,\right\}.\]

Let $S$ be the subset of $R$ given by
\[S=\left\{\, \begin{bmatrix}
s & 0\\
0& s
\end{bmatrix} \quad \middle | \quad s\in \Z \,\right\}.\]

(a) True or False: $S$ is a subring of $R$.

(b) True or False: $S$ is an ideal of $R$.

 
LoadingAdd to solve later

Solution.

(a) True or False: $S$ is a subring of $R$.

True.

In fact, let
\[A= \begin{bmatrix}
t & 0\\
0& t
\end{bmatrix}\text{ and } B=\begin{bmatrix}
s & 0\\
0& s
\end{bmatrix}\] be arbitrary elements in $S$ with $t, s\in \Z$.

Then we have
\begin{align*}
A+B=\begin{bmatrix}
t+s & 0\\
0& t+s
\end{bmatrix} \in S
\end{align*}
and
\begin{align*}
AB=\begin{bmatrix}
ts & 0\\
0& ts
\end{bmatrix} \in S.
\end{align*}
Hence $S$ is closed under addition and multiplication.

Note that the $2\times 2$ identity matrix is the unity element of $R$ as well as the unity element of $S$.

Thus, the subset $S$ is a subring of $R$.

(b) True or False: $S$ is an ideal of $R$.

False.

To see that $S$ is not an ideal of $R$, consider the element
\[\begin{bmatrix}
1 & 1\\
1& 1
\end{bmatrix} \in R\] and the element
\[\begin{bmatrix}
1 & 0\\
0& 1
\end{bmatrix} \in S.\] Then we have
\begin{align*}
\begin{bmatrix}
1 & 1\\
1& 1
\end{bmatrix}\begin{bmatrix}
1 & 0\\
0& 1
\end{bmatrix}=\begin{bmatrix}
1 & 1\\
1& 1
\end{bmatrix},
\end{align*}
which is not in $S$.

This implies that $S$ is not an ideal of $R$.
(If $S$ were an ideal of $R$, then an element of $S$ multiplied by an element of $R$ would stay in $S$.)


LoadingAdd to solve later

Sponsored Links

More from my site

  • $(x^3-y^2)$ is a Prime Ideal in the Ring $R[x, y]$, $R$ is an Integral Domain.$(x^3-y^2)$ is a Prime Ideal in the Ring $R[x, y]$, $R$ is an Integral Domain. Let $R$ be an integral domain. Then prove that the ideal $(x^3-y^2)$ is a prime ideal in the ring $R[x, y]$.   Proof. Consider the ring $R[t]$, where $t$ is a variable. Since $R$ is an integral domain, so is $R[t]$. Define the function $\Psi:R[x,y] \to R[t]$ sending […]
  • In a Principal Ideal Domain (PID), a Prime Ideal is a Maximal IdealIn a Principal Ideal Domain (PID), a Prime Ideal is a Maximal Ideal Let $R$ be a principal ideal domain (PID) and let $P$ be a nonzero prime ideal in $R$. Show that $P$ is a maximal ideal in $R$.   Definition A commutative ring $R$ is a principal ideal domain (PID) if $R$ is a domain and any ideal $I$ is generated by a single element […]
  • Ideal Quotient (Colon Ideal) is an IdealIdeal Quotient (Colon Ideal) is an Ideal Let $R$ be a commutative ring. Let $S$ be a subset of $R$ and let $I$ be an ideal of $I$. We define the subset \[(I:S):=\{ a \in R \mid aS\subset I\}.\] Prove that $(I:S)$ is an ideal of $R$. This ideal is called the ideal quotient, or colon ideal.   Proof. Let $a, […]
  • 5 is Prime But 7 is Not Prime in the Ring $\Z[\sqrt{2}]$5 is Prime But 7 is Not Prime in the Ring $\Z[\sqrt{2}]$ In the ring \[\Z[\sqrt{2}]=\{a+\sqrt{2}b \mid a, b \in \Z\},\] show that $5$ is a prime element but $7$ is not a prime element.   Hint. An element $p$ in a ring $R$ is prime if $p$ is non zero, non unit element and whenever $p$ divide $ab$ for $a, b \in R$, then $p$ […]
  • If Every Proper Ideal of a Commutative Ring is a Prime Ideal, then It is a Field.If Every Proper Ideal of a Commutative Ring is a Prime Ideal, then It is a Field. Let $R$ be a commutative ring with $1$. Prove that if every proper ideal of $R$ is a prime ideal, then $R$ is a field.   Proof. As the zero ideal $(0)$ of $R$ is a proper ideal, it is a prime ideal by assumption. Hence $R=R/\{0\}$ is an integral […]
  • A ring is Local if and only if the set of Non-Units is an IdealA ring is Local if and only if the set of Non-Units is an Ideal A ring is called local if it has a unique maximal ideal. (a) Prove that a ring $R$ with $1$ is local if and only if the set of non-unit elements of $R$ is an ideal of $R$. (b) Let $R$ be a ring with $1$ and suppose that $M$ is a maximal ideal of $R$. Prove that if every […]
  • Generators of the Augmentation Ideal in a Group RingGenerators of the Augmentation Ideal in a Group Ring Let $R$ be a commutative ring with $1$ and let $G$ be a finite group with identity element $e$. Let $RG$ be the group ring. Then the map $\epsilon: RG \to R$ defined by \[\epsilon(\sum_{i=1}^na_i g_i)=\sum_{i=1}^na_i,\] where $a_i\in R$ and $G=\{g_i\}_{i=1}^n$, is a ring […]
  • A Prime Ideal in the Ring $\Z[\sqrt{10}]$A Prime Ideal in the Ring $\Z[\sqrt{10}]$ Consider the ring \[\Z[\sqrt{10}]=\{a+b\sqrt{10} \mid a, b \in \Z\}\] and its ideal \[P=(2, \sqrt{10})=\{a+b\sqrt{10} \mid a, b \in \Z, 2|a\}.\] Show that $p$ is a prime ideal of the ring $\Z[\sqrt{10}]$.   Definition of a prime ideal. An ideal $P$ of a ring $R$ is […]

You may also like...

Leave a Reply

Your email address will not be published. Required fields are marked *

This site uses Akismet to reduce spam. Learn how your comment data is processed.

More in Ring theory
Prime Ideal Problems and Solution in Ring Theory in Mathematics
Examples of Prime Ideals in Commutative Rings that are Not Maximal Ideals

Give an example of a commutative ring $R$ and a prime ideal $I$ of $R$ that is not a maximal...

Close