Theorems that help decompose a finite group based on prime factors of its order
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
This article includes a list of general references, but it lacks sufficient corresponding inline citations. Please help to improve this article by introducing more precise citations.(November 2018) (Learn how and when to remove this message)
In mathematics, specifically in the field of finite group theory, the Sylow theorems are a collection of theorems named after the Norwegian mathematician Peter Ludwig Sylow[1] that give detailed information about the number of subgroups of fixed order that a given finite group contains. The Sylow theorems form a fundamental part of finite group theory and have very important applications in the classification of finite simple groups.
For a prime number , a Sylow p-subgroup (sometimes p-Sylow subgroup) of a group is a maximal -subgroup of , i.e., a subgroup of that is a p-group (meaning its cardinality is a power of or equivalently, the order of every group element is a power of ) that is not a proper subgroup of any other -subgroup of . The set of all Sylow -subgroups for a given prime is sometimes written .
The Sylow theorems assert a partial converse to Lagrange's theorem. Lagrange's theorem states that for any finite group the order (number of elements) of every subgroup of divides the order of . The Sylow theorems state that for every prime factor of the order of a finite group , there exists a Sylow -subgroup of of order , the highest power of that divides the order of . Moreover, every subgroup of order is a Sylow -subgroup of , and the Sylow -subgroups of a group (for a given prime ) are conjugate to each other. Furthermore, the number of Sylow -subgroups of a group for a given prime is congruent to 1 (mod ).
^Cite error: The named reference Sylow1872 was invoked but never defined (see the help page).
finite group theory, the Sylowtheorems are a collection of theorems named after the Norwegian mathematician Peter Ludwig Sylow that give detailed information...
Galois in algebra. Sylowtheorems and p-groups, known as Sylow subgroups, are fundamental in finite groups. By profession, Sylow was a teacher at the...
another proof of Burnside's theorem, because Burnside's theorem is used to prove this converse. A Sylow system is a set of Sylow p-subgroups Sp for each prime...
groups of order n, as a consequence, for example, of results such as the Sylowtheorems. For example, every group of order pq is cyclic when q < p are primes...
This is a list of notable theorems. Lists of theorems and similar statements include: List of algebras List of algorithms List of axioms List of conjectures...
The Sylow subgroups of the symmetric groups are important examples of p-groups. They are more easily described in special cases first: The Sylow p-subgroups...
group Product of group subsets Schur multiplier Semidirect product Sylowtheorems Hall subgroup Wreath product Butterfly lemma Center of a group Centralizer...
{\textstyle L} . In general, theorems relating the properties of a lattice with properties of its dual are known as transference theorems. In this section we explain...
of a Hausdorff commutative topological group is closed. The isomorphism theorems from ordinary group theory are not always true in the topological setting...
Sylowtheorems Transcendence of e and π (as corollaries of Lindemann–Weierstrass) Tychonoff's theorem (to do) Ultrafilter lemma Ultraparallel theorem...
not a prime power, then every Sylow subgroup is proper, and, by Sylow's Third Theorem, we know that the number of Sylow p-subgroups of a group of order...
the field of complex numbers. By invoking the Kodaira embedding theorem and Chow's theorem one may equivalently define a complex abelian variety of dimension...
with topology, and obtained the first proof of the full Nielsen–Schreier theorem. Otto Schreier published an algebraic proof of this result in 1927, and...
{\displaystyle m\times m} upper triangular matrix. Any finite group whose p-Sylow subgroups are cyclic is a semidirect product of two cyclic groups, in particular...
whose underlying variety is a projective variety. Chevalley's structure theorem states that every algebraic group can be constructed from groups in those...
cyclic; this implies that its Sylow subgroups are cyclic or generalized quaternion groups. Any group such that all Sylow subgroups are cyclic is called...
known as the orbit-stabilizer theorem. If G is finite then the orbit-stabilizer theorem, together with Lagrange's theorem, gives | G ⋅ x | = [ G : G x...
ISBN 978-0-486-81690-6. For the Sylowtheorems see p. 43; for Lagrange's theorem, see p. 12; for Burnside's theorem see p. 143. Bryant, John; Sangwin...
H is called the index of H in G and is denoted by [G : H]. Lagrange's theorem states that for a finite group G and a subgroup H, [ G : H ] = | G | |...
products of primes in an essentially unique way. This is the fundamental theorem of arithmetic. Z {\displaystyle \mathbb {Z} } is a totally ordered set...
8. Let p be a prime and let n ≥ 1 {\displaystyle n\geq 1} . Let P be a Sylow p-subgroup of the symmetric group Spn. Then P is isomorphic to the iterated...
and inductive basis for the representation theory of groups with cyclic Sylow subgroups and more generally the representation theory of blocks of cyclic...