Категории и функторы. Ершов А.В. - 47 стр.

UptoLike

Составители: 

Рубрика: 

A = k[X] k(X)
a/b, a, b A, b ̸= 0
(a/b a
/b
) (b
a ba
= 0).
Quot(A)
a/b + a
/b
= (b
a + ba
)/bb
, (a/b) · (a
/b
) = (aa
/bb
).
Quot(A)
j
A
: A Quot(A), a 7→ a/1.
(K, f), K f : A K A K
(K, f) (L, g)
φ: K L,
A
g
f
//
K
φ
~~
~
~
~
~
~
~
~
~
L
(Quot(A), j
A
)
G G
G
[g
1
, g
2
] := g
1
g
2
g
1
1
g
1
2
, g
1
, g
2
G.
G
φ: G H φ(G
) H
φ(G) = H, φ(G
) = H
G/G
G G
ab
.
(G
ab
, α) α: G G
ab