# Problems in elementary group theory

*This is a problems page. The solutions can be found at the solutions page*

*This material will soon be incorporated in the guided tour for beginners. Go to the beginning of the guided tour for beginners for more details.*

This page gives some problems in elementary group theory, meant as a resource for beginners to group theory to gauge their level of understanding. The problems are classified based on problem type, knowledge tested, and skills tested. Relevant material in the wiki for these problems can be found in:

- Category:Basic definitions in group theory
- Category:Semi-basic definitions in group theory
- Category:Basic facts in group theory
- Category:Elementary non-basic facts in group theory

## Contents

## Definition understanding

The problems in this section test understanding of definitions of group, subgroup, homomorphism of groups, normal subgroup, quotient group, automorphism of a group and trivial group.

### True/False problems

If you have understood the definitions properly, you should be able to solve all these problems correctly. If you find any problem confusing, please *review* the relevant definitions. The solutions page contains, in addition tothe solutions, the relevant definitions for each problem.

- The empty set can be given the structure of a group
- For any group, there is a unique homomorphism to that group from the trivial group.
- For any group, there is a unique homomorphism from that group to the trivial group.
- If a subset of a group is nonempty and closed under multiplication, then that subset is a subgroup.
- The identity element and inverse operation on a group are completely determined by the multiplication.
- The binary operation on a group is completely determined by the identity element and inverse operation.
- If is a homomorphism of groups, and is a subgroup of , then is a subgroup of
- If is a homomorphism of groups, and is a subgroup of , then is a subgroup of

### Spot the error

## More definition understanding

## Fact understanding

These problems are closely related to facts that may, for instance, be covered in Category:Elementary non-basic facts in group theory. They involve terms covered in Category:Basic definitions in group theory.

### True/False problems

- If a finite group can be expressed as the union of three proper subgroups, then at least one of them has index two.
- If a finite group can be expressed as a union of four proper subgroups, then it can be expressed as a union of three proper subgroups.
- If is a normal subgroup of and is a normal subgroup of , is a normal subgroup of
- If is a normal subgroup of and is a homomorphism, then is a normal subgroup of
- If and are subgroups of such that is the trivial subgroup and (i.e. any element of can be expressed as for and , then and are normal
- In the setup of the previous part, as well
- The union of all conjugates of a non-normal subgroup in a finite group, can never be a subgroup

## A feel of some important group and subgroup properties

*More problems on group properties can be found at Problems related to group properties, Problems related to subgroup properties*

### Classify as always true/true for Abelian/true for finite/other

Given below are some statements in the context of a group . Figure out whether these statements are true for all , for all finite groups , for all Abelian groups , or none of those. Give counterexamples if possible.

- For any integer , the set of elements , forms a subgroup
- For any group , the set of homomorphisms from to gets the structure of a group under pointwise multiplication
- There exists an integer such that the map is an endomorphism of
- For any integer , the set of elements (here denotes the identity element) is a subgroup.
- Every subgroup is normal
- Suppose and are subgroups. Then the set of elements , denoted as the product of subgroups , is also a subgroup.

### Normal and characteristic subgroups

Review, before starting, the definitions of normal subgroup and characteristic subgroup.

- An intersection of a normal subgroup and a characteristic subgroup must be characteristic.
- The trivial subgroup is characteristic.
- If and are normal subgroups of such that is characteristic in , then is characteristic in .
- If is a characteristic subgroup of and is an intermediate subgroup, then is a characteristic subgroup in .
- If a group is characteristic in the group under the embedding , then is trivial.
- If is a union of conjugacy classes in a group , the subgroup generated by is a normal subgroup.
- A product of characteristic subgroups is again a subgroup, and is characteristic.
- If every subgroup of a group is normal, then the group is Abelian.
- For a cyclic group, every subgroup is characteristic.
- If a subgroup of a finite group is the only subgroup of that order, then it is characteristic.
- If a subgroup of a group permutes with every other subgroup (i.e. the product with any other subgroup is a subgroup) then the subgroup is normal.

### Subgroup-defining functions

Refer the definitions of center, commutator subgroup, and Frattini subgroup, and read more about subgroup-defining function before starting this.

- The center of any group is a characteristic subgroup.
- For any group, the center and commutator subgroup intersect trivially.
- Every subgroup of the group that lies inside the center, is characteristic.

### Simple groups

`Further information: simple group`

- An Abelian group is simple, if and only if it is cyclic of prime order
- For a simple group, any endomorphism must be either injective or trivial
- Given a simple normal subgroup in a group , is a minimal normal subgroup: there is no nontrivial normal subgroup of contained properly inside
- Every group can be expressed as a direct product of simple groups
- Every finite group can be embedded as a subgroup of a simple group

## A feel of some particular groups

### Cyclic and Abelian groups

denotes a prime in all the exercises below,

- In a cyclic group, it is true that given any two subgroups, one of them must be contained in the other
- A direct product of cyclic groups is cyclic.
- Any group is generated by its cyclic subgroups.
- Among all Abelian groups of order , the one with the minimum number of subgroups, is the cyclic one.
- The number of isomorphism classes of Abelian groups of order is independent of
- In a non-Abelian group, the subgroup generated by two normal Abelian subgroups, is again a normal Abelian subgroup.
- The number of Abelian subgroups of order , is bounded from above by a polynomial in
- For any finite Abelian group, there exists an integer , and an element such that has order exactly , and any element of the group has order dividing