English

Zero-separating invariants for finite groups

Commutative Algebra 2014-06-25 v1

Abstract

We fix a field \kk\kk of characteristic pp. For a finite group GG denote by δ(G)\delta(G) and σ(G)\sigma(G) respectively the minimal number dd, such that for any finite dimensional representation VV of GG over \kk\kk and any vVG{0}v\in V^{G}\setminus\{0\} or vV{0}v\in V\setminus\{0\} respectively, there exists a homogeneous invariant f\kk[V]Gf\in\kk[V]^{G} of positive degree at most dd such that f(v)0f(v)\ne 0. Let PP be a Sylow-pp-subgroup of GG (which we take to be trivial if the group order is not divisble by pp). We show that δ(G)=P\delta(G)=|P|. If NG(P)/PN_{G}(P)/P is cyclic, we show σ(G)NG(P)\sigma(G)\ge|N_{G}(P)|. If GG is pp-nilpotent and PP is not normal in GG, we show σ(G)Gl\sigma(G)\le \frac{|G|}{l}, where ll is the smallest prime divisor of G|G|. These results extend known results in the non-modular case to the modular case.

Keywords

Cite

@article{arxiv.1308.0991,
  title  = {Zero-separating invariants for finite groups},
  author = {Jonathan Elmer and Martin Kohls},
  journal= {arXiv preprint arXiv:1308.0991},
  year   = {2014}
}

Comments

16 pages

R2 v1 2026-06-22T01:04:04.047Z