arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 1803.05342math.GR
收藏

扭转单位的Zassenhaus猜想对$\text{SL}(2,p)$和$\text{SL}(2,p^2)$成立

Zassenhaus Conjecture on torsion units holds for $\text{SL}(2,p)$ and $\text{SL}(2,p^2)$

Ángel del Río, Mariano Serrano

摘要:

Zassenhaus证明了有限群$G$的整群环$\mathbb{Z}G$中的任何有限阶增广单位$1$在有理群代数$\mathbb{Q}G$中共轭于$G$的一个元素。证明了群$\text{SL}(2,p)$和$\text{SL}(2,p^2)$的Zassenhaus猜想,其中$p$是素数.这是第一个证明了Zassenhaus猜想的非可解群的无限族.证明了若$G=\text{SL}(2,p^f)$,其中$f$是任意的,且$u$是$\mathbb{Z}G$的扭单位,且增广$1$且与$p$阶互质,则$u$在$\mathbb{Q}G$中共轭于$G$的一个元素.通过已知的结果,这简化了Zassenhaus猜想对于这一群的证明,证明了$p$和增广$1$的阶倍数的$\mathbb{Z}G$的每个单元实际上具有阶$p$。

英文摘要:

H.J. Zassenhaus conjectured that any unit of finite order and augmentation $1$ in the integral group ring $\mathbb{Z}G$ of a finite group $G$ is conjugate in the rational group algebra $\mathbb{Q}G$ to an element of $G$. We prove the Zassenhaus Conjecture for the groups $\text{SL}(2,p)$ and $\text{SL}(2,p^2)$ with $p$ a prime number. This is the first infinite family of non-solvable groups for which the Zassenhaus Conjecture has been proved. We also prove that if $G=\text{SL}(2,p^f)$, with $f$ arbitrary and $u$ is a torsion unit of $\mathbb{Z}G$ with augmentation $1$ and order coprime with $p$ then $u$ is conjugate in $\mathbb{Q}G$ to an element of $G$. By known results, this reduces the proof of the Zassenhaus Conjecture for this groups to prove that every unit of $\mathbb{Z}G$ of order multiple of $p$ and augmentation $1$ has actually order $p$.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑