![](//s1.studylibfr.com/store/data-gzf/77395a70742581075d01c9128ec79666/1/003074306.htmlex.zip/bg5.jpg)
REVˆ
EMENTS DE GALOIS DES CAT´
EGORIES LIN´
EAIRES 5
2. Cat´
egories lin´
eaires
On se fixe kun corps.
2.1. Definition. Une cat´egorie k-lin´eaire Cest la donn´ee
(1) d’une classe d’objets, not´ee C0;
(2) de k-espaces de morphismes C(X, Y ), pour X, Y ∈ C0;
(3) d’une composition de morphismes
C(X, Y )× C(Y, Z)→ C(X, Z) : (f, g)7→ f·g,
pour tous X, Y, Z ∈ C0, qui est unitaire, associative, et k-bilin´eaire.
Exemple. On a deux cat´egories k-lin´eaires suivantes:
(1) Mod-k: les objets sont les k-espaces vectoriels, les morphismes sont les appli-
cations k-lin´eaires, avec la composition usuelle.
(2) mod-k: les objets sont les k-espaces vectoriels de dimension finie et les mor-
phismes sont les applications k-lin´eaires, avec la composition usuelle.
2.2. Definition. Soit Qun carquois. La cat´egorie des chemines de Qsur k, not´ee
kQ, est la cat´egorie k-lin´eaire telle que d´efinie ci-dessous:
(1) Les objets de kQ sont les points de Q.
(2) Si x, y ∈Q0, alors (kQ)(x, y) est le k-espace vectoriel ayant pour base l’ensemble
des chemins de xvers y.
(3) La composition des morphisms est induite de la composition des chemines de
sorte que, pour tous chemins p, q, on a
p·q={pq, si b(p) = s(q);
0,si b(p)̸=s(q).
Exemple. (1) Consid´erons le carquois
Q:x.
α88
Alors kQ a un seul objet xet EndkQ(x) = k[α], l’anneau des polynˆomes en α.
(2) Consid´erons le carquois
A∞:x0
α0//x1
α1//x2
α2//···
Alors kQ a pour objets xi, avec i≥0; et
(kQ)(xi, xj) =
k < εxi>, si i=j;
k < αi· · · αj>, si i < j;
0,si i > j.
2.3. Definition. Soit Cune cat´egorie k-lin´eaire. Un id´eal Ide Cse compose de
sous-espaces I(X, Y ) de C(X, Y ), pour X, Y ∈ C0× C0, tels que
f∈ C(X′, X), g ∈I(X, Y ), h ∈ C(Y, Y ′)⇒fgh ∈I(X′, Y ′).
Dans ce cas, la cat´egorie quotient C/I est d´efinie comme suit:
(1) (C/I)0=C0.
(2) (C/I)(X, Y ) = C(X, Y )/I(X, Y ) pour tous X, Y (C/I)0.