空间代表与给定的过原点的直线或平面平行的直线或平面。
性质."gH" = "H" 当且仅当 "g" 是 "H" 中的元素。一个子群 "H" 的两个左（右）陪集要么相同，要么不交——即左（右）陪集的集合构成了群 "G" 的一个划分：群中的每个元素属于且仅属于一个左（右）陪集。特别地，单位元只在一个陪集中，即是 "H" 自己。因此 "H" 也是所有左（右）陪集中唯一的子群。这个划分称为 "G" 对 "H" 的左（右）陪集分解。 如果定义 "G" 中的等价关系为："x" ~ "y