我们提供了第一个有限生成的简单群的例子，它们是顺从的（和无限的）。为此，我们证明了极小系统的拓扑全群是可容许的。这源于整数分段转换的不变状态的一般存在性结果。这些态是通过在经典伯努利空间上构造一个合适的密度族来获得的。
2017–2024年欧几里德项目的在线内容
