Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

The famous Burnside group of exponent $n$ over a set $G$ of generators is the group defined by generators $g\in G$ and relations $h^n=1$ where $h$ is any product of elements of $G$.

Likewise, let $G$ be any set of indeterminates, let ${\mathbb Q}[G]$ denote the ring of noncommutative polynomials in $G$, and let ${\mathbb Q}'[G]$ denote the hyperplane in ${\mathbb Q}[G]$ of polynomials with no constant term. Denote by $I_n$ the ideal generated by all $n$-th powers of elements of ${\mathbb Q}'[G]$. Then $B_n(G)={\mathbb Q}'[G]/I$ might be called the "Burnside ring" of exponent $n$ over $G$.

When $n=2$, $B_2(G)$ is simply the exterior algebra over $G$.

Is it true that $B_n(G)$ is always finite dimensional when $G$ is finite ? Is a (more or less) simply described basis known ?

share|cite|improve this question

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.