主齐性空间

例子

每个群G可以将自己视为一个在左乘或者右乘作用下的左或右G-主齐性空间。
另外一个例子是仿射空间的概念：向量空间V之下的仿射空间A的想法可以简洁地表述为A是V作为平移的加法群作用的主齐性空间。
给定向量空间 V，可以将G取作一般线性群GL(V)，而X取作所有（有序）基的集合。则G通过作用在V中的向量上而作用于X；并且它可递地作用，因为任何基可以通过G转换成为另一个。而且，一个固定一个基中每个向量的线性变换会固定所有V中的v，因此它是一般线性群GL(V)的幺元，也就是说G的作用是自由的：所以X确实是一个主齐性空间。在线性代数中跟随基的依赖性的一个论证办法就是跟踪X中的变量x。

应用

主齐性空间概念是主丛的一个特殊情况：它就是基空间为一点的主丛。换句话说，主丛的局部理论就是一族依赖于基空间中的参数的主齐性空间的理论。可以通过取丛的一个截面来给定“原点” - 这样的截面通常是局部地在基空间上存在 - 也就是丛局部平凡，因此局部地结构就是卡积的结构。但是截面经常不是全局存在的。例如一个微分流形M有一个和其切丛相应的标架主丛。全局截面只有当M是可平行化时才存在；而那是很强的拓扑限制。
在数论中，有一个（看似不同的）使用主齐性空间的原因，就是为了在域K上定义椭圆曲线E（以及更一般的交换簇）。一旦理解了这点，很多其它例子也是同样的情况，应用于其它的代数群：正交群的二次型，以及射影线性群的Severi-Brauer簇就是两个例子。 
在椭圆曲线情况，对丢番图方程的意义，在于K可能不是代数闭的。可以存在曲线C，它在K没有点，而它在更大的域上同构于E，E按定义有K上一点作为它的加法律的幺元。也就是，在这个情况我们应该区分亏格为1的C，和有一个K-点的椭圆曲线E（或者说，有一个解在K中的一个丢番图方程）。曲线C其实就是E上的主齐性空间，并在K为一个数域的情况构成一个有更丰富结构的集合（Selmer 群理论）。实际上，典型的Q上的平面三次曲线C没有理由有一个有理点；标准的韦尔斯特拉斯（Weierstrass）模型确总是有一个，也就是无穷远点，但是必须有一点在K上以将C置入在K上的形式。
这个理论在局部分析中有所发展，导出了Tate-Shafarevich群的定义。通常取主齐性空间理论的方法，首先在代数闭域上，然后回降到更小的域上，这是下降的一个方面。它立刻导致伽罗瓦上同调，因为主齐性空间代表了群上同调 H¹的等价类。