Form equivalence class Howard-Rubin Number: 308-p
Statement:
If \(p\) is a prime and if \(Y\) is a set of non-empty, finite sets, then the weak direct product \(\prod_{y\in Y} S_y\) has a maximal \(p\)-subgroup. (\(S_y\) is the symmetric group on \(y\).)
Howard-Rubin number: 308 A-p
Citations (articles):
Howard/Yorke [1987]
Maximal p-subgroups and the axiom of choice
Connections (notes):
Note [24]
This note contains some definitions from group
theory that are used in \(\cal M22\), and forms [62 C], [62 D], [67 D], Form 180, and Form 308\((p)\)
References (books):
Back