5
$\begingroup$

In this question, I gave an example of a ring whose lattice of two-sided ideals is order-isomorphic to $\omega+1$. I've been playing a bit with trying to find rings with a given lattice of ideals since, and one case I found interesting and difficult at the same time. (Difficult for me of course. I've learned here that many questions I can't answer turn out to be trivial.)

Is there a unital ring whose lattice of two-sided ideals is order-isomorphic to $(\omega+1)^{\operatorname{op}}?$

$\endgroup$
  • $\begingroup$ Hi: can you elaborate in the question on how the ideals in that example correspond to $\omega +1$, and how this new example looks? I'm just a little dense tonight, and I could use a little help :) $\endgroup$ – rschwieb Jun 12 '12 at 0:44
  • $\begingroup$ @rschwieb The ideals in that example are the sets of endomorphisms with rank $\leq\aleph_i$ for $i=1,2,\ldots,\omega.$ If we denote the set of these ideals by $\mathscr I$, then the function $f:\mathscr I\to(\omega+1),$ $f(\{\varphi\in R\,|\,\operatorname{rank}(\varphi)\leq\aleph_i\})=i$ is an order isomorphism. $\endgroup$ – user23211 Jun 12 '12 at 1:06
  • $\begingroup$ OK, so here the idea is to find an example whose ideals are like this, except indexed so that they form a descending chain? $\endgroup$ – rschwieb Jun 12 '12 at 11:03
  • $\begingroup$ @rschwieb Yes, that's it. It's difficult for me because I don't know any general methods of constructing rings with a given lattice of ideals. It's pretty much random guessing for me most of the time. $\endgroup$ – user23211 Jun 12 '12 at 11:20
  • $\begingroup$ That's how it normally is, with a few technical tricks accumulated through experience. The problem in general of realizing a given latice (not every lattice, of course) as an ideal lattice is a very hard one. $\endgroup$ – rschwieb Jun 15 '12 at 13:26
1
$\begingroup$

Maybe you can tell me if this is what you're looking for.

What about the power series $R=\mathbb{F}[[x]]$? Doesn't $R\supset(x)\supset(x^2)\supset\dots$ make the chain you are looking for?

$\endgroup$
  • $\begingroup$ I think it is an example! :-) Thank you very much. That every ideal is of this form has to do with the fact that $\mathbb F[[x]]$ is a discrete valuation ring, right? $\endgroup$ – user23211 Jun 15 '12 at 1:51
  • $\begingroup$ @ymar Yes, it's pretty easy to see this way: 1) An element of the ring is a unit iff it has nonzero constant term. 2) Every(nonzero)thing is a unit times a power of $x$! If you like valuation theory better then I'm sure you can come up with a snazzier description that way too. $\endgroup$ – rschwieb Jun 15 '12 at 1:52
  • $\begingroup$ I know nothing about valuation theory except some random facts without proofs. I understand your argument though. Thanks again! $\endgroup$ – user23211 Jun 15 '12 at 1:54

Your Answer

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