Results 1 to 3 of 3

Thread: Definitions: center of G and normalizer

  1. #1
    Junior Member
    Oct 2012
    Austin, Texas

    Question Definitions: center of G and normalizer

    Can someone help me with the definitions of centralizer and normalizer? My class doesn't use a book and I don't understand the definitions we were given.

    Normalizer N(a)={x in G | xa=ax} if (G, *) is a group and a is in G.

    Center of G=Z(G)={x in G | ax=xa , for all a in G}.

    I need to prove that a is in Z(G) iff N(a)=G.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Member ModusPonens's Avatar
    Aug 2010

    Re: Definitions: center of G and normalizer

    The normalizer includes the elements of G that commute with a. The center includes only those elements of G that commute with all other elements of G.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    MHF Contributor

    Mar 2011

    Re: Definitions: center of G and normalizer

    the normalizer of an element is also called the centralizer of an element (these concepts differ when you consider subsets of a group).

    why the name normalizer?

    because the defining relation, xa = ax, can also be written: xax-1 = a, which should remind you of the normality condition for a subgroup.

    for a subset, S, of a group G, the normalizer of S is N(S) = {x in G: xSx-1 = S}, whereas:

    the centralizer is C(S) = {x in G: xs = sx for all s in S}.

    if S = G, then C(G) = Z(G), the center of G (the elements that commute with everything). this is always the entire group if G is abelian.

    if S = H, a subgroup of G, then N(H) is the largest subgroup of G in which H is normal. if H already is a normal subgroup, N(H) = G.

    i understand that this may be a bewildering array of subtly differing concepts, but each has its uses. sometimes we want to look at conjugation, sometimes we want to know "what commutes".


    anyway, with your problem:

    suppose a is in Z(G). then ag = ga for EVERY g in G. this means that N(a) = {x in G: ax = xa} is all of G (everything commutes with a, because a commutes with everything).

    on the other hand, if N(a) = G, then ax = xa for EVERY x in G, so ag = ga for every g in G (it doesn't matter whether we use "x" or "g" as a stand-in for a "typical" element of G), so a is in the center.

    in general, Z(G) is always a subgroup of N(a) (those things that commute with everything certainly commutes with a. however, some elements might commute with a, but not with other elements).


    note that it might be "hard" for an element to be in the center of G (G might be a "mostly" non-abelian group. for example, the dihedral group of order 2n, where n is odd, has only the identity in the center. but if r is a rotation of order n, it should be clear that N(r) contains all of <r>, the cyclic subgroup generated by r (powers of r commutes with r). it should also be clear that the reflection s is NOT is N(r), since rs = sr-1 (s and r do NOT commute)).


    normalizers and conjugates are related: it turns out that the number of DISTINCT conjugates of a is the INDEX of the normalizer of a.

    it is useful to distinguish between two cases:

    1)a is in Z(G).

    here, we see that xa = ax for all x in in G, so that xax-1 = a, that is: a has only ONE conjugate: itself.

    as we saw above, if a is in Z(G), then N(a) = G, and [G:G] = 1 (G has index one in itself, the only coset of G is...G).

    2)a is NOT in Z(G). let's show in this case that xN(a) = yN(a) if and only if xax-1 = yay-1.

    suppose xN(a) = yN(a). this means y-1x is in N(a). thus:

    (y-1x)a = a(y-1x)

    y-1(xax-1) = ay-1 (multiplying on the right by x-1).

    xax-1 = yay-1 (multiplying on the left by y).

    running the argument "in reverse" gives the other half of the iff.

    this means if xN(a) is NOT equal to yN(a), then xax-1 and yay-1 are not the same, we have different conjugates of a.

    this means that the number of different conjugates of a is the number of costs of N(a) in G, that is to say the index of N(a) in G, [G:N(a)].


    now this becomes really useful, because conjugacy is an equivalence relation on G, so it partitions G. so we can sometimes "count the equivalence classes" to get information about G. since the elements in the center of G all are only conjugate to themselves, we "lump them all together" and these account for |Z(G)| elements of G.

    then we take an element a not in Z(G), and we get [G:N(a)] more elements from [a] = {x in G: x = gag-1 for some g in G}.

    then we take another element b not in Z(G), or [a], and get [G:N(b)] more elements. if G is finite, we'll eventually account for all of them. sometimes this is written as:

    $\displaystyle |G| = |Z(G)| + \sum_{a \not \in Z(G)} [G:N(a)]$

    this can be used to prove facts about G. one result you will almost always be exposed to is:

    if |G| = pn (for n > 0), then G has a non-trivial center.

    if G is abelian, there is nothing to prove, since Z(G) = G is certainly non-trival.

    so assume G is not abelian. this means for a not in Z(G), N(a) ≠ G, so [G:N(a)] > 1, so must be a positive power of p for each distinct conjugacy class [a].

    this means:

    pn = |Z(G)| + kp (we don't even need to know what "k" is).

    hence |Z(G)| = p(pn-1 - k), that is p divides |Z(G)|. since any subgroup is non-empty, |Z(G)| ≠ 0, so we have that |Z(G)| is at least p > 1.
    Last edited by Deveno; Nov 2nd 2012 at 03:16 AM.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. [SOLVED] Normalizer
    Posted in the Advanced Algebra Forum
    Replies: 0
    Last Post: Oct 8th 2011, 01:19 PM
  2. Replies: 4
    Last Post: Mar 2nd 2011, 08:01 PM
  3. One more normalizer q
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: Oct 31st 2009, 02:49 PM
  4. Normalizer of a Group
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: Dec 10th 2008, 11:55 AM
  5. Normalizer
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: Aug 13th 2008, 09:53 PM

Search Tags

/mathhelpforum @mathhelpforum