Difference between revisions of "Normal subgroup"
From Online Dictionary of Crystallography
| Line 2: | Line 2: | ||
== Definition == | == Definition == | ||
| − | A [[subgroup]] H of a group G is '''normal''' (H <math>\triangleleft </math> G) if gH = Hg for any g ∈G. Equivalently, H ⊂ G is normal if and only if gHg<sup>-1</sup> = H for any g ∈G, i.e., if and only if each [[conjugacy class]] of G is either entirely inside H or entirely outside H. | + | A [[subgroup]] H of a group G is '''normal''' in G (H <math>\triangleleft</math> G) if gH = Hg for any g ∈G. Equivalently, H ⊂ G is normal if and only if gHg<sup>-1</sup> = H for any g ∈G, i.e., if and only if each [[conjugacy class]] of G is either entirely inside H or entirely outside H. This is equivalent to say that H is invariant under all [[automorphism|inner automorphisms]] of G. |
[[Category: Fundamental crystallography]] | [[Category: Fundamental crystallography]] | ||
Revision as of 18:00, 9 March 2009
Sousgroupe normal (Fr); Sottogruppo normale (It); 正規部分群 (Ja)
Definition
A subgroup H of a group G is normal in G (H [math]\triangleleft[/math] G) if gH = Hg for any g ∈G. Equivalently, H ⊂ G is normal if and only if gHg-1 = H for any g ∈G, i.e., if and only if each conjugacy class of G is either entirely inside H or entirely outside H. This is equivalent to say that H is invariant under all inner automorphisms of G.