「前加法圏」の版間の差分
削除された内容 追加された内容
m編集の要約なし |
|||
50行目:
前加法圏のhom集合はゼロ射を持っているので、[[核 (圏論)|核]]と[[余核]]の概念が意味を持つ。それは、''f'': ''A'' → ''B'' を前加法圏の射としたとき、''f'' の核は ''f'' と ''A'' から ''B'' へのゼロ射との[[等化子|イコライザー]]であり、''f''の余核は ''f'' とこのゼロ射の[[余等化子|余イコライザー]]である。積と余積の場合と異なり、前加法圏では ''f'' の核と余核は一般には等しくない。
可換群や環上の加群に特化すると、核の概念は通常の準同型の[[核 (代数学)|核]]と一致する、ただし、''f'': ''A'' → ''B'' の通常の核 ''K'' とその埋め込み ''K'' → ''A'' を同一視する。しかし、一般の前加法圏では核や余核の存在しない射も存在する。
核と余核とhom集合の群構造には便利な関係がある。''f'' と ''g'' を平行射とするとき、''f'' と ''g'' のイコライザーと ''g'' − ''f'' の核は片方が存在すれば一致する。同様のことが余イコライザーに関しても成り立つ。この事実から二項イコライザーには「差核」という別の名前がある。
| |||