是的，无限阶的群确实有一些类似于拉格朗日定理的结论。以下是一个重要的例子：在有限阶群的情形中，一个p阶子群必定是正规子群当且仅当它是循环群（即只有一个生成元）。然而对于无限阶群来说，即使存在非平凡的正规子群也不一定有类似的结果。例如，如果G是一个可数阿贝尔群而H是其2阶自同构子群（也称为“扭”操作），那么H实际上就是G的一个正规的n_i>1的元素生成的自由子群。但要注意的是这并不是真正的“类比于拉格朗日定理”，因为并没有涉及到阶的问题。

[G:K]=[G:H][H:K]还能继续用。主要是都无限阶了也谈不上什么整除不整除了。

承认选择公理就还依然成立, 乘法改为基数乘法