http://openproblemgarden.org/op/direct_product_of_reloids_is_a_complete_lattice_homomorphism Comments for "Direct product of reloids is a complete lattice homomorphism" en http://openproblemgarden.org/op/direct_product_of_reloids_is_a_complete_lattice_homomorphism <table cellspacing="10"> <tr> <td> Author(s): <a href="/category/porton_victor">Porton</a>&nbsp;&nbsp; </td> <td align=right> Subject: <a href="/topology">Topology</a>&nbsp;&nbsp; </td> </tr> <tr> <td colspan=2> <table border=1 cellspacing="5"> <tr><td> <div class="envtheorem"><b>Conjecture</b>&nbsp;&nbsp; If <img class="teximage" src="/files/tex/3abde4ab7e21fe6fad91d0a03ad306c2c82659d9.png" alt="$ \mathcal{A} $" /> is a filter object then <img class="teximage" src="/files/tex/071bab2eceef025b4ac8cf40a7fee44c0473df78.png" alt="$ \mathcal{A}\times^{\mathsf{\tmop{RLD}}} $" /> is a complete homomorphism of the lattice of filter objects to a complete sublattice of the lattice of <a href="http://www.wikinfo.org/index.php/Reloid">reloids</a>, if also <img class="teximage" src="/files/tex/1722b2d17f995f6cffcda5501eaf93d8c925e19b.png" alt="$ \mathcal{A}\neq\emptyset $" /> then it is an isomorphism. </div> </tr></td> </table> </td> </tr> </table> Porton, Victor direct product of reloids reloid Topology http://openproblemgarden.org/op/direct_product_of_reloids_is_a_complete_lattice_homomorphism#comment Mon, 26 May 2008 23:37:21 +0200 porton 810 at http://openproblemgarden.org