orthogonal transvection正交平延
unitary transvection酉平延
transvection effect反式效应
symplectic transvection辛平延
u-transvection平延
elementary Eichler transvection基本Eichler变换
projective unitary transvection group射影酉平延群
unitary transvection group酉平延群