可換体作用系
summary.icon 可換体からAbel群への作用系
definition.icon 可換体$ K からAbel群$ A への可換体作用系
$ \left\lang \textrm{FieldAct} \colon K, A ; S \right\rang
where
作用域
$ K \colon \mathbf{Field}
K-線型空間
$ A \colon \mathbf{Ab}
作用
$ S \colon K → \mathrm{Aut}_\mathbf{Ab}(A)
Abel群の自己同型斜体への可換体準同型？
WIP.icon
あやしさ
線型空間