自己同型群・自己準同型環
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2018/01/10 05:18 UTC 版)
代数系 (A, R) に対し、始域と終域が同じ A である準同型写像 f: A → A は A 上の自己準同型（じこじゅんどうけい、endomorphism）であると言い、さらに f が同型写像であるときには A 上の自己同型（じこどうけい、automorphism）と呼ばれる。 A 上の自己同型の全体 Aut(A) は写像の合成を二項演算と考えれば、恒等写像 idA を単位元とし、逆写像を逆元とする群を成す。これを A 上の自己同型群と呼ぶ。 また、G が群であるとき、G 上の自己準同型 f, g に対し、f(x)g(y) = g(y)f(x) がどんな x, y ∈ G に対しても成り立つなら f と g は加法可能であると言い、(f + g)(x) := f(x)g(x) (x ∈ G) と置く。特に、G がアーベル群なら G 上の自己準同型の全体 End(G) で加法が定義され、さらに写像の合成を積として End(G) は環となる。これを G 上の自己準同型環という。
※この「自己同型群・自己準同型環」の解説は、「準同型」の解説の一部です。
「自己同型群・自己準同型環」を含む「準同型」の記事については、「準同型」の概要を参照ください。
ウィキペディア小見出し辞書の「自己同型群・自己準同型環」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ。
- 自己同型群・自己準同型環のページへのリンク
