加载中…
Let be a Hermitian form field and . We prove that if is a unitary matrix of level , then any short root transvection is a product of elementary unitary conjugates of and . Moreover, the bound is sharp. We also show that any extra short root transvection is a product of elementary unitary conjugates of and . If the level of is , then any -elementary extra short root transvection is a product of elementary unitary conjugates of and .

生成讲解博客的中文版本

生成AI智能校验的中文版本