2018/92/3-4 (16)
—
DOI: 10.5486/PMD.2018.8081
—
pp. 495-516
Bounds on the number of ideals in finite commutative nilpotent $\mathbb{F}_p$-algebras
Abstract:
Let $A$ be a finite commutative nilpotent $\mathbb{F}_p$-algebra structure on $G$, an elementary abelian group of order $p^n$. If $K/k$ is a Galois extension of fields with Galois group $G$ and $A^p=0$, then corresponding to $A$ is an $H$-Hopf Galois structure on $K/k$ of type $G$. For that Hopf Galois structure, we may study the image of the Galois correspondence from $k$-subHopf algebras of $H$ to subfields of $K$ containing $k$ by utilizing the fact that the intermediate subfields correspond to the $\mathbb{F}_p$-subspaces of $A$, while the subHopf algebras of $H$ correspond to the ideals of $A$. We obtain upper and lower bounds on the proportion of subspaces of $A$ that are ideals of $A$, and test the bounds on some examples.
Keywords: nilpotent algebras, ideals, Hopf Galois theory
Mathematics Subject Classification: 13M05, 16T05, 12F10, 11R32
