PROBLEMAS RESUELTOS DE MATEMÁTICAS
ejercicios resueltos de estructuras algebraicas

Ver enunciado del ejercicio en:

Ejercicios resueltos de Estructuras algebraicas

Estás en : Matemáticas y Poesía > Problemas y ejercicios resueltos

 

Ejercicios de estructuras algebraicas

Respuesta al ejercicio4
Consideraremos únicamente el extremo inferior. Para todo elemento ak del conjunto finito {a1, a2, ..., an} 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\begin{array}{l} \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) = \\  \\ = \left( \bigwedge_{j=1}^k a_j \right)\left( \bigwedge_{j=k+1}^n a_j \right) = \bigwedge_{j=1}^n a_j \end{array}\)
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, иии, a_n \} \)
Ejercicios resueltos - problemas resueltos - ESTRUCTURAS ALGEBRAICAS


tema escrito por: José Antonio Hervás