1
$\begingroup$

What I wanna ask is about analogies to the tensor product for commutative boolean rings. What I mean by commutative boolean ring is set with two operations, + and *, and two identities, 0 and 1, as is usual, with the usual properties that multiplication distributes over addition and the unusual characteristic that both operations are boolean.

An example would be the collection of subsets of some set $A$ where the union represents addition with identity $\emptyset$ and intersection multiplication with identity $A$

Considering a category of these i am wondering whether it is possible to define a left adjoint to the Hom-functor.

If so, can it be used to define topologies for topological rings in the sense that $op_*:R\otimes R\to R$ is continuous with respect to the proposed "tensor topology" on $R\otimes R$

The background stems from the fact that the Hom-tensor adjunction for abelian groups can be extended to any commutative monoid, including commutative boolean monoids. Further, unlike their non boolean counterparts the Hom-set for commutative boolean rings are commutative boolean rings with component-wise operations, which makes Hom an endofunctor and makes one wonder about adjoints.

I'm not sure that the proposed topology would actually differ from the product topology in anyway, but it would allow for the formulation of topological rings in a more consistent way.

Any thought would be appreciated.

$\bf {Edit1:}$

I apologize for the terminology above which is incorrect. To clarify: I mean a set with two operations, both commutative and idempotent, with two identities. Nothing else, no inverses of any kind, no "not" or any other lattice related operation.

It is a structure like a topology, not a topological space, but a topology, that's all.

It can be constructed from commutative idempotent monoids $(m^2=m$ for all $m\in M)$ using a Hom-tensor adjunction, like the one for abelian groups.

It can be extended, formally, to all commutative monoids "we only need commutativity to get an endofunctor $Hom_{\bf CMon}(A,-)$).

We can form a a free structure $F(M)=\bigoplus_{-1 where $M^{\otimes 0}=\{0,1\}$ analogous to the free ring.

We can follow with a quotient by a congruence relation with $m\otimes m \sim m$ and $m\otimes n\sim n\otimes m$ for all $m\otimes m$ and $n\otimes m$ in $F(M)$ making both operations idempotent. I was initially wondering whether this procedure could be continued by making new free objects with new formal operations.

What brought this to mind was the desire to make a topology for the usual tensor product, coproduct, of normal rings.

$\bf Edit2:$ Properties above give us a structure with two identities and two operations, one which distributes over the other, which is very similar to a ring. If we consider a category of these objects where the morphisms are maps preserving identities and operations, like the ones for rings. If we look at two morphisms $f_1,f_2\in Hom(A,B)$ and define $f_1f_2$ as $f_1(a)f_2(a)$ for all $a\in A$ and $f_1+f_2$ as $f_1(a)+f_2(a)$ we get:

$(f_1f_2)(1)=f_1(1)f_2(1)=1*1=1$ $f_1f_2(a_1a_2)=f_1(a_1a_2)f_2(a_1a_2)=f_1(a_1)f_1(a_2)f_2(a_1)f_2(a_2)=f_1(a_1)f_2(a_1)f_1(a_2)f_2(a_2)=f_1f_2(a_2)f_1f_2(a_2)$

$(f_1+f_2)(1)=f_1(1)+f_2(1)=1+1=1$ $(f_1+f_2)(a_1+a_2)=....=(f_1+f_2)(a_1)+(f_1+f_2)(a_2)$

  • 0
    Very true, anyway thanks for the pointless topology tip, looking into that now2012-08-02

0 Answers 0