AoPSWiki
Our Precalculus course starts on Dec. 4. Master trig, complex numbers, and vectors and matrices in 2 and 3 dimensions. Click here to enroll today!

Normalizer

From AoPSWiki

Revision as of 03:40, 15 May 2008 by Boy Soprano II (Talk | contribs)
(diff) ← Older revision | Current revision (diff) | Newer revision → (diff)

A normalizer is a part of a group.

Let A be a subset of a group G. An element b of G is said to normalize A if bAb^{-1} = A. A subset B of G is said to normalize A if all its elements normalize A. The set of all elements of G that normalize A is called the normalizer of A. It is often denoted as N_G(A), or N(A), when there is no risk of confusion. It is evidently a subgroup of G; for e \in N(A); if b,c normalize A, then (bc)A(bc)^{-1} = bcAc^{-1}b^{-1} = bAb^{-1} = A; and if bAb^{-1} = A, then A = b^{-1}Ab. Evidently, A \subseteq N(A).

When A is a subgroup of G, N(A) is the largest subgroup of G of which A is a normal subgroup.

This article is a stub. Help us out by expanding it.

See also

Looking for a challenging geometry text? Preparing for MATHCOUNTS or the AMC exams? Check out Art of Problem Solving's Introduction to Geometry by Richard Rusczyk.
© Copyright 2008 AoPS Incorporated. All Rights Reserved. • FoundationPrivacyContact Us