Minimal relative Hilbert-Kunz multiplicity
type: Item
instance of: scholarly article
title: Minimal relative Hilbert-Kunz multiplicity
zbMATH Open document ID: 1089.13007
author: Ken-Ichi Yoshida
author: Kei-Ichi Watanabe
published in: Illinois Journal of Mathematics
publication date: 2004-03-17T00:00:00Z
review text: Let \(V\) be an \(n\)-dimensional vector space over a field and \(S = S(V)\) the symmetric algebra. For a subgroup \(G\) of \(\mathrm{GL}(V)\) let \(S^G\) denote the ring of invariants. In general there is a big difference between the modular and the non-modular situation in invariant theory. In the case of \(L\) a finite non-modular group whose ring of invariants form a polynomial ring and \(H\) a subgroup of \(L\) containing the derived group of \(L\) there are necessary and sufficient conditions on \(H\) for its invariant ring \(S^H\) to be a hypersurface. In fact, \textit{H. Nakajima} [J. Algebra 80, 279--294 (1983; Zbl 0524.14013)] has shown that if \(S^H\) is a hypersurface, then between \(H\) and \(L\) there is a group \(G\) with polynomial invariant ring such that \(S^H = S^G[b]\) for some \(b \in S^H.\) The modular analog of this result is not true. In the present paper the authors extend this result to the modular case. In particular, for \(G\) a finite modular \(p\)-group over F\(_p\) with polynomial invariant ring and \(H\) a subgroup of \(G\) containing the derived group of \(G\) there are necessary and sufficient conditions on \(H\) to guarantee that \(S^H = S^G[b].\) In their investigations the authors prove a generalization of a result of \textit{H. E. A. Campbell} and \textit{I. P. Hughes} [J. Algebra 211, 549--561 (1999; Zbl 0926.13003)].
reviewed by: Peter Schenzel
Mathematics Subject Classification ID: 13A50
Mathematics Subject Classification ID: 20D15
zbMATH DE Number: 2060311
zbMATH Keywords: modular invariants
zbMATH Keywords: rings of invariants
zbMATH Keywords: finite modular \(p\)-group
zbMATH Keywords: polynomial invariant ring
MaRDI profile type: Publication
Recommended article: Rings of invariants of certain \(p\)-groups over the field \(\mathbb{F}_p\)
Recommended article: Hypersurfaces in modular invariant theory
Recommended article: Subgroups of a finite group whose algebra of invariants is a complete intersection
Recommended article: Invariants of hyperplane groups and vanishing ideals of finite sets of points
Recommended article: Q2988039
Recommended article: On finite unipotent transvection groups and their invariants
Recommended article: Vector invariants in arbitrary characteristic
Recommended article: Rings of Invariants and p-Sylow Subgroups
Recommended article: Vector invariants for the two-dimensional modular representation of a cyclic group of prime order
Recommended article: On rings of invariants of non-modular Abelian groups
description: scientific article; zbMATH DE number 2060311