Ejercicios de estructuras algebraicas - Respuesta 4

Consideraremos únicamente el extremo inferior. Para todo elemento a_k del conjunto finito {a₁, a₂, ..., a_n} podemos hacer :

\( \displaystyle \left( \bigwedge_{j=1}^n a_j \right) \bigwedge a_k = \left[\left(\bigwedge_{j=1}^{k-1} a_j \right)\bigwedge a_k \left(\bigwedge_{j=k+1}^n a_j \right)\right] \bigwedge a_k \)

y aplicando los axiomas de conmutatividad y asociatividad y uno de los teoremas básicos del álgebra de retículos :

\(\displaystyle \left( \bigwedge_{j=1}^{k-1} a_j \right) \bigwedge a_k \bigwedge a_k \left( \bigwedge_{j=k+1}^n a_j \right) = \left( \bigwedge_{j=1}^{k-1} a_j \right) \bigwedge a_k \left( \bigwedge_{j=k+1}^n a_j \right) = \)

\(\displaystyle = \left( \bigwedge_{j=1}^k a_j \right)\left( \bigwedge_{j=k+1}^n a_j \right) = \bigwedge_{j=1}^n a_j \)

Por lo que, finalmente, nos quedará :

\(\displaystyle \bigwedge_{j=1}^n a_j \leq a_j \qquad , \forall a_j \in \{a_1, a_2, \cdots, a_n \} \)