Nim: Difference between revisions
en>Bubba73 |
en>Omnipaedista per MOS:DASH |
||
Line 1: | Line 1: | ||
{{Group theory sidebar |Basics}} | |||
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'' = ''Hg'' for all ''g'' in ''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>−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>−1</sup> ⊆ ''N''. | |||
*For all ''g'' in ''G'', ''gNg''<sup>−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. 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]] |
Revision as of 17:30, 29 January 2014
In abstract algebra, a normal subgroup is a subgroup which is invariant under 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 = Hg for all g in G (see coset). Normal subgroups (and only normal subgroups) can be used to construct quotient groups from a given 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 conjugation; that is, for each element n in N and each g in G, the element gng−1 is still in N. We write
For any subgroup, the following conditions are equivalent to normality. Therefore any one of them may be taken as the definition:
- For all g in G, gNg−1 ⊆ N.
- For all g in G, gNg−1 = N.
- The sets of left and right cosets of N in G coincide.
- For all g in G, gN = Ng.
- N is a union of conjugacy classes of G.
- There is some homomorphism on G for which N is the 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 if and only if it is isomorphic to all of its non-identity homomorphic images, a finite group is perfect if and only if it has no normal subgroups of prime index, and a group is 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.
- The 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 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 under subset inclusion with least element {e} and greatest element G. Given two normal subgroups N and M in G, meet is defined as
and join is defined as
The lattice is complete and modular.
Normal subgroups and homomorphisms
If N is normal subgroup, we can define a multiplication on cosets by
- (a1N)(a2N) := (a1a2)N.
This turns the set of cosets into a group called the quotient group G/N. There is a natural 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 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 G.
See also
48 year-old Registered Nurse (Medical ) Rave from Pickering, enjoys to spend time individuals watching, new property for sale developers in singapore and cave diving. Finished a cruise liner experience that included passing by Chan Chan Archaeological Zone.
Operations taking subgroups to subgroups
Subgroup properties complementary (or opposite) to normality
Subgroup properties stronger than normality
40 year old Supply and Circulation Manager Courtney from Aberdeen, has several pursuits including bmx, property developers in new project launch singapore and actions. Finds travel a wonderful experience after visiting Central Sikhote-Alin.
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
Trying to invest in Singapore Actual Property , or are you attempting to promote, hire, invest, buy buy a Singapore property ? Properly then, you may have come to the fitting place in your seek for Singapore properties. Here, we are going to aid you find your dream Singapore property from our market itemizing of 1000's of Singapore properties in our Singapore real property database.
Overseas particular person who want to buy/ purchase a Restricted residential property in Sentosa Cove can acquire fast observe approval from Singapore Land Dealing Unit. Overseas particular person who want to purchase/ acquire a Restricted residential property in Sentosa Cove can apply for a long term social visit move underneath this Scheme to facilitate entry into Singapore. Foreign individual who want to apply for permanent residency in Singapore can contact SLA or MAS permitted institutions. The place you're shopping for property which is below development, the Singapore Academyof Regulation will maintain a portion of the acquisition monies as stakeholders till the expiryof the defects legal responsibility interval supplied in the Agreement/Contract. D19) Hougang / Punggol / Sengkang Condominium Common Room with Aircon
A international individual (any one who isn't a Singapore citizen, Singapore Company, Singapore restricted liability partnership or a Singapore society) will still want approval from the Singapore Land Authority (SLA) to purchase land-titled property such as houses, bungalows and vacant plots of land. Housing Improvement Board Properties SINGAPORE NON-PUBLIC RESIDENTIAL PROPERTIES Singapore firm; Singapore society. We provide invaluable services to expats who are considering relocation to Singapore For every kind of Singapore property related providers, we're there to obtain your name. You are positive to get one of the best Singapore properties with our help. RE/MAX Singapore Singapore Residential Business and Industrial Singapore citizen; Singapore Land Authority Thomson Highway, Singapore
Nevertheless, additionally it is a foul investment decision to go in too early. For instance you buy a property near one of the new MRT station location at the Thomson line. Because it takes 10 years to be accomplished, you might need difficulties renting that place out to pay off your mortgage payments. In addition, 10 years is a long time when something can occur including recession, new properties being introduced, modifications in interest rates etc. All these can have an adversarial impact on your property funding.
First, there are generally more rental transactions than gross sales transactions, to permit AV to be determined for every property based on comparable properties. Second, actions in sale costs are extra unstable than rentals. Therefore, using rental transactions to derive the AV helps to maintain property tax extra steady for property owners. If you are shopping for or trying to hire a property. It's tiring to call up individual property agent, prepare appointments, coordinate timing and to go for individual property viewing. What most individuals do is to have a property agent representing them who will organize and coordinate the viewings for all of the properties out there based mostly in your requirements & most well-liked timing. Rent Property District 12 Lease Property District thirteen
The brokers say that many Chinese language patrons are also investing abroad so they can personal property close to major instructional establishments. Some are buying houses close to top faculties — despite the fact that their youngsters are so little they can not walk but. Greater than 80 % of rich Chinese need to ship their children overseas to school, based on the Hurun Report, a Shanghai-based mostly publication. Chinese language patrons sometimes used to pick up properties within the $1 to $5 million vary in New York, typically shopping for two and three at a time for funding purposes, the brokers mentioned. Monika Tu, a dealer at high-end real estate agency Black Diamondz Property Concierge in Sydney, says that over the previous yr mainland Chinese language have develop into 80 % of her firm's business. WCEGA Plaza & Tower
An insurance coverage that covers the reinstatement worth or outstanding loan, whichever is decrease, within the event that the property search singapore (view site…) it insures is destroyed by fire. The coverage does not embody dwelling renovations, moveable household contents and personal belongings. Mortgage Insurance Credit bureau checks (e.g., Good payment data for bank cards / previous or existing loans, no previous blemishes corresponding to discharged bankrupts) A sign by the financial institution of the quantity of mortgage that you are eligible for. Nonetheless, an AIP doesn't constitute a binding loan offer. Additional checks and situations may be imposed by the financial institution, and the phrases of the formal supply will even rely upon the property that you simply intend to buy. Freehold / leasehold (999 years / 99 years)
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. xiv, 658 ISBN 0-13-004771-6
External links
I had like 17 domains hosted on single account, and never had any special troubles. If you are not happy with the service you will get your money back with in 45 days, that's guaranteed. But the Search Engine utility inside the Hostgator account furnished an instant score for my launched website. Fantastico is unable to install WordPress in a directory which already have any file i.e to install WordPress using Fantastico the destination directory must be empty and it should not have any previous installation files. When you share great information, others will take note. Once your hosting is purchased, you will need to setup your domain name to point to your hosting. Money Back: All accounts of Hostgator come with a 45 day money back guarantee. If you have any queries relating to where by and how to use Hostgator Discount Coupon, you can make contact with us at our site. If you are starting up a website or don't have too much website traffic coming your way, a shared plan is more than enough. Condition you want to take advantage of the worldwide web you prerequisite a HostGator web page, -1 of the most trusted and unfailing web suppliers on the world wide web today. Since, single server is shared by 700 to 800 websites, you cannot expect much speed.
Hostgator tutorials on how to install Wordpress need not be complicated, especially when you will be dealing with a web hosting service that is friendly for novice webmasters and a blogging platform that is as intuitive as riding a bike. After that you can get Hostgator to host your domain and use the wordpress to do the blogging. Once you start site flipping, trust me you will not be able to stop. I cut my webmaster teeth on Control Panel many years ago, but since had left for other hosting companies with more commercial (cough, cough) interfaces. If you don't like it, you can chalk it up to experience and go on. First, find a good starter template design. When I signed up, I did a search for current "HostGator codes" on the web, which enabled me to receive a one-word entry for a discount. Your posts, comments, and pictures will all be imported into your new WordPress blog.- Normal subgroup in Springer's Encyclopedia of Mathematics
- Robert Ash: Group Fundamentals in Abstract Algebra. The Basic Graduate Year
- Timothy Gowers, Normal subgroups and quotient groups
- John Baez, What's a Normal Subgroup?