Zero-separating invariants for finite groups

DOI10.1016/J.JALGEBRA.2014.03.044MaRDI QIDQ403339zbMATH OpenOpenAlexFDO

Authors Jon Elmer, Martin Kohls

Publication date 29 August 2014

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1308.0991

zbMATH Keywords

\(G\)-modulegroup actionlinear algebraic groupSylow-\(p\)-subgroup

Mathematics Subject Classification ID

Actions of groups on commutative rings; invariant theory (13A50) Geometric invariant theory (14L24)

Abstract: We fix a field $kk$ of characteristic $p$. For a finite group $G$ denote by $delta(G)$ and $sigma(G)$ respectively the minimal number $d$, such that for any finite dimensional representation $V$ of $G$ over $kk$ and any $vin{V}^{G}setminus0$ or $vinVsetminus0$ respectively, there exists a homogeneous invariant $finkk[V{]}^G$ of positive degree at most $d$ such that $f(v)e0$. Let $P$ be a Sylow-$p$-subgroup of $G$ (which we take to be trivial if the group order is not divisble by $p$). We show that $delta(G)=|P|$. If $N_G(P)/P$ is cyclic, we show $sigma(G)ge|N_G(P)|$. If $G$ is $p$-nilpotent and $P$ is not normal in $G$, we show $sigma(G)lefrac|G|l$, where $l$ is the smallest prime divisor of $|G|$. These results extend known results in the non-modular case to the modular case.

Review text

Let \(k\) be a fixed field of characteristic \(p\). For a finite group \(G\) denote by \(\delta (G) \) and \(\sigma(G)\) respectively the minimal number \(d\), such that for every finite dimensional representation \(V\) of \(G\) over \(k\) and every \(v \in V^{G}-\left\{0\right\}\) or \(v\in V-\left\{0\right\} \) respectively, there exists a homogeneous invariant \(f \in k[V]^{G} \) of positive degree at most \(d\) such that \(f(v)\neq 0\). Let \(P\) be a Sylow-\(p\)-subgroup of \(G\) (which we take to be trivial if the group order is not divisible by \(p\)). In this article the authors show that \(\delta (G) = |P|\). If \(NG(P)/P\) is cyclic, they show \(\sigma(G) \geq |NG(P)|\). If \(G\) is \(p\)-nilpotent and \(P\) is not normal in \(G\), they show \(\sigma (G) \leq (|G|)/l\), where \(l\) is the smallest prime divisor of \(|G|\). These results extend known results in the non-modular case to the modular case.

Recommendations

• Zero-separating invariants for linear algebraic groups
• Explicit separating invariants for cyclic \(P\)-groups.
• Separating invariants over finite fields
• Degree of reductivity of a modular representation
• Separating invariants for modular \(p\)-groups and groups acting diagonally

Cites work

• Computational invariant theory
• Degree bounds for separating invariants
• scientific article; zbMATH DE number 3697268 (Why is no real title available?)
• scientific article; zbMATH DE number 18587 (Why is no real title available?)
• scientific article; zbMATH DE number 706263 (Why is no real title available?)
• Invariants of the dihedral group D_2p in characteristic two
• On Noether's bound for polynomial invariants of a finite group
• On the 14-th Problem of Hilbert
• On the generalized Davenport constant and the Noether number
• Polarization of Separating Invariants
• Polynomial bounds for rings of invariants
• The Magma algebra system. I: The user language
• The Noether bound in invariant theory of finite groups
• Typical separating invariants

Cited in

(13)

• Separating invariants for \(2 \times 2\) matrices
• Two zero-sum invariants on finite abelian groups
• Separating invariants of finite groups
• Separating invariants over finite fields
• The interplay of invariant theory with multiplicative ideal theory and with arithmetic combinatorics
• Zero-separating invariants for linear algebraic groups
• On separating a fixed point from zero by invariants
• Degree of reductivity of a modular representation
• scientific article; zbMATH DE number 3898994 (Why is no real title available?)
• Separating invariants for multisymmetric polynomials
• scientific article; zbMATH DE number 2203360 (Why is no real title available?)
• Estimation under group actions: recovering orbits from invariants
• Degree bounds for fields of rational invariants of \(\mathbb{Z}/p\mathbb{Z}\) and other finite groups

Describes a project that uses

Uses Software

• Magma

This page was built for publication: Zero-separating invariants for finite groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q403339)