Strutture algebriche

1. Sia (X, ·) una struttura algebrica e sia |X| = 1. Mostrare che (X, ·) è
un gruppo abeliano.
2. Sia su Z l’operazione ◦ così definita:

n + m, 2 divide n;
n◦m=
n − m, altrimenti.

Si mostri che (Z, ◦) è un gruppo. È abeliano?

3. Sia M un insieme e M M = {f : M → M }, mostrare che (M M , ◦) è un
monoide, dove ◦ è la composizione tra funzioni.
4. Sia S un insieme non vuoto, sia · l’operazione su S definita da:
a · b = a.
Che tipo di struttura algebrica è (S, ·)?
5. Su Z si definisca l’operazione ?:
n ? m = n2 + m2 .
Dire se (Z, ?) è un monoide commutativo.
6. Sia G = {(a, b) ∈ R2 | a 6= 0} e sia ∗ : G × G → G l’operazione binaria
su G definita da
(a, b) ∗ (c, d) = (ac, bc + d).
Dimostrare che (G, ∗) è un gruppo e scrivere l’inverso di un generico
elemento.
7. Sia (G, ∗) un gruppo e sia x ∈ G. Sia ∗x : G × G → G l’operazione
binaria su G definita da
a ∗x b = a ∗ x ∗ b.
Dimostrare che (G, ∗x ) è un gruppo e scrivere l’inverso di un generico
elemento.
8. Sia n un numero dispari e sia ∗n : R × R → R l’operazione binaria su
R definita da √
x ∗n y = n xn + y n .
Dimostrare che (R, ∗n ) è un gruppo e scrivere l’inverso di un generico
elemento.

1
 n
9. Sia A = { m ∈ Q | m è dispari}. Si mostri che (A, +, ·), dove + e · sono
n
l’usuale somma e prodotto, è un anello. Sia B = { m ∈ Q | n è dispari},
verificare che (B, +, ·) non è un anello.

10. Si definiscano su Z le seguenti operazioni:

n ⊕ m = n + m + 1,
n m = n + m + nm.

Dire che tipo di struttura è (Z, ⊕, ).

11. Sia RR l’insieme di tutte le funzioni da R in R. Mostrare che (RR , +, ·),

dove (f + g)(x) = f (x) + g(x) e (f · g)(x) = f (x) · g(x), è un anello
commutativo con unità.

12. Sia RR l’insieme di tutte le funzioni da R in R. Stabilire se (RR , +, ◦),

dove (f + g)(x) = f (x) + g(x) e (f ◦ g)(x) = f (g(x)), è un anello.

13. Sia X un insieme non vuoto, si mostri che (P(X), ∇, ∩), dove ∇ è la
differenza simmetrica, è un anello commutativo con unità.

14. Sia I = [0, 1] e ∧ e ∨ le operazioni su I così definite:

a ∧ b = min{a, b},
a ∨ b = max{a, b}.

Studiare le strutture (I, ∧) e (I, ∨) e dire se (I, ∧, ∨) è un anello.