ALGEBRA 3 AA.

2020/2021
FOGLIO ESERCIZI 1
(DA CONSEGNARE ENTRO IL 16/10)

MARTINA LANINI

(1) Sia C una categoria e si considerino i due morfismi f ∈ C(A, B) e

g ∈ C(B, C). Si dimostri che se due tra f, g, g ◦ f sono isomorfismi,
allora lo è anche il terzo.
(2) Si trovi un esempio di una categoria C che è isomorfa alla sua opposta
Copp . Si mostri che ciò non accade sempre.
(3) Si esibisca un esempio di un funtore F : C → C tale che F (A) = A per
ogni A ∈ Ob(C) ma F 6= 1C .
(4) Siano C e D due categorie e F : C → D un funtore tra di esse. Si
dimostri, o si confuti tramite un controesempio, che la collezione delle
immagini (tramite F ) degli oggetti di C assieme alla collezione delle
immagini (tramite F ) dei morfismi di C costituiscono oggetti e morfismi
di una categoria.
(5) Sia R un anello commutativo unitario. Sia
Spec(R) := {p ⊆ R | p ideale primo}.
Per I ⊆ R ideale, si definisca VI = {p ∈ Spec(R) | I ⊆ p}.
(a) Si dimostri che otteniamo una topologia su Spec(R) prendendo
{VI | I ideale di R} come la collezione dei chiusi di tale topologia.
(b) Si dimostri che per ogni ϕ : R → S omomorfismo di anelli com-
mutativi unitari e per ogni ideale primo q ⊆ S, l’immagine inversa
ϕ−1 (q) è un ideale primo di R.
(c) Si dimostri che vi è un funtore controvariante dalla categoria CRing
degli anelli commutativi unitari a quella degli spazi topologi Top.
(6) Da cosa è dato un funtore tra due categorie associate a due insiemi
dotati di un preordine?
(7) Sia F : C → D und funtore pieno e fedele. Si dimostri che se F A ed
F B sono isomorfi, allora A ' B.
(8) Sia G la categoria associata ad un gruppo G. Si dimostri che le trasfor-
mazioni naturali α : 1G → 1G corrispondono agli elementi del centro
del gruppo.
(9) Sia k un campo e sia F : Veck f.d. → Veck f.d il funtore indotto dalla
seguente applicazione tra oggetti:
Ob(Veck f.d. ) → Ob(Veck f.d. ),
Si verifichi che la collezione {ηV } definita
ηV : 1Veck f.d. (V ) = V → F V = V ∗∗ , v 7→ (f 7→ f (v))
1
2 MARTINA LANINI

fornisce una trasformazione naturale η : 1Vecf .d. ⇒ F .

k