Related papers: Zero-separating invariants for linear algebraic gr…

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…

Algebras with the polynomial identity (x,y,z)=(x,z,y), where (x,y,z)=x(yz)-(xy)z is the associator, are called right-symmetric. Novikov algebras are right-symmetric algebras satisfying additionally the polynomial identity x(yz)=y(xz). We…

If G is a finitely generated group, and A an algebraic group, then Hom(G,A) is a possibly reducible algebraic variety denoted by R_A(G). Here we define the profile function, P_d(R_A(G)), of the representation variety of G over A to be…

Let $K$ be an algebraically closed field of characteristic $2$, $G$ be the algebraic group $\mathrm{SL}_2$ over $K$, and $V$ be the natural representation of $G$. Let $b_k^{G,V}$ denote the number of $G$-indecomposable factors of…

The coprime commutators $\gamma_j^*$ and $\delta_j^*$ were recently introduced as a tool to study properties of finite groups that can be expressed in terms of commutators of elements of coprime orders. They are defined as follows. Let $G$…

Let G be a simple, simply connected and connected algebraic group over an algebraically closed field of characteristic p>0, and let V be a rational G-module such that dim V <= p. According to a result of Jantzen, V is completely reducible,…

In this paper, we study representations of the vertex operator algebra $L(k,0)$ at one-third admissible levels $k= -5/3, -4/3, -2/3$ for the affine algebra of type $G_2^{(1)}$. We first determine singular vectors and then obtain a…

We introduce the $\star_G$ tensor algebra, in which any finite group $G$ defines the multiplication rule, making equivariance an intrinsic algebraic property rather than an architectural constraint. The framework rests on three…

If V is a simple complex euclidean Jordan algebra and G the subgroup of GL(V) fixing the determinant of V, we give a unified description of the invariant algebras C[pV]^G, for p not greater than three.

Let G be a complex reductive group and V a G-module. Let \pi: V \to V//G be the quotient morphism and set N(V) = \pi^{-1}(\pi(0)). We consider the following question. Is the null cone N(V) reduced, i.e., is the ideal of N(V) generated by…

Let $\mathfrak{g}$ be a complex semisimple Lie algebra, $G$ a simply connected and connected Lie group with Lie algebra $\mathfrak{g}$ and $V$ a finite dimensional representation. We prove that the zero locus of quadrics containing $G.y$ is…

Let $n>0$ be an integer and $\mathcal{X}$ be a class of groups. We say that a group $G$ satisfies the condition $(\mathcal{X},n)$ whenever in every subset with $n+1$ elements of $G$ there exist distinct elements $x,y$ such that $<x,y>$ is…

For a connected quasi-split reductive algebraic group $G$ over a field $k$, which is either a finite field or a non-archimedean local field, $\theta$ an involutive automorphism of $G$ over $k$, let $K =G^\theta$. Let $K^1=[K^0,K^0]$, the…

Let $G$ be a connected reductive algebraic group defined over an algebraically closed field %$k$ of characteristic $p > 0$. Our first aim in this note is to give concise and uniform proofs for two fundamental and deep results in the context…

Let G be a reductive connected linear algebraic group over an algebraically closed field of positive characteristic and let g be its Lie algebra. First we extend a well-known result about the Picard group of a semisimple group to reductive…

Let G be a group and V a finite dimensional representation of G over an algebraically closed field k of characteristic p>0. Let $d_n(V)$ be the number of indecomposable summands of $V^{\otimes n}$ of nonzero dimension mod p. It is easy to…

A graph $\Gamma$ is called $G$-symmetric if it admits $G$ as a group of automorphisms acting transitively on the set of ordered pairs of adjacent vertices. We give a classification of $G$-symmetric graphs $\Gamma$ with $V(\Gamma)$ admitting…

The power graph $\mathcal{P}(G)$ of a finite group $G$ is the simple undirected graph whose vertex set is $G$, in which two distinct vertices are adjacent if one of them is an integral power of the other. For an integer $n\geq 2$, let $C_n$…

Let G be a reductive complex algebraic group and V a finite-dimensional G-module. From elements of the invariant algebra C[V]^G we obtain by polarization elements of C[kV]^G, where k\geq 1 and kV denotes the direct sum of k copies of V. For…

In this note, we compute the {\Sigma}^1(G) invariant when 1 {\to} H {\to} G {\to} K {\to} 1 is a short exact sequence of finitely generated groups with K finite. As an application, we construct a group F semidirect Z_2 where F is the R.…