Prove Symmetric Group S_n is not Abelian for n ≥ 3

The symmetric group Sn is not abelian for n ≥ 3. In other words, there are elements of Sn that do not commute each other. In this page, we will prove that the symmetric group Sn is not commutative. Before that let us recall abelian group. A group (G, ∗) is called an abelian group … Read more

Group of Order 4 is Abelian: Proof

A group of order 4 is always abelian or commutative. That is, ab = ba for all a, b in G where |G| =4. In this article, we will prove that each group of order 4 is abelian. What are Abelian Groups? A pair (G, o) is called an abelian group if G is closed … Read more

Two Cyclic Groups of Same Order are Isomorphic

Cyclic groups of same order are isomorphic. So there is only one cyclic group of order n, up to isomorphism. In this article, we will prove that two cyclic groups of same order are isomorphic. Proof Let us consider two cyclic groups G and G’ of same order generated by a and b respectively. Thus, … Read more

Subgroups of Cyclic Groups

A cyclic group G is a group where there exists a ∈ G such that every element of G can expressed as an integral powers of a, that is, if x ∈ G then x=an for some integer n. In this article, we will study subgroups of a cyclic group. Subgroups of Finite Cyclic Groups … Read more

Every Subgroup of a Cyclic Group is Cyclic: Proof

Subgroup of any group always exists. If the group is cyclic, then its subgroup is also cyclic. In this article, we prove that each subgroup of a cyclic group is also cyclic. Let us first understand what are subgroups and cyclic groups. What are groups and subgroups? A set G forms a group with respect … Read more

Conjugacy Relation, Class Equation of Groups with Examples

For two elements x, y in a group G are said to be conjugate if gxg-1=y for some g in G. This relation is the conjugacy relation in group theory. It defines an equivalence relation, so the group G can be decomposed into different conjugacy classes. This way we will obtain the class equation of … Read more

Normalizer of a Group: Definition, Example, Subgroup Proof

To make a subgroup normal in a group, we need to consider its normalizer. In this article, we will learn about normalizer of a subgroup with applications. Normalizer of a Subgroup Let H be a subgroup of a group G. Then the normalizer of H in G is defined as follows: N(H) = {g∈G: gHg-1=H}. … Read more