Pagina 1 di 1

elementi unitari e ideali propri

MessaggioInviato: 13/07/2017, 09:56
da kalix
ciao non riesco proprio a risolvere questo esercizio :cry:
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

Re: elementi unitari e ideali propri

MessaggioInviato: 16/07/2017, 16:10
da achille_lauro
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.

Re: elementi unitari e ideali propri

MessaggioInviato: 17/07/2017, 08:58
da kalix
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 ;)

Re: elementi unitari e ideali propri

MessaggioInviato: 19/07/2017, 12:06
da achille_lauro
$I$ ideale sinistro di $M(2,2;Z mod 3Z)$:

$I={$ \begin{bmatrix}
[a] & 0 \\
[b] & 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] & [b] \\
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