主等質空間を主空間〈principal space〉と呼ぶ。 群主空間 ： 群が作用する主空間 可換群主空間 ： 可換群が作用する主空間 ベクトル空間主空間 ： ベクトル空間が作用する主空間＝アフィン空間。可換群主空間の一種。 加群主空間 ： 加群が作用する主空間。…

「ベクトル層」は曖昧でよくない。ベクトルバンドルから作られた層＝局所有限階数自由加群層はベクトルバンドル層と呼ぶ。一方、体の局所定数層の上のベクトル空間層は、ベクトル空間層。 ベクトル空間層は、ベクトル空間の層 ベクトルバンドル層は、可換環…

曲DG加群 -- 曲率の代数構造 - (新) 檜山正幸のキマイラ飼育記 メモ編 の続き。次数1の階付き微分作用素（作用素、テンソル作用素、微分作用素 - (新) 檜山正幸のキマイラ飼育記 メモ編 参照）が平方零性を持たないと、コホモロジー・マシンナリィを起動〈in…

「非可換」は「可換ではない」じゃなくて「可換性を仮定しない」という意味。Kは体。階付き{外}?微分〈graded {exterior}? {derivative | differential}〉は平方零性を持つ微分のこと。平方零性をはずした微分を階付き半微分〈graded {semiderivative | semi…