MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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

I'm interested in finding an algebra with elements x,y which are identified by every finite-dimensional module. I'm primarily interested in the case that everything is over the complex field, but answers over other fields would also be interesting.

share|cite|improve this question
up vote 11 down vote accepted

The Weyl algebra, generated by $x$ and $y$ subject to the single relation $xy-yx=1$, is an example. A silly one, one may add: it does not have any finite dimensional representation!

There are more interesting examples: let $\mathfrak g$ be the Lie algebra with basis $x_i$, $y_i$, with $i\in\mathbb Z$, and $z$, such that the only non-zero brackets are $[x_i,y_i]=z$, for all $i\in\mathbb Z$. If $A=\mathcal U(\mathfrak g)$ is the enveloping algebra of $\mathfrak g$, then $z$ acts by zero in every finite dimensional module.

There are finitely-generated examples, too.

share|cite|improve this answer

A similar example to Mariano's is the algebra generated by x,y subject to the relation $xy=1$. In a finite dimensional representation, yx must of course map to the same element as 1. However, there is a faithful infinite dimensional rep where x,y go to a unilateral shift and its adjoint so yx is not 1.

share|cite|improve this answer
There is always a faithful representation: the regular one :) – Mariano Suárez-Alvarez Sep 10 '11 at 22:14
Yes, but it is not immediate from a presentation that the relation xy=1 doesn't imply yx=1. One needs to give an explicit representation showing that xy=1 is possible with yx not equal to 1. – Benjamin Steinberg Sep 10 '11 at 23:53
Ah. Sure. What I had in mind is this: Bergman's diamond lemma immediately (there are no ambiguitities at all!) implies that your algebra has a basis of monomials and, in particular, that x and y are different and that yx is not one. – Mariano Suárez-Alvarez Sep 11 '11 at 0:14
By the way my answer is a special case of the following fact: if M is a finitely generated monoid which is not residually finite and x,y in M are elements of M not separable in a finite image, then the corresponding elements of the monoid algebra are not separable by finite dimensional reps. This follows from Malcev's theorem that finitely generated linear monoids are residually finite. – Benjamin Steinberg Sep 11 '11 at 3:39
Thanks, interesting discussion! – Jamie Vicary Sep 13 '11 at 12:54

Your Answer


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

Not the answer you're looking for? Browse other questions tagged or ask your own question.