scientific article; zbMATH DE number 16851
[For the entire collection see Zbl 0722.00009.] The author presents characterizations for classes of unitary groups in terms of groups and generating sets. A unitary group \(U=U(V,f_ \alpha)\) is given by a vector space \(V\) over a skewfield \(K\) and an \(\alpha\)- Hermitian form \(f_ \alpha: V\times V\to K\); it is assumed that \(n:=\dim V<\infty\), \(f_ \alpha\) is regular and \(\hbox{char }K\neq 2\). Let \(S\) denote the set of simple elements \(\sigma\) in \(U\) (i.e. \(\dim\hbox{kernel}(\sigma-1)=n-1)\). Then \(S\) generates \(G\). An element \(\sigma\in S\) is called a quasireflection or a (unitary) transvection if \(f_ \alpha(q,q)\neq 0\) respectively \(f_ \alpha(q,q)=0\) where \(V(\sigma-1)=Kq\). To each projective point \(Kq\) corresponds the subgroup \(U(Kq)\) of \(U\) which consists of \(id_ V\) and all elements \(\sigma\in S\) with \(V(\sigma-1)=Kq\). This observation leads to the basic frame of the first axiomatic approach: \(G\) is a group and \(\Sigma\) a set of subgroups of \(G\), \(\Sigma\) is invariant under inner automorphisms of \(G\), \(A\cap B=\{1\}\) for any two distinct elements \(A\), \(B\in\Sigma\), and \(S:=\bigcup\Sigma\) generates \(G\). Eight axioms are imposed upon \((G,\Sigma)\). If \((G,\Sigma)\) satisfies these axioms then \(G\) is isomorphic to a unitary group \(U(V,f_ \alpha)\) with \(n\geq 4\), and \(\hbox{ind}(f_ \alpha)=0\) or \(\alpha\neq\hbox{id}_ K\). Conversely, when \(n\geq 4\), and \(\hbox{ind}(f_ \alpha)=0\) or \(\alpha\neq\hbox{id}_ K\) then the unitary group \(U(V,f_ \alpha)\) meets the axioms. The second axiomatic description is due to Br. L. R. Patton and is based on the fact that each transvection is a product of three quasi-reflections. Hence the set \(M\) of quasi-reflections generates U. Patton's axiomatic system starts from a triplet \((G,M,n)\) where \(G\) is a group, \(M\) a generating set and \(n\geq 4\). This system covers all unitary groups \(U(V,f_ \alpha)\) with \(n\geq 4\) and \(\hbox{ind}(f_ \alpha)\leq{1\over 2}(n-2)\) and \(\alpha\neq\hbox{id}_ K\).
- Small systems of generators of isotropic unitary groups over finite fields of characteristic not two
- Unitary \(t\)-groups
- scientific article; zbMATH DE number 1550784 (Why is no real title available?)
- On unitary groups modulo infinitesimals
- Elementary covering numbers in odd-dimensional unitary groups
- On the geometry of unitary involutions
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3973542)
