Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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

2 Answers

up vote 10 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|improve this answer
add comment

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|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
add comment

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.