8
$\begingroup$

Exercise: Give an example of a subring of a finite commutative ring $R$, that is not an ideal of $R$.

I recently learned the following: Let $2^\Omega$ be the power set of an arbitrary set $\Omega$. For $A, B \in 2^\Omega$ we define $A \oplus B := (A\setminus B) \cup (B\setminus A)$ and $A\odot B := A \cap B$. Then $(2^\Omega, \oplus, \odot)$ is a commutative ring.

This ring has the following properties:

  • Zero corresponds to $\emptyset$.
  • One corresponds to $\Omega$.
  • The additive inverse of $A \in 2^\Omega$ is $A$.
  • Now let's take $\Omega = \{a, b, c\}$. Define $M := \bigl\{\emptyset, \{a, b\}, \{c\}, \Omega\bigr\}$. Then $(M, \oplus, \odot)$ is a subring of $(2^\Omega, \oplus, \odot)$, but not an ideal: $$\{a\} \odot \{a, b\} = \{a\} \not\in M \, .$$

    Is that correct?

    Are there easier examples?

    $\endgroup$
    8
    $\begingroup$

    Your example looks correct.

    An easier example (at least notationally) seems to be: Let $R = \mathbb{Z}_3 \oplus \mathbb{Z}_3$. We see that $S = \{(0, 0), (1, 1), (2, 2)\}$ is a subring isomorphic to $\mathbb{Z}_3$, but $(1, 2)*(1, 1) = (1, 2)$, which is not an element of $S$, so it cannot be an ideal.

    A much easier example (allowing the ring to be infinite): Try the ring (really a field) $\mathbb{Q}$ and the integers $\mathbb{Z}$. Clearly $\mathbb{Z}$ is a subring of $\mathbb{Q}$, but it is not an ideal of $\mathbb{Q}$ (which has only two ideals, $0$ and itself).


    Of course I overlooked the simplest example: Let $R = \mathbb{Z}_2 \oplus \mathbb{Z}_2$ and take $S = \{(0, 0), (1, 1)\}$. Then $S$ is clearly a ring (as in the first example), while $(1, 0)*(1, 1) = (1, 0) \notin S$. This is your example is in the original post, just in a much easier to recognize form.

    $\endgroup$
    • 1
      $\begingroup$ Nice, but that's not a finite ring. $\endgroup$ – Ystar Jan 9 '15 at 21:51
    • $\begingroup$ Sorry about that! I added an example that should do the job now. $\endgroup$ – cbishop Jan 9 '15 at 22:00
    • 2
      $\begingroup$ oh, yes of course!!! ;-) for a finite set $\Omega$ of $n$ elements, we have $(2^\Omega, \oplus, \odot) \cong \bigoplus_{j=1}^n \mathbb{Z}_2$. $\endgroup$ – Ystar Jan 11 '15 at 11:51
    2
    $\begingroup$

    You could try the ring of dual numbers $\mathbb{F}_2[x]/x^2$ where $\mathbb{F}_2$ is the field with two elements. It has four elements and the subset $\{0,1\}\cong {\mathbb{Z}}/2$ is a subring but not an ideal.

    $\endgroup$
    • $\begingroup$ So that is not an ideal because $x\cdot 1\not\in \{0,1\}$? $\endgroup$ – cansomeonehelpmeout Jan 21 '18 at 14:54
    • $\begingroup$ @cansomeonehelpmeout: Yes. $\endgroup$ – user2055 Jan 23 '18 at 7:23

    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.