Sia $ L = Z_2 o+ Z_2o+ Z_2 $ (somma diretta di anelli), e definiamo su $L$ la
relazione $ a <* b: hArr a*b=a, (AA a,b in L) $
(1) Dimostrare che $(L, <*)$ è un poset limitato, e determinarne massimo e minimo;
(2) cambia qualcosa definendo la relazione $a \preceq b: hArr a + b = b$? Cioè: la
struttura $(L,\preceq)$ è un poset?
Un paio di precisazioni 1. il simbolo di relazione $<*$ ha il puntino al centro delle due punte del minore.
2. la seconda relazione, ovvero $\preceq$ in realtà sulla traccia è questo $ \prec$ con un altra linietta curva sulla parte superiore.
So che sono solo simboli ma non si sa mai. Per sicurezza allego l'immagine della traccia originale
Ora vorrei capire come si fa a dimostrare (1) e (2) e praticamente $(L, <*)$ ha solo la coppia $(0,1)$ come elemento? Non capisco cosa dovrei fare