Skip to main content
2 of 2
Added a reference to Bergman's diamond lemma

A generic argument that can be used to show that an algebra is non-trivial is Bergman's Diamond Lemma. In this case, it immediately applies (there are no ambiguities) so for example $x$ is not in the ideal.

This method is useful even in situations in which you cannot find a representation to implement the idea in the other two answers, or when the characteristic gets in the way.