Problems in Mathematics

You solved 0  problems!! 　
Solved Problems / Solve later Problems

Tagged: ring

Module Theory

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

LoadingAdd to solve later

Module Theory

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

LoadingAdd to solve later

Module Theory

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

LoadingAdd to solve later

Ring theory

Generators of the Augmentation Ideal in a Group Ring

Problem 302

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 homomorphism, called the augmentation map and the kernel of $\epsilon$ is called the augmentation ideal.

(a) Prove that the augmentation ideal in the group ring $RG$ is generated by $\{g-e \mid g\in G\}$.

(b) Prove that if $G=\langle g\rangle$ is a finite cyclic group generated by $g$, then the augmentation ideal is generated by $g-e$.
 
Read solution

LoadingAdd to solve later

Ring theory

Ideal Quotient (Colon Ideal) is an Ideal

Problem 203

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.

 
Read solution

LoadingAdd to solve later

Ring theory

The Ideal $(x)$ is Prime in the Polynomial Ring $R[x]$ if and only if the Ring $R$ is an Integral Domain

Problem 198

Let $R$ be a commutative ring with $1$. Prove that the principal ideal $(x)$ generated by the element $x$ in the polynomial ring $R[x]$ is a prime ideal if and only if $R$ is an integral domain.

Prove also that the ideal $(x)$ is a maximal ideal if and only if $R$ is a field.

 
Read solution

LoadingAdd to solve later

Ring theory

Ring of Gaussian Integers and Determine its Unit Elements

Problem 188

Denote by $i$ the square root of $-1$.
Let
\[R=\Z[i]=\{a+ib \mid a, b \in \Z \}\] be the ring of Gaussian integers.
We define the norm $N:\Z[i] \to \Z$ by sending $\alpha=a+ib$ to
\[N(\alpha)=\alpha \bar{\alpha}=a^2+b^2.\]

Here $\bar{\alpha}$ is the complex conjugate of $\alpha$.
Then show that an element $\alpha \in R$ is a unit if and only if the norm $N(\alpha)=\pm 1$.
Also, determine all the units of the ring $R=\Z[i]$ of Gaussian integers.

 
Read solution

LoadingAdd to solve later