Form equivalence class Howard-Rubin Number: 62
Statement:
For every prime \(p\), 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: 62 D
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