Tagged: abelian group

Abelian Group Problems and Solutions.

The other popular topics in Group Theory are:

The Existence of an Element in an Abelian Group of Order the Least Common Multiple of Two Elements

Problem 497

Let $G$ be an abelian group.
Let $a$ and $b$ be elements in $G$ of order $m$ and $n$, respectively.
Prove that there exists an element $c$ in $G$ such that the order of $c$ is the least common multiple of $m$ and $n$.

Also determine whether the statement is true if $G$ is a non-abelian group.

 

Read solution

FavoriteLoadingAdd to solve later

A Module is Irreducible if and only if It is a Cyclic Module With Any Nonzero Element as Generator

Problem 434

Let $R$ be a ring with $1$.
A nonzero $R$-module $M$ is called irreducible if $0$ and $M$ are the only submodules of $M$.
(It is also called a simple module.)

(a) Prove that a nonzero $R$-module $M$ is irreducible if and only if $M$ is a cyclic module with any nonzero element as its generator.

(b) Determine all the irreducible $\Z$-modules.

 

Read solution

FavoriteLoadingAdd to solve later

Fundamental Theorem of Finitely Generated Abelian Groups and its application

Problem 420

In this post, we study the Fundamental Theorem of Finitely Generated Abelian Groups, and as an application we solve the following problem.

Problem.
Let $G$ be a finite abelian group of order $n$.
If $n$ is the product of distinct prime numbers, then prove that $G$ is isomorphic to the cyclic group $Z_n=\Zmod{n}$ of order $n$.

 

Read solution

FavoriteLoadingAdd to solve later

Torsion Subgroup of an Abelian Group, Quotient is a Torsion-Free Abelian Group

Problem 307

Let $A$ be an abelian group and let $T(A)$ denote the set of elements of $A$ that have finite order.

(a) Prove that $T(A)$ is a subgroup of $A$.

(The subgroup $T(A)$ is called the torsion subgroup of the abelian group $A$ and elements of $T(A)$ are called torsion elements.)

(b) Prove that the quotient group $G=A/T(A)$ is a torsion-free abelian group. That is, the only element of $G$ that has finite order is the identity element.

 

Read solution

FavoriteLoadingAdd to solve later