自己準同型
ウィキペディア フリーな encyclopedia
数学における自己準同型(じこじゅんどうけい、英: endomorphism)とは、ある数学的対象からそれ自身への射(あるいは準同型)のことを言う。例えば、あるベクトル空間 V の自己準同型は、線型写像 ƒ: V → V であり、ある群 G の自己準同型は、群準同型 ƒ: G → G である。一般に、任意の圏に対して自己準同型を議論することが可能である。集合の圏において、自己準同型はある集合 S からそれ自身への函数である。
任意の圏において、X の任意の二つの自己準同型写像の合成は再び X の自己準同型である。X のすべての自己準同型の集合はモノイドを構成し、それは End(X) と表記される(あるいは、圏 C を強調するために EndC(X) と表記される)。