Phép đơn cấu

Trong phạm vi của đại số trừu tượng hay đại số phổ dụng, một đơn cấu là một đồng cấu mang tính đơn ánh. Một đơn cấu từ Bản mẫu:Mvar đến Bản mẫu:Mvar thường được ký hiệu bằng ký hiệu $X\hookrightarrow Y$.

Trong cơ sở tổng quát hơn của lý thuyết phạm trù, một đơn xạ (còn được gọi là cấu xạ monic) là một cấu xạ có tính khử trái được. Nghĩa là, một mũi tên Bản mẫu:Math sao cho với mọi vật Bản mẫu:Math và mọi cấu xạ Bản mẫu:Math,

$f\circ g_1=f\circ g_2⟹g_1=g_2.$

Các phép đơn cấu là một sự tổng quát hóa có tính phân loại của các đơn ánh (hay còn được gọi là các hàm "một đối một").

Liên quan đến tính nghịch đảo

Các cấu xạ khả nghịch trái được yêu cầu là phải là đơn cấu: nếu l là phép nghịch đảo trái đối với f (nghĩa là l là phép cấu xạ và $l\circ f={\mathrm{id}}_X$), thì f là monic, bởi

$f\circ g_1=f\circ g_2\Rightarrow l\circ f\circ g_1=l\circ f\circ g_2\Rightarrow g_1=g_2.$

Ví dụ

Mọi phép cấu xạ trong một phạm trù cụ thể mà hàm của nó có tính đơn ánh được gọi là một phép đơn cấu; nói cách khác, nếu các phép đơn cấu là các hàm giữa các tập hợp, thì bất kỳ phép cấu xạ nào là hàm có tính đơn ánh nhất thiết sẽ là một phép đơn cấu theo ý nghĩa phạm trù.

Tham khảo

• Bản mẫu:Chú thích sách
• Bản mẫu:Chú thích sách
• Bản mẫu:SpringerEOM
• Bản mẫu:Chú thích tạp chí
• Bản mẫu:Chú thích sách