多項式の規約性
環準同型 homと略す
homo morphsm
hom $ k \rightarrow Aがあると
Aをk代数という
A代数
k代数としての準同型
A, B k代数
$ \varphi : A \rightarrow B
https://gyazo.com/365650f963c397acb5f8e8f8e608a6aa