Related papers: Classical invariant theory for free metabelian Lie…

The variety of bicommutative algebras consists of all nonassociative algebras satisfying the polynomial identities of right- and left-commutativity $(x_1x_2)x_3=(x_1x_3)x_2$ and $x_1(x_2x_3)=x_2(x_1x_3)$. Let $F_d$ be the free $d$-generated…

We consider the 2-generated free metabelian associative and Lie algebras over the complex field and the invariants of the dihedral groups of finite order acting on these algebras. In the associative case we find a finite set of generators…

The purpose of this survey paper is to bring to a large mathematical audience (containing also non-algebraists) some topics of invariant theory both in the classical commutative and the recent noncommutative case. We have included only…

Let $K\langle X_d\rangle$ be the free associative algebra of rank $d \geq 2$ over a field $K$. Lane in 1976 and Kharchenko in 1978 proved that the algebra of invariants $K\langle X_d\rangle^G$ is free for any subgroup $G \leq…

A nonzero locally nilpotent linear derivation of the polynomial algebra K[X] in d variables over a field K of characteristic 0 is called a Weitzenboeck derivation. The classical theorem of Weitzenboeck states that the algebra of constants…

Let $K[X_d]=K[x_1,\ldots,x_d]$ be the polynomial algebra in $d$ variables over a field $K$ of characteristic 0. The classical theorem of Weitzenb\"ock from 1932 states that for linear locally nilpotent derivations $\delta$ (known as…

Let $K\langle X_d\rangle$ denote the free associative algebra of rank $d \geq 2$ over a field $K$. By results of Lane (1976) and Kharchenko (1978), the algebra of invariants $K\langle X_d\rangle ^G$ is free for any subgroup $G \leq…

The classical theorem of Weitzenboeck states that the algebra of invariants of a single unipotent transformation $g$ in $GL_m(K)$ acting on the polynomial algebra $K[x_1,...,x_m]$ over a field $K$ of characteristic 0 is finitely generated.…

Let $\mathfrak{R}$ be a weakly noetherian variety of unitary associative algebras (over a field $K$ of characteristic 0), i.e., every finitely generated algebra from $\mathfrak{R}$ satisfies the ascending chain condition for two-sided…

By the classical theorem of Weitzenboeck the algebra of constants (i.e., the kernel) of a nonzero locally nilpotent linear derivation of the polynomial algebra K[X] in d variables over a field K of characteristic 0 is finitely generated. As…

Let $G$ be a simple linear algebraic group over an algebraically closed field $K$ of characteristic $p \geq 0$ and let $V$ be an irreducible rational $G$-module with highest weight $\lambda$. When $V$ is self-dual, a basic question to ask…

We establish a noncommutative analogue of the first fundamental theorem of classical invariant theory. For each quantum group associated with a classical Lie algebra, we construct a noncommutative associative algebra whose underlying vector…

Let $K[X_n]$ be the commutative polynomial algebra in the variables $X_n=\{x_1,\ldots,x_n\}$ over a field $K$ of characteristic zero. A theorem from undergraduate course of algebra states that the algebra $K[X_n]^{S_n}$ of symmetric…

Let G be a Coxeter group of type A_n, B_n, D_n or I_2(N), or a complex reflection group of type G(de,e,n). Let V be its standard representation and let k be an integer greater than 2. Then G acts on S(V)^{\otimes k}. We show that the…

Let the finite group $G$ act linearly on the vector space $V$ over the field $k$ of arbitrary characteristic. If $H<G$ is a subgroup the extension of invariant rings $k[V]^G\subset k[V]^H$ is studied using modules of covariants. An example…

Let V be a finite dimensional complex superspace and G a simple (or a ``close'' to simple) Lie superalgebra of matrix type, i.e., a Lie subsuperalgebra in GL(V). Under the classical invariant theory for G we mean the description of…

For a simple complex Lie algebra $\mathfrak g$ we study the space of invariants $A=\left( \bigwedge \mathfrak g^*\otimes\mathfrak g^*\right)^{\mathfrak g}$, (which describes the isotypic component of type $\mathfrak g$ in $ \bigwedge…

Let $K\left\langle X \right\rangle$ denote the free associative algebra generated by a set $X = \{x_1, \dots, x_n\}$ over a field $K$ of characteristic $0$. Let $I_p$, for $p \geq 2$, denote the two-sided ideal in $K\left\langle X…

We apply the filtered and graded methods developed in earlier works to find (noncommutative) free group algebras in division rings. If $L$ is a Lie algebra, we denote by $U(L)$ its universal enveloping algebra. P. M. Cohn constructed a…

We study finite-rank left-translation invariant algebraic $D$-modules on complex affine algebraic groups. Using the standard description of these objects as left-invariant flat algebraic connections on the trivial vector bundle, modulo…