Followup to "Examples of rings with ideal lattice isomorphic to $M_3$, $N_5$"

Question

In this post: Examples of rings with ideal lattice isomorphic to $M_3$, $N_5$ a nice example was given of a non-distributive ring. The lattice of ideals turned out to be the Diamond lattice $M_3$ with the biggest ideal $R$ appended above the top of the Diamond.

Question: Is there a similar example whose lattice ideal looks like the same lattice upside-down? (That is, $R$ would now be in the Diamond, and the $\{0\}$ ideal would be the only ideal outside of the Diamond.)

Edit: I had not intended for anyone to assume commutativity, but I had forgotten I put that in the tags aways back. Jack Schmidt's answer below reminds us why there is no example in the commutative case.

Edit 2: As I was reading Jack Schmidt's second answer below, I realized that $R=M_2(\mathbb{F_2})$ is already a very good example, since both the lattices of right and of left ideals are already precisely the Diamond!

In order to keep going with the original question though, I wanted to bring up the following strategy. By taking an $R-R$ bimodule $B$ and forming the triangular ring $\begin{pmatrix}R&B\\0&R\end{pmatrix}$, and taking the subring $T=\{ \begin{pmatrix}x&y\\0&x\end{pmatrix}\mid x\in R, y\in B\}$, then one has obtained a ring $T$ with $rad(T)=\begin{pmatrix}0&B\\0&0\end{pmatrix}$ such that $T /rad(T)\cong R$. We would understand the structure above $rad(T)$, and the rest of the ideal structure would be determined within $B$. If $B$ could be simple as a right module, then we would be done, but my gut says this is impossible.

If anyone can explain in the comments, I would be grateful. Usually when I ask anything about a bimodule, the answer is "No, because (simple reason)." Followed by: "This is, of course, the 0-th Hochschild cohomology."

Answer 1

Here are a few thoughts on the non-commutative, one-sided ideal case: Drop the assumption that R is commutative, and ask for the poset of nonzero left ideals to be M3.

The left ideals are the maximal left ideals m1, m2, m3 and their intersection, n. n is the nilradical and R/n is semisimple with three maximal left ideals. R/n is a direct product of matrix rings over division rings. The maximal left ideals of a matrix ring over a division ring are in 1-1 correspondence with the maximal submodules of the natural module. In particular, if the division ring is infinite, there are infinitely many maximal submodules. If the division ring has q elements and the matrix ring is degree n, then there are $(q^n-1)/(q-1)$ maximal submodules. Solving $(q^n-1)/(q-1)=3$ gives $q=n=2$.

The direct product of rings has left ideals precisely the direct products of left ideals of the factors, and so R/n is in fact a simple ring (R/n, m1/n, m2/n, m3/n, n/n is again not a "product" of lattices).

In particular, R is an algebra over a field of characteristic 2 with a 2-dimensional simple module (its only simple module up to iso).

Answer 2

Suppose R is a commutative, associative, unital ring whose poset of nonzero ideals is M3. Then R has finitely many ideals, and so is commutative artinian. Such a ring is a direct product of commutative local artinian rings. The maximal ideals of such a ring are products of a maximal ideal from one factor with the whole ring from all other factors. In particular, R has 3 maximal ideals and so must have 3 direct factors: R = R1 × R2 × R3. If Ri has Ki ideals, then R has K1×K2×K3 ideals namely the products of the K1 ideals of R1 with the K2 ideals of R2 with the K3 ideals of R3). Each Ki is greater than or equal to 2, since Ri must have a maximal ideal, and so R has at least 2×2×2 = 8 ideals, a contradiction to it only having 6.

This is basically the same as my previous answer.