Finite dimensional semigroup quadratic algebras with minimal number of relations

Abstract

A quadratic semigroup algebra is an algebra over a field given by the generators $x_1,...,x_n$ and a finite set of quadratic relations each of which either has the shape $x_j{x}_k=0$ or the shape $x_j{x}_k=x_l{x}_m$. We prove that a quadratic semigroup algebra given by $n$ generators and $d\le \frac{n^2+n}{4}$ relations is always infinite dimensional. This strengthens the Golod--Shafarevich estimate for the above class of algebras. Our main result however is that for every $n$, there is a finite dimensional quadratic semigroup algebra with $n$ generators and ${\delta }_n$ relations, where ${\delta }_n$ is the first integer greater than $\frac{n^2+n}{4}$. This shows that the above Golod-Shafarevich type estimate for semigroup algebras is sharp.

V3: corrected typos and stylistic changes, accepted for publication in Monatshefte fuer Mathematik

Cited by in corpus (1)

• Golod-Shafarevich algebras, free subalgebras and Noetherian images