# Tagged: commutative ring

## Problem 624

Let $R$ and $R’$ be commutative rings and let $f:R\to R’$ be a ring homomorphism.
Let $I$ and $I’$ be ideals of $R$ and $R’$, respectively.

(a) Prove that $f(\sqrt{I}\,) \subset \sqrt{f(I)}$.

(b) Prove that $\sqrt{f^{-1}(I’)}=f^{-1}(\sqrt{I’})$

(c) Suppose that $f$ is surjective and $\ker(f)\subset I$. Then prove that $f(\sqrt{I}\,) =\sqrt{f(I)}$

## Problem 623

Let $I=(x, 2)$ and $J=(x, 3)$ be ideal in the ring $\Z[x]$.

(a) Prove that $IJ=(x, 6)$.

(b) Prove that the element $x\in IJ$ cannot be written as $x=f(x)g(x)$, where $f(x)\in I$ and $g(x)\in J$.

## Problem 620

Is it true that a set of nilpotent elements in a ring $R$ is an ideal of $R$?

If so, prove it. Otherwise give a counterexample.

## Problem 618

Let $R$ be a commutative ring with $1$ such that every element $x$ in $R$ is idempotent, that is, $x^2=x$. (Such a ring is called a Boolean ring.)

(a) Prove that $x^n=x$ for any positive integer $n$.

(b) Prove that $R$ does not have a nonzero nilpotent element.

## Problem 615

Let $R$ be a ring and assume that whenever $ab=ca$ for some elements $a, b, c\in R$, we have $b=c$.

Then prove that $R$ is a commutative ring.

## Problem 598

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.

## Problem 530

Let $R$ be a commutative ring with identity $1\neq 0$. Suppose that for each element $a\in R$, there exists an integer $n > 1$ depending on $a$.

Then prove that every prime ideal is a maximal ideal.

## Problem 520

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

## Problem 517

Let $R$ be a commutative ring. Consider the polynomial ring $R[x,y]$ in two variables $x, y$.
Let $(x)$ be the principal ideal of $R[x,y]$ generated by $x$.

Prove that $R[x, y]/(x)$ is isomorphic to $R[y]$ as a ring.

## Problem 501

Let $R$ be a ring with unit $1$. Suppose that the order of $R$ is $|R|=p^2$ for some prime number $p$.
Then prove that $R$ is a commutative ring.

## Problem 449

Let $R$ be a commutative ring with $1$ and let $M$ be an $R$-module.
Prove that the $R$-module $M$ is irreducible if and only if $M$ is isomorphic to $R/I$, where $I$ is a maximal ideal of $R$, as an $R$-module.

## Problem 437

Let $R$ be a ring with $1$. Suppose that $R$ is an integral domain and an Artinian ring.
Prove that $R$ is a field.

## Problem 432

(a) Let $R$ be an integral domain and let $M$ be a finitely generated torsion $R$-module.
Prove that the module $M$ has a nonzero annihilator.
In other words, show that there is a nonzero element $r\in R$ such that $rm=0$ for all $m\in M$.
Here $r$ does not depend on $m$.

(b) Find an example of an integral domain $R$ and a torsion $R$-module $M$ whose annihilator is the zero ideal.

## Problem 431

Let $R$ be a commutative ring and let $I$ be a nilpotent ideal of $R$.
Let $M$ and $N$ be $R$-modules and let $\phi:M\to N$ be an $R$-module homomorphism.

Prove that if the induced homomorphism $\bar{\phi}: M/IM \to N/IN$ is surjective, then $\phi$ is surjective.

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

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

## Problem 360

Let $R$ be a commutative ring and let $I_1$ and $I_2$ be comaximal ideals. That is, we have
$I_1+I_2=R.$

Then show that for any positive integers $m$ and $n$, the ideals $I_1^m$ and $I_2^n$ are comaximal.

## Problem 351

Let $R$ be a commutative ring with unity.
Then show that every maximal ideal of $R$ is a prime ideal.

## Problem 345

Let $R$ be the ring of all continuous functions on the interval $[0, 2]$.
Let $I$ be the subset of $R$ defined by
$I:=\{ f(x) \in R \mid f(1)=0\}.$

Then prove that $I$ is an ideal of the ring $R$.
Moreover, show that $I$ is maximal and determine $R/I$.

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