"Invariant subgroup" redirects here. Not to be confused with Fully invariant subgroup.
Algebraic structure → Group theory Group theory
Basic notions
Subgroup
Normal subgroup
Quotient group
(Semi-)direct product
Group homomorphisms
kernel
image
direct sum
wreath product
simple
finite
infinite
continuous
multiplicative
additive
cyclic
abelian
dihedral
nilpotent
solvable
action
Glossary of group theory
List of group theory topics
Finite groups
Cyclic group Zn
Symmetric group Sn
Alternating group An
Dihedral group Dn
Quaternion group Q
Cauchy's theorem
Lagrange's theorem
Sylow theorems
Hall's theorem
p-group
Elementary abelian group
Frobenius group
Schur multiplier
Classification of finite simple groups
cyclic
alternating
Lie type
sporadic
Discrete groups
Lattices
Integers ()
Free group
Modular groups
PSL(2, )
SL(2, )
Arithmetic group
Lattice
Hyperbolic group
Topological and Lie groups
Solenoid
Circle
General linear GL(n)
Special linear SL(n)
Orthogonal O(n)
Euclidean E(n)
Special orthogonal SO(n)
Unitary U(n)
Special unitary SU(n)
Symplectic Sp(n)
G2
F4
E6
E7
E8
Lorentz
Poincaré
Conformal
Diffeomorphism
Loop
Infinite dimensional Lie group
O(∞)
SU(∞)
Sp(∞)
Algebraic groups
Linear algebraic group
Reductive group
Abelian variety
Elliptic curve
v
t
e
In abstract algebra, a normal subgroup (also known as an invariant subgroup or self-conjugate subgroup)[1] is a subgroup that is invariant under conjugation by members of the group of which it is a part. In other words, a subgroup of the group is normal in if and only if for all and . The usual notation for this relation is .
Normal subgroups are important because they (and only they) can be used to construct quotient groups of the given group. Furthermore, the normal subgroups of are precisely the kernels of group homomorphisms with domain , which means that they can be used to internally classify those homomorphisms.
Évariste Galois was the first to realize the importance of the existence of normal subgroups.[2]
In abstract algebra, a normalsubgroup (also known as an invariant subgroup or self-conjugate subgroup) is a subgroup that is invariant under conjugation...
as "H is a subgroup of G". The trivial subgroup of any group is the subgroup {e} consisting of just the identity element. A proper subgroup of a group...
form a subgroup of index 2 in S, called the alternating subgroup A. Since A is even a characteristic subgroup of S, it is also a normalsubgroup of the...
important because it is the smallest normalsubgroup such that the quotient group of the original group by this subgroup is abelian. In other words, G / N...
characteristic subgroup is normal; though the converse is not guaranteed. Examples of characteristic subgroups include the commutator subgroup and the center...
{\displaystyle gHg^{-1}} of a subgroup H in G is equal to the index of the normalizer of H in G. If H is a subgroup of G, the index of the normal core of H satisfies...
element is always a normalsubgroup of the original group, and the other equivalence classes are precisely the cosets of that normalsubgroup. The resulting...
{\displaystyle p} -subgroup of G {\displaystyle G} is a normalsubgroup. However, there are groups that have normalsubgroups but no normal Sylow subgroups, such as...
series (also normal series, normal tower, subinvariant series, or just series) of a group G is a sequence of subgroups, each a normalsubgroup of the next...
e, a subgroup H, and a normalsubgroup N ◁ G, the following statements are equivalent: G is the product of subgroups, G = NH, and these subgroups have...
elements of every subgroup H of G divides the number of elements of G. Cosets of a particular type of subgroup (a normalsubgroup) can be used as the...
a subgroup invariant under conjugation Normal (album), a 2005 album by Ron "Bumblefoot" Thal "Normal" (Alonzo song) "Normal" (Eminem song) "Normal", a...
product S N {\displaystyle SN} is a subgroup of G {\displaystyle G} , The subgroup N {\displaystyle N} is a normalsubgroup of S N {\displaystyle SN} , The...
monomorphism f from H to G is normal if and only if its image is a normalsubgroup of G. In particular, if H is a subgroup of G, then the inclusion map...
the solvable group, C 4 {\displaystyle \mathbb {C} _{4}} is not a normalsubgroup. A group G is called solvable if it has a subnormal series whose factor...
group theory, the Fitting subgroup F of a finite group G, named after Hans Fitting, is the unique largest normal nilpotent subgroup of G. Intuitively, it...
maximal subgroups, for example the Prüfer group. Similarly, a normalsubgroup N of G is said to be a maximal normalsubgroup (or maximal proper normal subgroup)...
the identity element is always a normalsubgroup, and the other equivalence classes are the other cosets of this subgroup. Together, these equivalence classes...
subgroup of G then the closure of H is also a subgroup. Likewise, if H is a normalsubgroup of G, the closure of H is normal in G. If H is a subgroup...
In mathematics, a simple group is a nontrivial group whose only normalsubgroups are the trivial group and the group itself. A group that is not simple...
of ordinary matrix multiplication and matrix inversion. This is the normalsubgroup of the general linear group given by the kernel of the determinant...
group theory, a subgroup of a group is said to be transitively normal in the group if every normalsubgroup of the subgroup is also normal in the whole group...
connected normal solvable subgroup Gnil for the largest connected normal nilpotent subgroup so that we have a sequence of normalsubgroups 1 ⊆ Gnil ⊆...
group G: G has a central series of finite length. That is, a series of normalsubgroups { 1 } = G 0 ◃ G 1 ◃ ⋯ ◃ G n = G {\displaystyle \{1\}=G_{0}\triangleleft...
group of the Cayley graph Γ(G) is isomorphic to the kernel of φ, the normalsubgroup of relations among the generators of G. The extreme case is when G...