Commuting Probability #
This file introduces the commuting probability of finite groups.
Main definitions #
comm_prob
: The commuting probability of a finite type with a multiplication operation.
Todo #
- Neumann's theorem.
group_theory.commuting_probability
This file introduces the commuting probability of finite groups.
comm_prob
: The commuting probability of a finite type with a multiplication operation.