Tagged: ring

A ring is Local if and only if the set of Non-Units is an Ideal

Problem 526

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 element of $1+M$ is a unit, then $R$ is a local ring.

 

Read solution

FavoriteLoadingAdd to solve later

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

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$.

 

Read solution

FavoriteLoadingAdd to solve later

Linearly Dependent Module Elements / Module Homomorphism and Linearly Independency

Problem 415

(a) Let $R$ be a commutative ring. If we regard $R$ as a left $R$-module, then prove that any two distinct elements of the module $R$ are linearly dependent.

(b) Let $f: M\to M’$ be a left $R$-module homomorphism. Let $\{x_1, \dots, x_n\}$ be a subset in $M$. Prove that if the set $\{f(x_1), \dots, f(x_n)\}$ is linearly independent, then the set $\{x_1, \dots, x_n\}$ is also linearly independent.
 

Read solution

FavoriteLoadingAdd to solve later

Annihilator of a Submodule is a 2-Sided Ideal of a Ring

Problem 410

Let $R$ be a ring with $1$ and let $M$ be a left $R$-module.
Let $S$ be a subset of $M$. The annihilator of $S$ in $R$ is the subset of the ring $R$ defined to be
\[\Ann_R(S)=\{ r\in R\mid rx=0 \text{ for all } x\in S\}.\] (If $rx=0, r\in R, x\in S$, then we say $r$ annihilates $x$.)

Suppose that $N$ is a submodule of $M$. Then prove that the annihilator
\[\Ann_R(N)=\{ r\in R\mid rn=0 \text{ for all } n\in N\}\] of $M$ in $R$ is a $2$-sided ideal of $R$.

 

Read solution

FavoriteLoadingAdd to solve later

Torsion Submodule, Integral Domain, and Zero Divisors

Problem 409

Let $R$ be a ring with $1$. An element of the $R$-module $M$ is called a torsion element if $rm=0$ for some nonzero element $r\in R$.
The set of torsion elements is denoted
\[\Tor(M)=\{m \in M \mid rm=0 \text{ for some nonzero} r\in R\}.\]

(a) Prove that if $R$ is an integral domain, then $\Tor(M)$ is a submodule of $M$.
(Remark: an integral domain is a commutative ring by definition.) In this case the submodule $\Tor(M)$ is called torsion submodule of $M$.

(b) Find an example of a ring $R$ and an $R$-module $M$ such that $\Tor(M)$ is not a submodule.

(c) If $R$ has nonzero zero divisors, then show that every nonzero $R$-module has nonzero torsion element.

 

Read solution

FavoriteLoadingAdd to solve later

Basic Exercise Problems in Module Theory

Problem 408

Let $R$ be a ring with $1$ and $M$ be a left $R$-module.

(a) Prove that $0_Rm=0_M$ for all $m \in M$.

Here $0_R$ is the zero element in the ring $R$ and $0_M$ is the zero element in the module $M$, that is, the identity element of the additive group $M$.
To simplify the notations, we ignore the subscripts and simply write
\[0m=0.\] You must be able to and must judge which zero elements are used from the context.

(b) Prove that $r0=0$ for all $s\in R$. Here both zeros are $0_M$.

(c) Prove that $(-1)m=-m$ for all $m \in M$.

(d) Assume that $rm=0$ for some $r\in R$ and some nonzero element $m\in M$. Prove that $r$ does not have a left inverse.

 

Read solution

FavoriteLoadingAdd to solve later