Abstract Algebra: Theory and Applications · Problem 10.4.12

Homomorphisms — Thomas Judson

Mathematics — Abstract Algebra · centralizer-normal-subgroups

Problem

Define the centralizer of an element gg in a group GG to be the set C(g)={x∈G:xg=gx}.C(g) = \{x \in G : xg = gx\}. Show that C(g)C(g) is a subgroup of GG. If gg generates a normal subgroup of GG, prove that C(g)C(g) is normal in GG. Hint. Suppose that ⟨g⟩\langle g \rangle is normal in GG and let yy be an arbitrary element of GG. If x∈C(g)x \in C(g), we must show that yxy−1yxy^{-1} is also in C(g)C(g). Show that (yxy−1)g=g(yxy−1)(yxy^{-1})g = g(yxy^{-1}).

Related theory

Browse the problem library