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.
- Publication:
-
arXiv e-prints
- Pub Date:
- June 2017
- DOI:
- 10.48550/arXiv.1706.02518
- arXiv:
- arXiv:1706.02518
- Bibcode:
- 2017arXiv170602518C
- Keywords:
-
- Mathematics - Rings and Algebras;
- 13M05 (Primary);
- 12F10;
- 13B05 (Secondary)
- E-Print:
- 21 pages