Elementi unitari e ideali propri
ciao non riesco proprio a risolvere questo esercizio
Sia A l'anello
$A = \{$\begin{pmatrix} a & b \\ b & a \end{pmatrix}
$: a,b \in Z \/3 Z\}$
1. determinare gli elementi non unitari di A
2. mostrare che A ho solo due ideali propri (diversi dagli ideali banali A e $\{ 0\}$)
allora so che $Z \/3 Z$ = $([ 0 ]_3,[ 1 ]_3,[ 2 ]_3\)$
la definizione di elemento unitario di un anello è : sia $A$ un anello, un elemento $a \in A$ invertibile rispetto al prodotto si dice unitario.
per risolvere il primo punto devo calcolarmi la forse la matrice inversa ?
grazie per chi mi darà una mano

Sia A l'anello
$A = \{$\begin{pmatrix} a & b \\ b & a \end{pmatrix}
$: a,b \in Z \/3 Z\}$
1. determinare gli elementi non unitari di A
2. mostrare che A ho solo due ideali propri (diversi dagli ideali banali A e $\{ 0\}$)
allora so che $Z \/3 Z$ = $([ 0 ]_3,[ 1 ]_3,[ 2 ]_3\)$
la definizione di elemento unitario di un anello è : sia $A$ un anello, un elemento $a \in A$ invertibile rispetto al prodotto si dice unitario.
per risolvere il primo punto devo calcolarmi la forse la matrice inversa ?
grazie per chi mi darà una mano
Risposte
Elementi non unitari: matrici non invertibili, ovvero con DETERMINANTE nullo (considerare il determinante). Ideali non banali: mostrare tutti i casi di prodotto righe per colonne tra due matrici con solo una delle due (quella generatore dell' ideale) avente entrate 'classe zero' ('classi zero' in ogni combinazioni sulle quattro entrate). Spero utile. Buona giornata.
grazie 
quindi per il punto 1. gli elementi non unitari sono quando $det(A) = 0$ $\Leftrightarrow$ $det(A)=a^2-b^2$ $\Leftrightarrow$$a=b$
2. per mostrare che A ha due ideali propri devo fare:
$A*B=$ $B*A=$ $((b^2, ab),(ab,b^2))$ $=X$ tale che $B=$ $((\[0\]_3, b),(b,\[0\]_3))$
e
$A*C=$ $C*A=$ $((a^2, ab),(ab,a^2))$ $=Y$ tale che $B=$ $((a,\[0\]_3),(\[0\]_3, a))$
Concludo: $X$ e $Y$ sono i due ideali propri.
Quindi questo esercizio si risolve cosi? grazie per le eventuali risposte

quindi per il punto 1. gli elementi non unitari sono quando $det(A) = 0$ $\Leftrightarrow$ $det(A)=a^2-b^2$ $\Leftrightarrow$$a=b$
2. per mostrare che A ha due ideali propri devo fare:
$A*B=$ $B*A=$ $((b^2, ab),(ab,b^2))$ $=X$ tale che $B=$ $((\[0\]_3, b),(b,\[0\]_3))$
e
$A*C=$ $C*A=$ $((a^2, ab),(ab,a^2))$ $=Y$ tale che $B=$ $((a,\[0\]_3),(\[0\]_3, a))$
Concludo: $X$ e $Y$ sono i due ideali propri.
Quindi questo esercizio si risolve cosi? grazie per le eventuali risposte

$I$ ideale sinistro di $M(2,2;Z mod 3Z)$:
Comunque si prendano $A$ di $M(2,2; Z mod 3Z)$ e $B$ elemento di $I$
$A*B$ è un elemento di $I$.
Similmente, comunque si prendano $A$ di $M(2,2; Z mod 3Z)$ e $C$ elemento di $J$,
con
risulta $C*A$ elemento di $J$, con $J$ ideale destro.
L' operazione 'prodotto riga per colonna' determina i soli $I$ e $J$ come ideali non bilateri dell' anello delle matrici quadrate di ordine 2
$I={$ \begin{bmatrix}
[a] & 0 \\
& 0
\end{bmatrix} $}$
[a] & 0 \\
& 0
\end{bmatrix} $}$
Comunque si prendano $A$ di $M(2,2; Z mod 3Z)$ e $B$ elemento di $I$
$A*B$ è un elemento di $I$.
Similmente, comunque si prendano $A$ di $M(2,2; Z mod 3Z)$ e $C$ elemento di $J$,
con
$J={$ \begin{bmatrix}
[a] & \\
0 & 0
\end{bmatrix} $}$
[a] & \\
0 & 0
\end{bmatrix} $}$
risulta $C*A$ elemento di $J$, con $J$ ideale destro.
L' operazione 'prodotto riga per colonna' determina i soli $I$ e $J$ come ideali non bilateri dell' anello delle matrici quadrate di ordine 2