hola, queria saber si alguien puede ayudarme con esto...
resulta q en una parte nos decian q en una red o alg de bole tomemos una cara del cubo que se forma



Esto era una sub alg de boole? creo q no. entonces
¿En q caso se toma una cara de del cubo?

otra duda. cuando es Isomorfa ( biyectiva )

Sip. Es un Subálgebra de Boole. ¿Cómo darse cuenta de manera sencilla?

Primero tu conjunto A = {1, 2, 3, 6}
A simple vista se vé que se trata de los divisores de. Es decir, podría ser cualquier relación pero deduzco es . Por ende ahora tratamos con

Existe una defición tal que, sean es Algebra de Boole , donde son números primos distintos y los son 1 o 0.

Usando los átomos de A, es decir 2 y 3 podemos formar el 6.

(*) Con esto demostramos que es una Red Complementada.
(**) Podemos además decir que es una Red Distributiva pues NO es subred isomorfa con:


Por (*) y (**) concluimos que es un Subálgebra de Boole.

---

Cuando hablamos de un isomorfismo, lo ideal es tener hecho los gráficos de ambas Algebras de Boole (si hablamos de dos, claro, pero pueden ser más).
Sabemos que toda Algebra de Boole con n átomos es isomorfa a P(x), donde |x| = n

Por ejemplo, si tenemos , donde sus átomos son {2, 5, 7} (números primos divisores de 70)
y |x| = 3 (átomos)


Armando el Diagrama de Hasse de cada uno, podemos ver que es un cubo, tal y como el gráfico que dejaste.

Probamos la biyectividad:
f(1) = , f(70) = {a, b, c} , f(2) = {a} , f(5) = {b} , f(7) = {c} , f(10) = {a, b} , f(14) = {a, c} , f(35) = {b, c}
Isomorfismo.

* Los átomos de un se corresponden a los átomos del otro.

---

Espero mi explicación te ayuda n.n Cualquier cosa no dudes en preguntar. La verdad es que la cursé, di el final y olvide muchas cosas. Pero estos eran los tips que yo usaba XD. Un beso!

Muchas Gracias, rindo el viernes y no sabia eso.

Con respecto a la sub-álgebra de boole, por lo que yo leí (apuntes semi-presencial) decía que era sub-álgebra si... el elemento 0 (mínimo) y 1 (máximo) de (A) tenían q pertenecer a la sub algebra (B).

Ay si!! Tenes razón! >< Perdón! Es que me puse a definirte como sacar un Algebra de Boole que olvide ese GRAN detalle... xD