等化子

数学における等化子（とうかし、）は、与えられた複数の写像に対してそれらの値が等しくなるような引数全体の成す集合を言う。従って各等化子は特定の形の方程式のとして得られる。特定の文脈では、ちょうど二つの写像の等化子を、それら写像の差核 ("difference kernel") と呼ぶ。
定義.
集合 と二つの写像 に対し、 と との等化子（ここでは と書く）とは、 において が成り立つような 全体の成す集合、記号で書けば 
を言う。等化子を表す記号は文脈によって違いうるが、例えば情報理論の文脈ではふつう という記法が用いられる。
上記定義においては 二つの写像しか用いていないが、二つと限らず、さらに言えば有限個と限らず無数の写像に対してそれらの等化子を定義することができる。一般に、 から への写像からなる任意の集合 に対し、 のどの二元 に対しても において が成り立つような 全体の成す集合
を （に属する元たち）の等化子と呼ぶ。これは のような集合であるときには のように書くこともできる。情報理論の文脈では のようにも書かれる。
この一般化した定義において が単元集合 に退化した場合を考えると、 は常に自分自身と等しいから、その等化子は となる。さらに退化して が空集合 のときは、定義におけるはとなるから、やはり定義域全体 となる。
差核.
二変数の等化子（つまり、ちょうど二つの写像の等化子）は差核とも呼ばれ、 などのようにも書かれる。最後の記法は「 の差核とは単に差 の核のことである」ことによるもので、この用語の由来でもあり、これが抽象代数学の文脈で後半に現れる理由を説明するものである。さらに言えば、単一の写像 に対する核は、零写像すなわち値 の定値写像との差核 として定式化しなおすことができる。
もちろんこれらの議論は写像の核が の逆像となっているような代数学的な文脈でのことであって、どんな場合にも成り立つというわけではないが、「差核」という用語法に他意はない。
圏論における等化子.
等化子は普遍性によって定義することもできるので、集合の圏から任意の圏に一般化することができる。この一般の文脈において、 は想定する圏の対象であり、 はその圏の射である。等化子は単に、これら対象と射からなる特定の図式の極限として定義される。
より明示的に書けば、等化子は適当な対象 と射 で を満たすものの組 であって、普遍性「任意に対象 と射 の組 で を満たすものが与えられたとき、射 で図式 を可換にする（すなわち を満たす）ものがする」を満足するものを言う。射 は を満たすとき、 と を等化する ("equalise") という。
差核が用いられる圏を含む任意の普遍代数学的圏において、集合の圏のとき同様に、対象 は常に通常の集合としての等化子として取ることができ、この場合の射 は の部分集合としての に関する包含写像として取ることができる。
この圏論的な定義は二つより多くの射に関するものへ直接的に一般化することができる（単に上記の図式と同様の、複数の射を含むより大きな図式を用いればよい）。退化して一つの射しかない場合も同様で、 は対象 から への任意の同型射として取れる。一方、退化して射が一つもない場合に対する正確な図式は少々微妙である。普通に対象 からなり射を持たない図式を書くと、この図式の極限は等化子ではなく と の積となる（そして実際に、例えば集合論的に定義した積と上述の如く集合論的に定義した等化子とは一致しないので、積と等化子とは相異なる概念である）から、この図式は等化子に対するものとしては正しくない。そうではなく、 は図式に現れる射の余域に過ぎないのであるから、任意の等化子図式は基本的に に注目するのが適切なのである。このように見るとき、図式に射がないならば も図式に現れず、等化子図式は のみからなり、そしてこの図式の極限は と の間の任意の同型射となる。
任意の圏において任意の等化子が単型射（圏論的単射）であることが示せる。この逆が与えられた圏において成り立つならば、その圏は（単型射の意味において）正則 ("regular") であるという。より一般に、任意の圏におけるとは、適当な射集合の等化子と一致するような任意の射 のことを言う。より狭義に、二項の等化子（つまりちょうど二つの射の等化子）に限って正則と呼ぶ文献もあるが、考えている圏が完備ならば両者の定義は一致する。
差核の概念も圏論的文脈において意味を成し、任意の二項等化子に対して「差核」と呼ぶ用語法は圏論全体を通じて広く用いられる。前加法圏（つまりアーベル群の圏で豊饒化された圏）の場合には射の差が意味を持つから、「差核」という用語は文字通り差の（圏論的な）核 として解釈することができる。
ファイバー積 (引き戻し) と積を持つ任意の圏は等化子を持つ。