Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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|improve this question
add comment

Your Answer

 
discard

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

Browse other questions tagged or ask your own question.