-
2 $\开始组$ DB曾经告诉我,$Q_8$($Q_8阶$quartronic群8)有$P$(秩8),因此$P$的$P\oplus P\cong\mathbb{Z}[Q_8]\oplus\mathbb}Z}[Q _8]$是一个非平凡的投射模块。 (也许知道这足以对$P$进行反向工程,或者如果可以对缩写进行反向工程的话,可以ping DB:) $\端组$ —— 乔迪·威廉森 2023年5月16日5:35 -
2 $\开始组$ 我认为,一般来说,所有有限群$G$-射影$\mathbb都会发生这种情况 {Z} G公司 $-模的秩为$|G|$,对于每个射影,如果它与自身相加的次数足够多,那么它就成为自由的! 但我想我从来没有见过这样一个投影式的例子。 我认为所有这些都应该遵循斯旺定理,但我可能错了。 $\端组$ —— 山姆·K 2023年5月16日6:03 -
2 $\开始组$ GW:请参见下文。 $\端组$ —— 戴夫·本森 2023年5月16日11:27