Finite Boolean Ring

Groups, Rings, Domains, Modules, etc, Galois theory
Post Reply
Tsakanikas Nickos
Community Team
Posts: 314
Joined: Tue Nov 10, 2015 8:25 pm

Finite Boolean Ring

#1

Post by Tsakanikas Nickos »

Here is a really difficult exercise!

Let \( \displaystyle R \) be a finite boolean ring. Show that there exists a set \( \displaystyle X \) and a ring isomorphism \( \displaystyle R \cong \mathcal{P}(X) \).


HINT
As \( \displaystyle X \) consider the set \( \displaystyle Hom\left( R, \mathbb{Z}_{2} \right) \) of ring homomorphisms \( \displaystyle R \rightarrow \mathbb{Z}_{2}\).
Papapetros Vaggelis
Community Team
Posts: 426
Joined: Mon Nov 09, 2015 1:52 pm

Re: Finite Boolean Ring

#2

Post by Papapetros Vaggelis »

Hi Nickos.

Firstly, if \(\displaystyle{X}\) is a non-empty set, then, the power set \(\displaystyle{\mathbb{P}(X)}\)

is a \(\displaystyle{\rm{Boolean}}\) ring with addition

\(\displaystyle{A+B:=(A-B)\cup(B-A)\,,\forall\,A\,,B\in\mathbb{P}(X)}\)

and multiplication

\(\displaystyle{A\cdot B:=A\cap B\,,\forall\,A\,,B\in\mathbb{P}(X)}\)

and then \(\displaystyle{0_{\mathbb{P}(X)}=\varnothing\,\,\,,1_{\mathbb{P}(X)}=X}\).

Nickos, my idea is to define the map

\(\displaystyle{\Phi:R\to \mathbb{P}(\rm{Hom}(R,\mathbb{Z}_{2}))\,,r\mapsto \Phi(r)=\left\{f\in\rm{Hom}(R,\mathbb{Z}_{2}), f(r)=1\right\}}\)

which is a ring homomorphsim.

I am not sure if \(\displaystyle{\Phi}\) is one to one and onto.

I like very much this question and i gave an answer in order to make some progress.
Post Reply

Create an account or sign in to join the discussion

You need to be a member in order to post a reply

Create an account

Not a member? register to join our community
Members can start their own topics & subscribe to topics
It’s free and only takes a minute

Register

Sign in

Who is online

Users browsing this forum: No registered users and 6 guests