Compito di Algebra 1 - Matematica e Informatica

Compito di Algebra 1
Corso di Laurea in Matematica per l’Informatica
e la Comunicazione Scientifica
16 Gennaio 2004 - a.a. 2003/04
1) Sia (N∗ ; ·) il monoide moltiplicativo dei numeri naturali positivi. Consideriamo il seguente sottoinsieme S
di N∗
S = {2a 3b 5c | a, b, c ∈ N}.
a) Dimostrare che S è un sottomonoide di N∗ ;
Sia X = {2, 3, 5} ⊆ N∗ .
b) Determinare il sottomonoide di N∗ generato da X, [X];
c) Che relazione esiste tra S e [X]?
Definiamo in S la seguente relazione ∼ : ∀ 2a 3b 5c , 2α 3β 5γ ∈ S,
2a 3b 5c ∼ 2α 3β 5γ ⇔ a + b + c = α + β + γ.
d) Dimostrare che ∼ è una relazione di equivalenza in S;
e) Dimostrare che ∼ è compatibile con l’operazione di S;
f) Determinare le seguenti classi di equivalenza: [1]∼ , [2]∼ , [5]∼ , [6]∼ , [9]∼ , [30]∼ .
Sia (S/ ∼; ·) il monoide quoziente e (N; +) il monoide additivo dei numeri naturali.
l’applicazione
ϕ : (N; +) → (S/ ∼; ·)
definita da
ϕ(n) = [2n ], ∀ n ∈ N
g) Verificare che ϕ è un isomorfismo di monoidi.
2) Consideriamo il seguente insieme di matrici 3 × 3

 1
H=  0

0
a valori reali


a b

1 c  | a, b, c ∈ R .

0 1
a) Dimostrare che (H; ·) è un gruppo (· indica l’usuale prodotto righe per colonne);
b) H è un gruppo commutativo?
c) Calcolare il centro di H, Z(H);
d) Dimostrare che (Z(H); ·) è isomorfo al gruppo additivo dei numeri reali (R; +).
Consideriamo il gruppo quoziente (H/Z(H); ·) e il gruppo prodotto diretto (R × R; +). Sia
f : H/Z(H) → R × R
definita da

1
f ( 0
0

a b
1 c  Z(H)) = (a, c).
0 1
Consideriamo
e) Dimostrare che f è un’applicazione;
f) Dimostrare che f è un isomorfismo di gruppi.
3) Sia (Z4 ; +, ·) l’anello delle classi resto modulo 4. Si consideri l’anello prodotto diretto A = Z4 × Z4 .
a) Dimostrare che A è un anello commutativo con unità;
b) Determinare l’ordine, la caratteristica e il sottoanello fondamentale di A;
c) Determinare i divisori dello zero di A. A è un dominio di integrità?
Posto I = {([0], [a]) | [a] ∈ Z4 } ⊆ A.
d) Provare che I è un ideale di A.
Posto J = {([a], [a]) | [a] ∈ Z4 } ⊆ A.
e) Verificare se J è un ideale di A;
f) Dimostrare che l’anello quoziente A/I è isomorfo a Z4 ;
g) I è un ideale primo di A? I è un ideale massimale di A?