Abstract Algebra: Theory and Applications

Find the order of every element in ${\mathbb{Z}}_{18}\text{.}$

Find the order of every element in the symmetry group of the square, $D_4\text{.}$

What are all of the cyclic subgroups of the quaternion group, $Q_8\text{?}$

List all of the cyclic subgroups of $U(30)\text{.}$

List every generator of each subgroup of order 8 in ${\mathbb{Z}}_{32}\text{.}$

If $a^{24}=e$ in a group $G\text{,}$ what are the possible orders of $a\text{?}$

Find a cyclic group with exactly one generator. Can you find cyclic groups with exactly two generators? Four generators? How about $n$ generators?

For $n\le 20\text{,}$ which groups $U(n)$ are cyclic? Make a conjecture as to what is true in general. Can you prove your conjecture?

List and graph the 6th roots of unity. What are the generators of this group? What are the primitive 6th roots of unity?

List and graph the 5th roots of unity. What are the generators of this group? What are the primitive 5th roots of unity?

Let $p$ and $q$ be distinct primes. How many generators does ${\mathbb{Z}}_{pq}$ have?

Let $p$ be prime and $r$ be a positive integer. How many generators does ${\mathbb{Z}}_{p^r}$ have?

Prove that ${\mathbb{Z}}_p$ has no nontrivial subgroups if $p$ is prime.

If $g$ and $h$ have orders $15$ and $16$ respectively in a group $G\text{,}$ what is the order of $⟨g⟩\cap ⟨h⟩\text{?}$

Let $a$ be an element in a group $G\text{.}$ What is a generator for the subgroup $⟨a^m⟩\cap ⟨a^n⟩\text{?}$

Prove that ${\mathbb{Z}}_n$ has an even number of generators for $n>2\text{.}$

Suppose that $G$ is a group and let $a\text{,}$ $b\in G\text{.}$ Prove that if $|a|=m$ and $|b|=n$ with $gcd(m,n)=1\text{,}$ then $⟨a⟩\cap ⟨b⟩=\{e\}\text{.}$

Let $G$ be an abelian group. Show that the elements of finite order in $G$ form a subgroup. This subgroup is called the torsion subgroup of $G\text{.}$

Let $G$ be a finite cyclic group of order $n$ generated by $x\text{.}$ Show that if $y=x^k$ where $gcd(k,n)=1\text{,}$ then $y$ must be a generator of $G\text{.}$

If $G$ is an abelian group that contains a pair of cyclic subgroups of order $2\text{,}$ show that $G$ must contain a subgroup of order $4\text{.}$ Does this subgroup have to be cyclic?

Let $G$ be an abelian group of order $pq$ where $gcd(p,q)=1\text{.}$ If $G$ contains elements $a$ and $b$ of order $p$ and $q$ respectively, then show that $G$ is cyclic.

Prove that the subgroups of $\mathbb{Z}$ are exactly $n\mathbb{Z}$ for $n=0,1,2,\dots \text{.}$

Prove that the generators of ${\mathbb{Z}}_n$ are the integers $r$ such that $1\le r<n$ and $gcd(r,n)=1\text{.}$

Prove that if $G$ has no proper nontrivial subgroups, then $G$ is a cyclic group.

Prove that the order of an element in a cyclic group $G$ must divide the order of the group.

Prove that if $G$ is a cyclic group of order $m$ and $d\mid m\text{,}$ then $G$ must have a subgroup of order $d\text{.}$

For what integers $n$ is $-1$ an $n$th root of unity?

Prove that the circle group is a subgroup of ${\mathbb{C}}^{\ast }\text{.}$

Prove that the $n$th roots of unity form a cyclic subgroup of $\mathbb{T}$ of order $n\text{.}$

Let $\alpha \in \mathbb{T}\text{.}$ Prove that ${\alpha }^m=1$ and ${\alpha }^n=1$ if and only if ${\alpha }^d=1$ for $d=gcd(m,n)\text{.}$

Let $z\in {\mathbb{C}}^{\ast }\text{.}$ If $|z|\ne 1\text{,}$ prove that the order of $z$ is infinite.

Let $z=\cos \theta +i\sin \theta$ be in $\mathbb{T}$ where $\theta \in \mathbb{Q}\text{.}$ Prove that the order of $z$ is infinite.