A代数
２つの環$ A, Rの間に環準同型
$ f: A \rightarrow R
が与えられ、それを固定して考えるとき、
特に$ Rを $ A上の（結合的）代数
または単に$ A代数といい
$ fをその構造射という
通常は、
$ Aが可換環で
$ f(A)の元がすべてのRの元と可換である
場合を考えることが多い
この場合、$ A上の多元環ともいう
$ Aを$ Rの係数環という
メモ
後者の可換性について、f(a)がどうとか、Imに対しての可換性のみを仮定している（緩めている）
ということは、R自体に可換性を要求しなくても成立するというか
可換性というのは特定の集合にだけ要求できるのか　そもそもね
Im(f) = f(A)の拡大環Bとなる
A代数