generated at
多項式の規約性
環準同型 homと略す
homo morphsm

hom k \rightarrow Aがあると
Aをk代数という
A代数

k代数としての準同型
A, B k代数
\varphi : A \rightarrow B