# Tagged: first isomorphism theorem

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

Let $m$ and $n$ be positive integers such that $m \mid n$.

(a) Prove that the map $\phi:\Zmod{n} \to \Zmod{m}$ sending $a+n\Z$ to $a+m\Z$ for any $a\in \Z$ is well-defined.

(b) Prove that $\phi$ is a group homomorphism.

(c) Prove that $\phi$ is surjective.

(d) Determine the group structure of the kernel of $\phi$.

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

Let $G$ be a finite group of order $21$ and let $K$ be a finite group of order $49$.
Suppose that $G$ does not have a normal subgroup of order $3$.
Then determine all group homomorphisms from $G$ to $K$.

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

Let $G$ be a finite group and let $N$ be a normal abelian subgroup of $G$.
Let $\Aut(N)$ be the group of automorphisms of $G$.

Suppose that the orders of groups $G/N$ and $\Aut(N)$ are relatively prime.
Then prove that $N$ is contained in the center of $G$.

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

(a) Let $f_1(x)$ and $f_2(x)$ be irreducible polynomials over a finite field $\F_p$, where $p$ is a prime number. Suppose that $f_1(x)$ and $f_2(x)$ have the same degrees. Then show that fields $\F_p[x]/(f_1(x))$ and $\F_p[x]/(f_2(x))$ are isomorphic.

(b) Show that the polynomials $x^3-x+1$ and $x^3-x-1$ are both irreducible polynomials over the finite field $\F_3$.

(c) Exhibit an explicit isomorphism between the splitting fields of $x^3-x+1$ and $x^3-x-1$ over $\F_3$.

## Problem 232

Let $G$ be a group and let $H$ be a subgroup of finite index. Then show that there exists a normal subgroup $N$ of $G$ such that $N$ is of finite index in $G$ and $N\subset H$.

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

Let $p$ be a prime number. Let
$G=\{z\in \C \mid z^{p^n}=1\}$ be the group of $p$-power roots of $1$ in $\C$.

Show that the map $\Psi:G\to G$ mapping $z$ to $z^p$ is a surjective homomorphism.
Also deduce from this that $G$ is isomorphic to a proper quotient of $G$ itself.