- 119 名前：Kummer ◆SgHZJkrsn08e [2012/03/07(水) 11:19:52.83 ]
- 定義（過去スレpart5の2の拡張）
A を可換環とする。
A[X_1、．．．、X_n] を n 変数の多項式環とする。
C を可換な A-線型環（過去スレpart1の97）とする。
α_1、．．．、α_n を C の元の有限列とする。
過去スレpart4の550より A-線型環としての準同型 ψ：A[X_1、．．．、X_n] → C で
各 i に対して ψ(X_i) = α_i となるものが一意に存在する。
ψ が単射のとき α_1、．．．、α_n は A 上代数的独立であるという。
