(01-08-2010 11:06)Lean escribió:  Si, el tema de probar que algo NO es algebra de boole es muy simple, lo mas boludo es hacer lo que vos dijiste, la de |B| = 2^n

Creo que la unica solución simple que queda para probar que una red es distributiva es ver si NO tiene subredes isomorfas a las 2 tipicas redes no distributivas (aunque habria que decir esto y listo, porque probarlo es medio jodido, en una red de 8 elementos habria que buscar todas las subredes y es un bodrio).

Yo tengo en mi carpeta "propiedad: una red es distributiva si no tiene una subred isomorfa a N1 o N2(N1 y N2 son las tipicas no distributivas)" asi que te tendrian que aceptar como valida esta justificacion.

Pregunta: todas las redes que sean un cubo de 8 vertices son isomorfas a cualquier otro cubo con esa estructura?