Abstract algebra question concerning center of a group

In summary: Z(G).In summary, if a is the only element of order 2 in a group G, then a is also an element of Z(G). This can be proven by showing that if a has order 2, then it is not the identity and is also its own inverse. Since there is only one element of order 2, a must be equal to g^{-1}ag, and therefore ag=ga, making a an element of the center of the group G.
  • #1
xcr
22
0

Homework Statement



If a is the only element of order 2 in a group G, prove that a is an element of Z(G).
[Z(G) is the notation used by the book for center of group G]


Homework Equations



Z(G)={a is an element of G: ag=ga for every g that is an element of G}


The Attempt at a Solution



I know that if a has order 2 (|a|=2) then a ≠ the identity of the group, say e, and a=a^-1.
I just don't see where I would go from here in showing the center of a group.
 
Physics news on Phys.org
  • #2
What is the order of [itex]gag^{-1}[/itex]??
 
  • #3
I would say two but I don't really have any reasoning for saying that...
 
  • #4
Actually, after looking at it, I would say that the order of gag^-1 is 2 because if the order of a is 2, then (a^2)=e. So (gag^-1)^2=(g^2)(a^2)(g^-2)=(g^2)(e)(g^-2)=(g^2)(g^-2)=e
 
  • #5
Indeed. Now use that there is only one element of order 2...
 
  • #6
Still don't see where you are going with it
 
  • #7
There is only one element of order 2. What can you conclude??
 
  • #8
That the element is not the identity and it is also its inverse.
 
  • #9
You have found that both a and [itex]g^{-1}ag[/itex] are elements of order 2.

But the question states that there is ONLY ONE element of order 2. So what can you conclude??
 
  • #10
Then a=gag^-1. So multiplying on the right by g would give me ag=ga, ta-da
 

FAQ: Abstract algebra question concerning center of a group

What is the center of a group in abstract algebra?

The center of a group is the set of elements that commute with all other elements in the group. In other words, if we have a group G and an element a in G, then a is in the center of G if for all b in G, ab = ba.

How is the center of a group related to the identity element?

The center of a group always contains the identity element, which is the element that does not change any other element when multiplied by it. This is because the identity element always commutes with all other elements in the group.

Can a group have more than one center?

No, a group can only have one center. This is because the center of a group is defined as the set of elements that commute with all other elements, and if there were multiple centers, then they would not all commute with each other, contradicting the definition.

How can the center of a group be used in abstract algebra?

The center of a group has many uses in abstract algebra, including determining the simplicity of a group, finding normal subgroups, and characterizing certain types of groups. It also allows for the classification of groups with specific properties, such as abelian or nilpotent.

Is the center of a group always a subgroup of the group?

Yes, the center of a group is always a subgroup of the group. This is because it satisfies all three requirements for a subgroup: it contains the identity element, it is closed under the group operation, and it contains the inverse of each of its elements.

Similar threads

Replies
3
Views
1K
Replies
5
Views
2K
Replies
22
Views
3K
Replies
5
Views
2K
Replies
2
Views
1K
Replies
3
Views
2K
Back
Top