Nim: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>Omnipaedista
en>Gilliam
m Reverted edits by 165.155.200.73 (talk) to last version by Fraulein451
 
(One intermediate revision by one other user not shown)
Line 1: Line 1:
{{Group theory sidebar |Basics}}
Myrtle Benny is how I'm called and I really feel comfortable when people use the full title. Years ago we moved to North Dakota and I love each working day living right here. To collect badges is what her family and her appreciate. Bookkeeping is my occupation.<br><br>My page: [http://studentconference.net/Registration/104045 std testing at home]
 
In [[abstract algebra]], a '''normal subgroup''' is a [[subgroup]] which is invariant under [[inner automorphism|conjugation]] by members of the group of which it is a part. In  other  words, a subgroup ''H'' of a group ''G'' is normal in ''G'' if and only if ''gH''&nbsp;=&nbsp;''Hg'' for all ''g'' in&nbsp;''G'' (see [[coset]]). Normal subgroups (and ''only'' normal subgroups) can be used to construct [[quotient group]]s from a given [[group (mathematics)|group]].
 
[[Évariste Galois]] was the first to realize the importance of the existence of normal subgroups.
 
== Definitions ==
A [[subgroup]], ''N'', of a group, ''G'', is called a '''normal subgroup''' if it is invariant under [[inner automorphism|conjugation]]; that is, for each element ''n'' in ''N'' and each ''g'' in ''G'', the element ''gng''<sup>&minus;1</sup> is still in ''N''. We write
 
:<math>N \triangleleft G\,\,\Leftrightarrow\,\forall\,n\in{N},\forall\,g\in{G},\, gng^{-1}\in{N}.</math>
 
For any subgroup, the following conditions are [[Logical equivalence|equivalent]] to normality. Therefore any one of them may be taken as the definition:
 
*For all ''g'' in ''G'', ''gNg''<sup>&minus;1</sup> ⊆ ''N''.
*For all ''g'' in ''G'', ''gNg''<sup>&minus;1</sup> = ''N''.
*The sets of left and right [[coset]]s of ''N'' in ''G'' coincide.
*For all ''g'' in ''G'', ''gN'' = ''Ng''.
*''N'' is a [[union (set theory)|union]] of [[conjugacy class]]es of ''G''.
*There is some [[Group homomorphism|homomorphism]] on ''G'' for which ''N'' is the [[kernel (algebra)|kernel]].
 
The last condition accounts for some of the importance of normal subgroups; they are a way to internally classify all homomorphisms defined on a group. For example, a non-identity finite group is [[simple group|simple]] if and only if it is isomorphic to all of its non-identity homomorphic images, a finite group is [[perfect group|perfect]] if and only if it has no normal subgroups of prime [[Index of a subgroup|index]], and a group is [[imperfect group|imperfect]] if and only if the [[derived subgroup]] is not supplemented by any proper normal subgroup.
 
== Examples ==
 
* The subgroup {''e''} consisting of just the identity element of ''G'' and ''G'' itself are always normal subgroups of ''G''. The former is called the trivial subgroup, and if these are the only normal subgroups, then ''G'' is said to be [[simple group|simple]].
* The [[Center (group theory)|center of a group]] is a normal subgroup.
* The [[commutator subgroup]] is a normal subgroup.
* More generally, any [[characteristic subgroup]] is normal, since conjugation is always an [[automorphism]].
* All subgroups ''N'' of an [[abelian group]] ''G'' are normal, because ''gN'' = ''Ng''. A group that is not abelian but for which every subgroup is normal is called a [[Hamiltonian group]].
* The [[translation group]] in any dimension is a normal subgroup of the [[Euclidean group]]; for example in 3D rotating, translating, and rotating back results in only translation; also reflecting, translating, and reflecting again results in only translation (a translation seen in a mirror looks like a translation, with a reflected translation vector). The translations by a given distance in any direction form a conjugacy class; the translation group is the union of those for all distances.
* In the [[Rubik's Cube group]], the subgroup consisting of operations which only affect the corner pieces is normal, because no conjugate transformation can make such an operation affect an edge piece instead of a corner. By contrast, the subgroup consisting of turns of the top face only is not normal, because a conjugate transformation can move parts of the top face to the bottom and hence not all conjugates of elements of this subgroup are contained in the subgroup.
 
== Properties ==
 
*Normality is preserved upon surjective homomorphisms, and is also preserved upon taking inverse images.
*Normality is preserved on taking direct products
*A normal subgroup of a normal subgroup of a group need not be normal in the group. That is, normality is not a [[transitive relation]]. However, a [[characteristic subgroup]] of a normal subgroup is normal. Also, a normal subgroup of a [[central factor]] is normal. In particular, a normal subgroup of a [[direct factor]] is normal.
*Every subgroup of [[index (group theory)|index]] 2 is normal. More generally, a subgroup ''H'' of finite index ''n'' in ''G'' contains a subgroup ''K'' normal in ''G'' and of index dividing ''n''! called the [[normal core]]. In particular, if ''p'' is the smallest prime dividing the order of ''G'', then every subgroup of index ''p'' is normal.
 
=== Lattice of normal subgroups ===
The normal subgroups of a group ''G'' form a [[lattice (order)|lattice]] under [[subset inclusion]] with [[least element]] {''e''} and [[greatest element]] ''G''. Given two normal subgroups ''N'' and ''M'' in ''G'', [[meet (lattice theory)|meet]] is defined as
:<math>N \wedge M := N \cap M</math>
and [[join (lattice theory)|join]] is defined as
:<math>N \vee M := N M = \{nm \,|\, n \in N \text{, and } m \in M\}.</math>
 
The lattice is [[complete lattice|complete]] and [[modular lattice|modular]].
 
== Normal subgroups and homomorphisms ==
 
If ''N'' is normal subgroup, we can define a multiplication on cosets by
 
: (''a''<sub>1</sub>''N'')(''a''<sub>2</sub>''N'') := (''a''<sub>1</sub>''a''<sub>2</sub>)''N''.
 
This turns the set of cosets into a group called the quotient group ''G/N''. There is a natural [[group homomorphism|homomorphism]] ''f'': ''G'' → ''G/N'' given by ''f''(''a'') = ''aN''. The image ''f''(''N'') consists only of the identity element of ''G/N'', the coset ''eN'' = ''N''.
 
In general, a group homomorphism ''f'': ''G'' → ''H'' sends subgroups of ''G'' to subgroups of ''H''. Also, the preimage of any subgroup of ''H'' is a subgroup of ''G''. We call the preimage of the trivial group {''e''} in ''H'' the '''[[kernel (algebra)|kernel]]''' of the homomorphism and denote it by ker(''f''). As it turns out, the kernel is always normal and the image ''f''(''G'') of ''G'' is always [[isomorphic]] to ''G''/ker(''f'') (the [[first isomorphism theorem]]). In fact, this correspondence is a bijection between the set of all quotient groups ''G''/''N'' of ''G'' and the set of all homomorphic images of ''G'' ([[up to]] isomorphism). It is also easy to see that the kernel of the quotient map, ''f'': ''G'' → ''G/N'', is ''N'' itself, so we have shown that the normal subgroups are precisely the kernels of homomorphisms with [[domain (mathematics)|domain]] ''G''.
 
==See also==
{{multicol}}
 
===Operations taking subgroups to subgroups===
*[[normalizer]]
*[[conjugate closure]]
*[[normal core]]
 
===Subgroup properties complementary (or opposite) to normality===
*[[malnormal subgroup]]
*[[contranormal subgroup]]
*[[abnormal subgroup]]
*[[self-normalizing subgroup]]
 
===Subgroup properties stronger than normality===
*[[characteristic subgroup]]
*[[fully characteristic subgroup]]
 
{{multicol-break}}
 
===Subgroup properties weaker than normality===
*[[subnormal subgroup]]
*[[ascendant subgroup]]
*[[descendant subgroup]]
*[[quasinormal subgroup]]
*[[seminormal subgroup]]
*[[conjugate permutable subgroup]]
*[[modular subgroup]]
*[[pronormal subgroup]]
*[[paranormal subgroup]]
*[[polynormal subgroup]]
*[[c normal subgroup]]
 
===Related notions in algebra===
*[[ideal (ring theory)]]
 
{{multicol-end}}
 
==References==
* [[I. N. Herstein]], ''Topics in algebra.''  Second edition. Xerox College Publishing, Lexington, Mass.-Toronto, Ont., 1975. xi+388 pp.
* David S. Dummit; Richard M. Foote, ''Abstract algebra.'' Prentice Hall, Inc., Englewood Cliffs, NJ, 1991. pp.&nbsp;xiv, 658 ISBN 0-13-004771-6
 
== External links ==
* {{MathWorld|urlname=NormalSubgroup|title= normal subgroup}}
* [http://eom.springer.de/N/n067690.htm Normal subgroup in Springer's Encyclopedia of Mathematics]
* [http://www.math.uiuc.edu/~r-ash/Algebra/Chapter1.pdf Robert Ash: Group Fundamentals in ''Abstract Algebra. The Basic Graduate Year'']
* [http://gowers.wordpress.com/2011/11/20/normal-subgroups-and-quotient-groups Timothy Gowers, Normal subgroups and quotient groups]
* [http://math.ucr.edu/home/baez/normal.html John Baez, What's a Normal Subgroup?]
 
[[Category:Group theory]]
[[Category:Subgroup properties]]

Latest revision as of 20:10, 19 November 2014

Myrtle Benny is how I'm called and I really feel comfortable when people use the full title. Years ago we moved to North Dakota and I love each working day living right here. To collect badges is what her family and her appreciate. Bookkeeping is my occupation.

My page: std testing at home