# Tagged: integral domain

## Problem 617

Let $R$ be a commutative ring with $1$.
Suppose that the localization $R_{\mathfrak{p}}$ is a Noetherian ring for every prime ideal $\mathfrak{p}$ of $R$.
Is it true that $A$ is also a Noetherian ring?

## Problem 616

Suppose that $p$ is a prime number greater than $3$.
Consider the multiplicative group $G=(\Zmod{p})^*$ of order $p-1$.

(a) Prove that the set of squares $S=\{x^2\mid x\in G\}$ is a subgroup of the multiplicative group $G$.

(b) Determine the index $[G : S]$.

(c) Assume that $-1\notin S$. Then prove that for each $a\in G$ we have either $a\in S$ or $-a\in S$.

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

Let $R$ be an integral domain and let $I$ be an ideal of $R$.
Is the quotient ring $R/I$ an integral domain?

## Problem 531

(a) Let $F$ be a field. Show that $F$ does not have a nonzero zero divisor.

(b) Let $R$ and $S$ be nonzero rings with identities.
Prove that the direct product $R\times S$ cannot be 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 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 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 351

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

## Problem 333

Let $R$ be an integral domain and let $S=R[t]$ be the polynomial ring in $t$ over $R$. Let $n$ be a positive integer.

Prove that the polynomial
$f(x)=x^n-t$ in the ring $S[x]$ is irreducible in $S[x]$.

## Problem 239

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

## Problem 228

Let $R$ be a commutative ring with $1$. Show that if $R$ is an integral domain, then the characteristic of $R$ is either $0$ or a prime number $p$.

## Problem 220

Let $R$ be a commutative ring. Suppose that $P$ is a prime ideal of $R$ containing no nonzero zero divisor. Then show that 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.

## Problem 192

Show that any finite integral domain $R$ is a field.