様々な主空間

主等質空間を主空間〈principal space〉と呼ぶ。

• 群主空間 ： 群が作用する主空間
• 可換群主空間 ： 可換群が作用する主空間
• ベクトル空間主空間 ： ベクトル空間が作用する主空間＝アフィン空間。可換群主空間の一種。
• 加群主空間 ： 加群が作用する主空間。可換群主空間の一種。
• 代数主空間 ： 代数〈多元環〉の加法可換群が作用している。掛け算で作用していれば群主空間になる。

共変微分の空間が、ベクトル空間主空間であり加群主空間にもなっている。リー代数に対する主空間が意味があるか？