# Category:Normal Subgroups

Jump to navigation
Jump to search

This category contains results about **Normal Subgroups**.

Definitions specific to this category can be found in Definitions/Normal Subgroups.

Let $G$ be a group.

Let $N$ be a subgroup of $G$.

$N$ is a **normal subgroup of $G$** if and only if:

### Definition 1

- $\forall g \in G: g \circ N = N \circ g$

### Definition 2

- Every right coset of $N$ in $G$ is a left coset

that is:

- The right coset space of $N$ in $G$ equals its left coset space.

### Definition 3

\(\ds \forall g \in G: \, \) | \(\ds g \circ N \circ g^{-1}\) | \(\subseteq\) | \(\ds N\) | |||||||||||

\(\ds \forall g \in G: \, \) | \(\ds g^{-1} \circ N \circ g\) | \(\subseteq\) | \(\ds N\) |

### Definition 4

\(\ds \forall g \in G: \, \) | \(\ds N\) | \(\subseteq\) | \(\ds g \circ N \circ g^{-1}\) | |||||||||||

\(\ds \forall g \in G: \, \) | \(\ds N\) | \(\subseteq\) | \(\ds g^{-1} \circ N \circ g\) |

### Definition 5

\(\ds \forall g \in G: \, \) | \(\ds N\) | \(=\) | \(\ds g \circ N \circ g^{-1}\) | |||||||||||

\(\ds \forall g \in G: \, \) | \(\ds N\) | \(=\) | \(\ds g^{-1} \circ N \circ g\) |

### Definition 6

\(\ds \forall g \in G: \, \) | \(\ds \leftparen {n \in N}\) | \(\iff\) | \(\ds \rightparen {g \circ n \circ g^{-1} \in N}\) | |||||||||||

\(\ds \forall g \in G: \, \) | \(\ds \leftparen {n \in N}\) | \(\iff\) | \(\ds \rightparen {g^{-1} \circ n \circ g \in N}\) |

### Definition 7

- $N$ is a normal subset of $G$.

## Subcategories

This category has the following 18 subcategories, out of 18 total.

### A

### C

- Central Subgroup is Normal (3 P)
- Conjugacy Class Equation (5 P)

### E

- Examples of Normal Subgroups (27 P)

### G

- Generated Normal Subgroups (1 P)

### I

- Internal Direct Product Theorem (11 P)

### M

- Maximal Normal Subgroups (empty)

### N

### Q

### S

## Pages in category "Normal Subgroups"

The following 90 pages are in this category, out of 90 total.

### C

- Center of Group is Normal Subgroup
- Center of Group of Order Prime Cubed
- Central Subgroup is Normal
- Centralizer is Normal Subgroup of Normalizer
- Characteristic Subgroup of Normal Subgroup is Normal
- Chinese Remainder Theorem (Groups)
- Complement of Normal Subgroup is Isomorphic to Quotient Group
- Condition for Subgroup of Monoid to be Normal
- Condition for Subgroup of Power Set of Group to be Quotient Group
- Condition on Congruence Relations for Cancellable Monoid to be Group
- Congruence Modulo Normal Subgroup is Congruence Relation
- Congruence Relation induces Normal Subgroup
- Congruence Relation on Group induces Normal Subgroup
- Conjugacy Class Equation
- Conjugacy Class of Element of Center is Singleton/Corollary
- Correspondence Theorem (Group Theory)

### F

### G

### I

- Image of Canonical Injection is Normal Subgroup
- Inner Automorphism Maps Subgroup to Itself iff Normal
- Inner Automorphisms form Normal Subgroup of Automorphism Group
- Internal Direct Product Theorem
- Internal Group Direct Product Isomorphism
- Internal Group Direct Product of Normal Subgroups
- Intersection of Abelian Subgroups is Normal Subgroup of Subgroup Generated by those Subgroups
- Intersection of Normal Subgroup with Center in p-Group
- Intersection of Normal Subgroup with Sylow P-Subgroup
- Intersection of Normal Subgroups is Normal
- Intersection with Normal Subgroup is Normal

### K

### N

- Normal Subgroup iff Normalizer is Group
- Normal Subgroup induced by Congruence Relation defines that Congruence
- Normal Subgroup is Kernel of Group Homomorphism
- Normal Subgroup of p-Group of Order p is Subset of Center
- Normal Subgroup of Subset Product of Subgroups
- Normal Subgroup Test
- Normal Subgroup which is Subset of Normal Subgroup is Normal in Subgroup
- Normality Relation is not Transitive

### P

### Q

### S

- Second Isomorphism Theorem for Groups
- Second Isomorphism Theorem/Groups
- Set of Normal Subgroups of Group is Subsemigroup of Power Set Semigroup
- Set of Normal Subgroups of Group is Subsemigroup of Power Set under Intersection
- Smallest Normal Subgroup containing Set
- Stabilizer is Normal iff Stabilizer of Each Element of Orbit
- Subgroup Containing all Squares of Group Elements is Normal
- Subgroup Containing all Squares of Group Elements is Normal/Corollary
- Subgroup equals Conjugate iff Normal
- Subgroup is Normal iff Contains Conjugate Elements
- Subgroup is Normal iff it contains Product of Inverses
- Subgroup is Normal iff Left Coset Space is Right Coset Space
- Subgroup is Normal iff Left Cosets are Right Cosets
- Subgroup is Normal iff Normal Subset
- Subgroup is Normal Subgroup of Normalizer
- Subgroup is Subset of Conjugate iff Normal
- Subgroup is Superset of Conjugate iff Normal
- Subgroup of Abelian Group is Normal
- Subgroup of Index 2 is Normal
- Subset has 2 Conjugates then Normal Subgroup
- Subset Product of Normal Subgroups is Normal
- Subset Product of Normal Subgroups with Trivial Intersection
- Subset Product with Normal Subgroup as Generator
- Subset Product with Normal Subgroup is Subgroup
- Subset Products of Normal Subgroup with Normal Subgroup of Subgroup
- Sylow p-Subgroup is Unique iff Normal
- Symmetric Group has Non-Normal Subgroup