Are there classes of infinite groups that admit Sylow subgroups and where the Sylow theorems are valid ?
More precisely, I'm looking for classes of groups $\mathcal{C}$ with the following properties:
- $\mathcal{C}$ includes the finite groups
- in $\mathcal{C}$ there is a notion of Sylow subgroups that coincides with the usual one when restricted to finite groups
- Sylow's theorems (or part of them) are valid in $\mathcal{C}$
An example of such a class $\mathcal{C}$ is given by the class of profinite groups.