google-deepmind / google-deepmind/formal-conjectures
Erdös Problem 1163
Open
ambiguous
ams-20 Group theory and generalizations
erdos-problems
new conjecture
- Dominant language
- Lean
- Stars
- 1.3k
- Forks
- 485
- Avg merge
- 1d 20h
- Merged PRs (30d)
- 328
Description
### What is the conjecture
Describe (by statistical means) the arithmetic structure of the orders of subgroups of $S_n$.
This problem is quite vague, this issue is meant for a possible interpretation or some partial progress, which can be seen as progress on this problem.
Sources:
https://www.erdosproblems.com/1163
### [AMS categories](https://github.com/google-deepmind/formal-conjectures/labels?q=ams-)
* ams-20
### Choose either option
- [ ] I plan on adding this conjecture to the repository
- [x] This issue is up for grabs: I would like to see this conjecture added by somebody else
Contributor guide
Assessment
This issue has not been assessed yet.