"a" 的元素的集合。我们写 "S"*"T" 表示形如 "s"*"t" 的元素构成的 "G" 的子集，这里的 "s" 是 "S" 的元素而 "t" 是 "T" 的元素。如果 "H" 是 "G" 的子群，则 "H" 对于某个 "G" 中的 "a" 的左陪集是集合 "a"*"H"。右陪集是集合 "H"*"a"。如果 "H" 是 "G" 的子群，则下面陈述而不带证明的有用定理对所有陪集都成立:定义群 "G" 的子群 "H" 的指标(写为“["G":"H"]”)为 "H" 在 "G" 中不同的左