Problem 2 - A Book of Abstract Algebra

Question

There are some group properties which, if they are true in \(G / H\) and in \(H\), must be true in \(G .\) Here is a sampling. Let \(G\) be a group, and \(H\) a normal subgroup of \(G\). Prove: If every element of \(G / H\) has a square root, and every element of \(H\) has a square root, then every element of \(G\) has a square root.

Step-by-Step Solution

Answer

In \( G \), for every \( g \), \( z = xh \) such that \( z^2 = g \), ensuring every element in \( G \) has a square root.

Step 1: Understand the Problem

We are given a group \( G \) with a normal subgroup \( H \). We need to show that if every element in the quotient group \( G / H \) and every element in the subgroup \( H \) has a square root, then every element in \( G \) also has a square root.

Step 2: Apply the Properties of Quotient Group

Since every element in \( G / H \) has a square root, for any \( gH \in G / H \), there exists an element \( xH \in G / H \) such that \( (xH)^2 = gH \). This implies that \( x^2H = gH \), meaning \( x^2g^{-1} \in H \).

Step 3: Use Properties of Subgroup

For any element \( h \in H \), there exists an element \( y \in H \) such that \( y^2 = h \). The fact that every \( h \in H \) has a square root means \( g \in H \) can be expressed as \( (y^2) \, \) where \( y \in H \).

Step 4: Construct Square Root for Elements in G

For any element \( g \in G \), since \( x^2g^{-1} \in H \) and every element in \( H \) has a square root, we can find an \( h \in H \) such that \( h^2 = x^2g^{-1} \). Therefore, if we define \( z = xh \), we have \( z^2 = (xh)^2 = x^2h^2 = x^2(x^2g^{-1}) = g \).

Step 5: Conclusion

We have shown that for any element \( g \in G \), there exists an element \( z \in G \) such that \( z^2 = g \). Therefore, every element of \( G \) has a square root.

Key Concepts

Normal Subgroup

In group theory, a normal subgroup is a subgroup that remains invariant under conjugation by any element of the group. This means that if you take an element from the subgroup and any element in the group, the result of applying conjugation will still be in the subgroup. This property is vital because it allows the formation of quotient groups. To check if a subgroup is normal, you must ensure the condition: \( gHg^{-1} = H \) for all \( g \in G \).

Why is this important? Well, normal subgroups help to construct quotient groups. These are essential for exploring the structure of the overall group. Normal subgroups facilitate simplification and study of more complex groups by breaking them down into smaller, more manageable pieces.

Quotient Group

A quotient group, also known as a factor group, is the set of cosets of a normal subgroup, with the operation of coset multiplication. Here's how it works:

• Take a group \( G \) and a normal subgroup \( H \) of \( G \).
• The cosets \( gH \) become the elements of the quotient group \( G/H \).
• The operation in \( G/H \) is defined by \((gH)(kH) = (gk)H \), for all \( g, k \) in \( G \).

A critical feature of quotient groups is that they help simplify problems. In the exercise, we utilized the property that each element in \( G/H \) has a square root. This aspect allows us to bridge a connection back to the original group \( G \).

So, quotient groups are more than theoretical constructs; they are practical tools in understanding how operations in a large group relate to its smaller components.

Square Root in Groups

Finding a square root in a group involves identifying an element \( z \) such that \( z^2 = g \) for a given group element \( g \). This is akin to the familiar concept in arithmetic where you find \( x \) such that \( x^2 = n \) in numbers. In a group context, this operation depends on the properties of the group elements.

In our exercise, we needed to find square roots in two settings: within the quotient group \( G / H \) and the normal subgroup \( H \). Crucially, these properties individually contributed to proving that every element of \( G \) has a square root.

• In \( G/H \), the task was simplified by having every element already have a square root.
• In \( H \), knowing every element had its square root helped to extend this property back into \( G \).

Understanding how to evaluate square roots in different components of a group helps in piecing together the group's structure entirely, thereby solving the problem.