On Abelian Hopf Galois structures and finite commutative nilpotent rings
نویسندگان
چکیده
Let G be an elementary abelian p-group of rank n, with p an odd prime. In order to count the Hopf Galois structures of type G on a Galois extension of fields with Galois group G, we need to determine the orbits under conjugation by Aut(G) of regular subgroups of the holomorph of G that are isomorphic to G. The orbits correspond to isomorphism types of commutative nilpotent Fp-algebras N of dimension n with N = 0. Adapting arguments of Kruse and Price, we obtain lower and upper bounds on the number fc(n) of isomorphism types of commutative nilpotent algebras N of dimension n (as vector spaces) over the field Fp satisfying N = 0. For n = 3, 4 there are five, resp. eleven isomorphism types of commutative nilpotent algebras, independent of p (for p > 3). For n ≥ 6, we show that fc(n) depends on p. In particular, for n = 6 we show that fc(n) ≥ b(p− 1)/6c by adapting an argument of Suprunenko and Tyschkevich. For n ≥ 7, fc(n) ≥ pn−6. Conjecturally, fc(5) is finite and independent of p, but that case remains open. Finally, applying a result of Poonen, we observe that the number of Hopf Galois structures of type G is asymptotic to fc(n) as n goes to infinity.
منابع مشابه
On the Galois correspondence for Hopf Galois structures
We study the question of the surjectivity of the Galois correspondence from subHopf algebras to subfields given by the Fundamental Theorem of Galois Theory for abelian Hopf Galois structures on a Galois extension of fields with Galois group Γ, a finite abelian p-group. Applying the connection between regular subgroups of the holomorph of a finite abelian p-group (G,+) and associative, commutati...
متن کاملElementary Abelian Hopf Galois Structures and Polynomial Formal Groups
We find a relationship between regular embeddings of G, an elementary abelian p-group of order p, into unipotent upper triangular matrices with entries in Fp and commutative dimension n degree 2 polynomial formal groups with nilpotent upper triangular structure matrices. We classify the latter when n = 3 up to linear isomorphism, and use that classification to determine the number of Hopf Galoi...
متن کاملNILPOTENT GRAPHS OF MATRIX ALGEBRAS
Let $R$ be a ring with unity. The undirected nilpotent graph of $R$, denoted by $Gamma_N(R)$, is a graph with vertex set ~$Z_N(R)^* = {0neq x in R | xy in N(R) for some y in R^*}$, and two distinct vertices $x$ and $y$ are adjacent if and only if $xy in N(R)$, or equivalently, $yx in N(R)$, where $N(R)$ denoted the nilpotent elements of $R$. Recently, it has been proved that if $R$ is a left A...
متن کاملFixed-point Free Endomorphisms and Hopf Galois Structures
Let L|K be a Galois extension of fields with finite Galois group G. Greither and Pareigis [GP87] showed that there is a bijection between Hopf Galois structures on L|K and regular subgroups of Perm(G) normalized by G, and Byott [By96] translated the problem into that of finding equivalence classes of embeddings of G in the holomorph of groups N of the same cardinality as G. In [CCo06] we showed...
متن کاملHomotopic Hopf-Galois extensions of commutative differential graded algebras
This thesis is concerned with the definition and the study of properties of homotopic Hopf-Galois extensions in the category Ch 0 k of chain complexes over a field k, equipped with its projective model structure. Given a differential graded k-Hopf algebra H of finite type, we define a homotopic H-Hopf-Galois extension to be a morphism ' : B ! A of augmented H-comodule dg-k-algebras, where B is ...
متن کامل