Related papers: Invariants for the Modular Cyclic Group of Prime O…

In this paper, we study the vector invariants, ${\bf{F}}[m V_2]^{C_p}$, of the 2-dimensional indecomposable representation $V_2$ of the cylic group, $C_p$, of order $p$ over a field ${\bf{F}}$ of characteristic $p$. This ring of invariants…

Let $p$ be an odd prime and $\mathbb{F}_p$ be the prime field of order $p$. Consider a $2$-dimensional orthogonal group $G$ over $\mathbb{F}_p$ acting on the standard representation $V$ and the dual space $V^*$. We compute the invariant…

For modular indecomposable representations of a cyclic group $G$ of prime order $p$ we propose a list of polynomial invariants of degree $\leq 3$ that, together with a simple invariant of degree $p$, separate generic orbits and generate the…

We consider indecomposable representations of the Klein four group over a field of characteristic $2$ and of a cyclic group of order $pm$ with $p,m$ coprime over a field of characteristic $p$. For each representation we explicitly describe…

For a prime number p, we construct a generating set for the ring of invariants for the p+1 dimensional indecomposable modular representation of a cyclic group of order p^2. We then use the constructed invariants to describe the…

We consider the ring of coinvariants for modular representations of cyclic groups of prime order. For all cases for which explicit generators for the ring of invariants are known, we give a reduced Gr\"obner basis for the Hilbert ideal and…

Let $\mathbb{F}_p$ be the prime field of order $p>0$ and $G$ be an elementary abelian $p$-group.For some $n$-dimensional cohyperplane $G$-representations $V$ over $\mathbb{F}_p$, we show that $\mathbb{F}_p[V\oplus V^*]^G$, the invariant…

Let $p>3$ be a prime number. We compute the rings of invariants of the elementary abelian $p$-group $(\mathbb Z/p\mathbb Z)^r$ for $3$-dimensional generic representations. Furthermore we show that these rings of invariants are complete…

For a prime $p$, we show that uniqueness of factorization into irreducible $\Sigma_{p^2}$-invariant representations of $\mathbb{Z}/p \wr \mathbb{Z}/p$ holds if and only if $p=2$. We also show nonuniqueness of factorization for…

We compute the modular transformation formula of the characters for a certain family of (finitely or uncountably many) simple modules over the simple $\mathcal{N}=2$ vertex operator superalgebra of central charge…

We study the ring of invariants for a finite dimensional representation $V$ of the group $C_2$ of order 2 in characteristic $2$. Let $\sigma$ denote a generator of $C_2$ and $\{x_1,y_1 \dots, x_m,y_m\}$ a basis of $V^*$. Then $\sigma(x_i) =…

Based on recent successes concerning permutation resolutions of representations by Balmer and Gallauer we define a new invariant of finite groups: the p-permutation dimension. We define this analogously to the global dimension of a ring by…

We initiate a study of the rings of invariants of modular representations of elementary abelian p-groups. With a few notable exceptions, the modular representation theory of an elementary abelian p-group is wild. However, for a given…

Let $E$ be a elementary abelian $p$-group of order $q=p^n$. Let $W$ be a faithful indecomposable representation of $E$ with dimension 2 over a field $k$ of characteristic $p$, and let $V= S^m(W)$ with $m<q$. We prove that the rings of…

We consider finite dimensional representations of the dihedral group $D_{2p}$ over an algebraically closed field of characteristic two where $p$ is an odd integer and study the degrees of generating and separating polynomials in the…

The goal of invariant theory is to find all the generators for the algebra of representations of a group that leave the group invariant. Such generators will be called \emph{basic invariants}. In particular, we set out to find the set of…

A very classical subject in Commutative Algebra is the Invariant Theory of finite groups. In our work on 3-dimensional topology (S. King, Ideal Turaev-Viro invariants. To appear in Top. Appl.), we found certain examples of group actions on…

Let p denote an odd prime. For all p-admissible conductors c over a quadratic number field \(K=\mathbb{Q}(\sqrt{d})\), p-ring spaces \(V_p(c)\) modulo c are introduced by defining a morphism \(\psi:\,f\mapsto V_p(f)\) from the divisor…

Let $p$ be a prime number. Let $C_p$, the cyclic group of order $p$, permute transitively a set of indeterminates $\{ x_1,\ldots ,x_p \}$. We prove that the invariant field $\mathbb{Q}(x_1,\ldots ,x_p)^{C_p}$ is rational over $\mathbb{Q}$…

Let $G$ be a complex classical group, and let $V$ be its defining representation (possibly plus a copy of the dual). A foundational problem in classical invariant theory is to write down generators and relations for the ring of…