Can I safely say that the set of finite and cofinite subsets of the integers equipped with operations of union and intersection is isomorphic to the direct product of countably infinitely many $\mathbb Z_2$?
Set of finite and cofinite subsets of the integers
1
$\begingroup$
number-theory
-
0I wonder whether OP is thinking of "symmetric difference" and intersection. The set is a ring under that pair of operations. – 2012-02-17
1 Answers
1
Let $\mathscr{S}$ be the set of subsets of the integers that are either finite or cofinite. $\langle\mathscr{S},\cup,\cap\rangle$ is not a ring: $\varnothing$ is an identity for $\cup$, and $\mathbb{Z}$ is an identity for $\cap$, but neither operation has inverses. Thus, $\langle\mathscr{S},\cup,\cap\rangle$ cannot be isomorphic to any ring; in particular, it cannot be isomorphic to the direct sum $\bigoplus_{n\in\mathbb{N}}G_n\;,$ where each $G_n$ is a copy of $\mathbb{Z}_2$. It cannot be isomorphic to the direct product $\mathbb{Z}_2^\omega$ for an even more fundamental reason: it’s countable, and $\mathbb{Z}_2^\omega$ is uncountable.