Linear Algebra Estimates

TL;DR

This paper generalizes a linear algebra estimate related to submodules and automorphism groups, extending it to higher dimensions and symplectic groups, with potential applications in algebra and number theory.

Contribution

It introduces a new estimate for finite submodules of arbitrary dimension and subgroup actions, broadening previous results to more general algebraic structures.

Findings

Generalized the estimate to higher-dimensional submodules

Extended the result to subgroups of the general linear group

Derived an analog for symplectic group actions

Abstract

In this paper we give a generalization of a linear algebra estimate that occurs in the paper \cite{RS}, by Michael Rosen and Joseph H. Silverman. In \cite{RS} authors give a bound for the size of a submodule of $(\mathbb{Z}/n \mathbb{Z})^2$ in terms of a power of the index of any subgroup of automorphism group of $(\mathbb{Z}/n \mathbb{Z})^2$ which is acting in an abelian way on that submodule, meaning that given $A$ and $B$ as any two elements in the automorphism group $AB-BA$ annihilates all elements of the submodule. We will give a similar estimate for finite submodules of arbitrary dimension $m$ and subgroups of general linear group acting on them. Later we will derive the analog of this result for the case of subgroups of the symplectic group acting on finite submodules in an abelian fashion.