- 144 名前：Kummer ◆SgHZJkrsn08e [2012/03/09(金) 01:16:02.18 ]
- 命題
A を可換環とする。
B を A 上の可換な線型環（過去スレpart1の97）とする。
C を B 上の線型環とする。
(e_i)、i ∈ I を B の A 上の基底とする。
(f_j)、j ∈ J を C の B 上の基底とする。
このとき、((e_i)(f_j))、(i, j) ∈ I×J は C の A 上の基底である。
証明
過去スレpart4の561の証明と同様である。
