Group theory and generalizations Definition
Conjugate subgroup
Builds on SubgroupConjugate elements
Definition
Let be a group, let be a subgroup of , and let . The conjugate of by is the set . Two subgroups and of are conjugate when for some .
Remarks
The set is a subgroup of , and is an isomorphism from to . Conjugacy of subgroups is an equivalence relation on the set of subgroups of . A subgroup that equals each of its conjugates is a normal subgroup.
Reading path
To understand this page from the ground up, read these 4 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Group concept
- Conjugate elements definition
- Subgroup definition
- Conjugate subgroup definition
Where this leads
103 pages build on this one.
- A finite group is nilpotent iff it is the product of its Sylow subgroups
- Semidirect product
- Normality via left and right cosets
- Extensions of solvable groups are solvable
- Quotients of solvable groups are solvable
- Stabilisers of points in the same orbit are conjugate
- Inner automorphism group is isomorphic to G modulo its centre
- Subgroups of solvable groups are solvable
- Classification of finite simple groups
- Finite p-groups are nilpotent
- Class equation
- Subnormal series
- Fixed points of a p-group action
- Second Sylow theorem
- Outer automorphism group
- Groups of order p squared are abelian
- The number of Sylow subgroups is the index of the normaliser
- If G modulo its centre is cyclic then G is abelian
- Simplicity of the alternating group
- Normaliser
- Action on left cosets
- Simple group
- The kernel is a normal subgroup
- First isomorphism theorem
- Upper central series
- Nilpotent group
- Jordan–Hölder theorem
- Orbit-stabiliser theorem
- Universal property of the abelianisation
- A subgroup whose index is the smallest prime divisor of the order is normal
- Burnside's p^a q^b theorem
- Universal property of the quotient group
- The alternating group A5 is simple
- Nilpotent groups are solvable
- Abelianisation
- The symmetric group on five or more letters is not solvable
- Abelian simple groups have prime order
- Cauchy's theorem
- Subgroups of abelian groups are normal
- The number of Sylow subgroups divides the index
- A quotient is abelian iff the subgroup contains the commutator subgroup
- Composition series
- Solvable group
- Second isomorphism theorem
- Internal direct product
- Third Sylow theorem
- Von Dyck's theorem
- Frattini argument
- Presentation of a group
- Abelian groups are solvable
- Composition factors
- Torsion subgroup
- Structure theorem for finitely generated abelian groups
- A nontrivial finite p-group has nontrivial centre
- Size of an orbit times the size of the stabiliser
- Correspondence theorem
- Characteristic subgroups are normal
- Order of the alternating group
- Normal core
- Third isomorphism theorem
- Product of a subgroup and a normal subgroup is a subgroup
- Subgroups of index two are normal
- First Sylow theorem
- Size of a conjugacy class is the index of the centraliser
- Normal subgroup
- Groups of order pq
- Integers modulo n as a quotient group
- Free abelian group
- Quotient group
- Burnside's lemma
- Abel–Ruffini theorem
- Zassenhaus lemma
- Galois group of a prime degree polynomial with two nonreal roots
- Proof that subgroups of index two are normal
- The integers modulo the even integers
- The even integers form a subgroup of the integers
- Hall's theorem on solvable groups
- Krull–Schmidt theorem
- Rational equivalence
- Proof that the kernel is a normal subgroup
- Intersection multiplicity
- Hall subgroup
- Fitting's lemma
- Sylow theorems
- Frattini subgroup
- Lattice-ordered group
- Proof of the first isomorphism theorem
- Jordan–Hölder theorem for modules
- The cosets of a subgroup that is not normal do not form a group
- Algebraic cycle
- Algebraic K-theory of schemes
- Structure theorem for compactly generated LCA groups
- Left-orderable group
- Schreier refinement theorem
- Solvability of x^n - a
- Quintic equation
- Shafarevich's theorem on solvable Galois groups
- Length of a module
- Galois' theorem on solvability
- Torsion-free group
- Divisor class group
- Solvable by radicals
- Orderable group
Further reading
- Web https://en.wikipedia.org/wiki/Conjugacy_class, Conjugacy of subgroups and general subsets
About this page
| Tag | 0D6WHTTH7T |
|---|---|
| URI | m2://0D6WHTTH7T |
| Kind | definition |
| Writing | W1 stated |
| MSC | 20E45 |
| Defines | Conjugate subgroup |
| Uses | Subgroup, Conjugate elements |
Markdown · JSON · Edit on GitHub
What this page needs for W2
- edge instance_of in: one example (0 of 1)
- edge not_instance_of in: one non-example that fails one clause (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.