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
    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

    Identifiers