Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I'm basically only interested in the above question. I have played with this a little bit and have not found an obvious way to prove it. However, I am not familiar with ways for proving something is semi-artinian in general (i.e. what seem to be set-theoretic methods, or discussions of the so-called socles).

If this is not generally true, is it likely to be true for the power set of the natural numbers?

Thanks for any help on this.

share|cite|improve this question
Perhaps I should clarify that a semi-artinian $R$ ring is one such that every homomorphic image of $R$ in an $R$-module has a simple submodule. – Jon Beardsley Oct 14 '12 at 16:39
The socle method is to prove that every nonzero $R$-module $M$ has a nonzero socle. A socle is the sum of the minimal nonzero submodules of $M$. – Alexander Gruber Oct 14 '12 at 17:00
up vote 0 down vote accepted

I don't believe it's true for general Boolean rings. However, for any set $S$, $\mathscr{P}(S)$, the power-set of $S$ (as a Boolean ring) is definitely semi-artinian. Take some element $s\in S$, and look at the image of the submodule $\{\{s\},\emptyset\}$ under any $\mathscr{P}(S)$-module homomorphism. Its image is clearly a minimal submodule.

share|cite|improve this answer
If you're looking for a specific counterexample, I would guess you may want to start by looking at $R = S/I$ where $S = \prod_J \mathbb{Z}/2$ and $I = \bigoplus_J \mathbb{Z}/2$ for some infinite set $J$. This is Boolean because $S$ is Boolean. – Manny Reyes Oct 18 '12 at 20:30

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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