Right Artinian triangular ring that is not left Noetherian

ID: right-artinian-triangular-ring-that-is-not-left-noetherian

Let be an infinite-dimensional field extension. For the triangular ring in the display, the right regular module has length three: has its off-diagonal simple submodule and simple quotient, and is simple. Thus is right Artinian. Its off-diagonal ideal is, on the left, the infinite-dimensional -vector space . Every -subspace determines a left ideal, so an ascending sequence of finite-dimensional subspaces violates left Noetherianity. For example take and the spans of .

New to topics? Read the docs here!