Quintic rings over Dedekind domains and their sextic resolvents (Q2153907)

\textit{M. Bhargava} [Ann. Math. (2) 167, No. 1, 53--94 (2008; Zbl 1173.11058)] parametrized quintic rings over \(\mathbb Z\) by quadruples of alternating matrices. The paper under review successfully extends the construction to rings over Dedekind domains, and no restriction of the characteristic. The main theorem is compatible with the corresponding result(s) of Bhargava asserting that there is a suitable notion of resolvent for quintic ring, with certain properties. The author had to make a considerable effort in this generalization from \(\mathbb Z\) to any Dedekind domain, starting with defining a (generalized) sextic resolvent which consists of a pair of locally free modules \(L, M\), along with two multilinear maps between them. These maps encode uniquely the multiplication data of the quintic ring. Every quintic ring over a Dedekind domain admits at least one resolvent. A very degenerate quintic algebra is defined and it is proved that every not-very degenerate quintic \(K\)-algebra (\(K\) a field) has a unique resolvent up to an isomorphism. The author also gives an upper bound on the number of resolvents for a not very degenerate quintic ring. The paper ends with three examples to illustrate the concepts and constructions.