Publicationes Mathematicae Banner
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

Authors: Lindsay N. Childs and Cornelius Greither

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