2
$\begingroup$

so my doubt is that i am studying wedderburn artin theory and it gives structure of simple artinian rings, but if a ring is simple, it has no nonzero proper 2-sided ideals so it satisfies DCC on ideals trivially, so must be artinian, so if every simple ring is artinian, means every simple ring is of the form a matrix ring over a division ring, in T.Y Lam he studies simple left artinian first and then says it is same as simple right artinian and so we can talk about simple artinian straightaway only.

so is there a simple ring which is not artinian?

$\endgroup$
  • 1
    $\begingroup$ The definition of Artinian only requires that a ring satisfies DCC on left ideals, not two-sided ideals. $\endgroup$ – Qiaochu Yuan Jun 4 '14 at 18:23
3
$\begingroup$

Ascending and descending chain conditions for noncommutative rings are defined in terms of left ideals and right ideals, not just two-sided ideals. This makes a world of difference in what is possible.

Take $V$ to be a countable dimensional $k$ vector space over a field $k$, and let $R$ be its ring of linear transformations. $R$ is known to have exactly one nontrivial ideal $I$ made up of transformations whose images have finite rank.

The ring $S=R/I$ is simple, von Neumann regular, but not Artinian on either side and not Noetherian on either side. If $S$ were Artinian, it would have finite $k$ dimension, but clearly it does not.

$\endgroup$
  • $\begingroup$ And why is it not Noetherian on either side? $\endgroup$ – karparvar Jul 26 '18 at 5:30
  • 1
    $\begingroup$ @karparvar In a VNR. ring, right Noetherian and right artinian are equivalent. $\endgroup$ – rschwieb Jul 26 '18 at 10:24
  • $\begingroup$ @rschwieb Is this example written somewhere in detail? Thanks! $\endgroup$ – giannispapav Jun 17 at 11:01
  • 1
    $\begingroup$ @giannispapav I'm not aware of where it is written in more detail. These particular facts are usually given as exercises. $\endgroup$ – rschwieb Jun 17 at 13:13
5
$\begingroup$

The Weyl algebra $A_1 := k\{x, y: xy - yx = 1\}$ is simple when char $k = 0$ but is not Artinian: the left ideals $A_1x^i$ form an infinite decreasing sequence of left ideals which is never constant.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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