Abelian groups acting irreducibly and bilinear forms (Q6077849)

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

scientific article; zbMATH DE number 7742420
Language Label Description Also known as
default for all languages
No label defined
    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