Commit 2023-09-02 15:49 40f72b55
View on Github →feat(GroupTheory/CommutingProbability): Group with commuting probability exactly 1/n (#6582) This PR constructs a group with commuting probability exactly 1/n as a product of dihedral groups. Besides independent interest, this construction is useful for handling factors of 1/n (e.g., the end of this blog post: https://randompermutations.com/2015/02/06/commuting-probability-of-compact-groups/).