Abelian groups acting irreducibly and bilinear forms (Q6077849)
From MaRDI portal
scientific article; zbMATH DE number 7742420
Language | Label | Description | Also known as |
---|---|---|---|
English | Abelian groups acting irreducibly and bilinear forms |
scientific article; zbMATH DE number 7742420 |
Statements
Abelian groups acting irreducibly and bilinear forms (English)
0 references
27 September 2023
0 references
A symplectic bilinear form is a nonsingular skew-symmetric bilinear form. In this article, the author has provided new proofs for the following known results which avoid the changing of the natural module. The results are the same for nonsingular bilinear form and symplectic bilinear form in which the condition \(|C|>2\) is automatically implied. Theorem 1. Let \(\mathbb{F}_{q}\) be a finite field with \(q\) elements, where \(q\) is a power of a prime \(p\). Suppose \(V\) is a finite dimensional vector space over \(\mathbb{F}_{q}\) and assume that \[ \langle ,\rangle : V \times V \rightarrow \mathbb{F}_{q} \] is a \textit{nonsingular} bilinear form. Assume that \(C\) is a finite abelian group, that \(|C| > 2\), that \(C\) acts irreducibly and faithfully on \(V\) and that the action of \(C\) preserves the form \(\langle ,\rangle\). Then the dimension of \(V\) is an even integer \(2m > 0\), \(C\) is cyclic and \(|C| \ | \ q^{m} + 1\). In particular, \(C\) is isomorphic to a subgroup of the multiplicative group of order \(q^{m} + 1\) of the finite field \(\mathbb{F}_{q^{2m}}\). Theorem 2. Let \(\mathbb{F}_{q}\) be a finite field with \(q\) elements, where \(q\) is a power of a prime \(p\). Suppose \(V\) is a finite dimensional vector space over \(\mathbb{F}_{q}\) and assume that \[ \langle ,\rangle: V \times V \rightarrow \mathbb{F}_{q} \] is a \textit{symplectic} bilinear form. Assume that \(C\) is a finite abelian group, that \(C\) acts irreducibly and faithfully on \(V\) and that the action of \(C\) preserves the form \(\langle ,\rangle\). Then the dimension of \(V\) is an even integer \(2m > 0\), \(C\) is cyclic and \(|C| \ | \ q^{m} + 1\). In particular, \(C\) is isomorphic to a subgroup of the multiplicative group of order \(q^{m} + 1\) of the finite field \(\mathbb{F}_{q^{2m}}\). The topic covered in this article is a valuable topic in algebra which has applications in Hamiltonian mechanics, complex geometry, Lie groups and Lie algebras. So this single-authored article is worth studying.
0 references
finite groups
0 references
representations
0 references
symplectic group
0 references
bilinear forms
0 references