Passa al tema normale
Discussioni su Algebra astratta, Logica Matematica, Teoria dei Numeri, Matematica Discreta, Teoria dei Codici, Algebra degli insiemi finiti, Crittografia.

Regole del forum

Consulta il nostro regolamento e la guida per scrivere le formule
Rispondi al messaggio

elementi unitari e ideali propri

13/07/2017, 09:56

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

16/07/2017, 16:10

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

17/07/2017, 08:58

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

19/07/2017, 12:06

$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
Rispondi al messaggio


Skuola.net News è una testata giornalistica iscritta al Registro degli Operatori della Comunicazione.
Registrazione: n° 20792 del 23/12/2010.
©2000— Skuola Network s.r.l. Tutti i diritti riservati. — P.I. 10404470014.