We prove rationality of the quotient Cn/HnCn/Hn for the finite Heisenberg group HnHn, any n≥1n≥1, acting on CnCn via its irreducible representation.
生成讲解博客的中文版本
生成AI智能校验的中文版本