According to my notes, the definition of an embedding from a boolean algebra B in a boolean algebra B' is an injective map f:B-->B' such that for all x,y in B, f(sup{x,y}) = sup'{f(x),f(y)} and f(Cx)=C'(f(x)), where sup is the supremum in B and sup' is the complement in B', and where C is the complement in B and C' the complement in B'.(adsbygoogle = window.adsbygoogle || []).push({});

But I read on wiki that generally, an embedding is supposed to be a monomorphism. Aren't we missing the condition f(inf{x,y}) = inf'{f(x),f(y)}???

**Physics Forums - The Fusion of Science and Community**

Dismiss Notice

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Boolean algebra embeddings

Loading...

Similar Threads - Boolean algebra embeddings | Date |
---|---|

Prove A.(B+C) = (A.B)+(A.C) <Boolean Algebra> | Oct 24, 2015 |

Simplifying a 4-term equation using boolean algebra | Sep 12, 2015 |

Transformation rules in Boolean algebra | Mar 31, 2015 |

Partial order relations, on boolean algebra | Sep 14, 2013 |

Boolean Algebra Simplification Property Question | Jun 18, 2013 |

**Physics Forums - The Fusion of Science and Community**