设$A\leq G$且$[G:A]<\infty$,则存在一个$A$的右陪集代表元系$R$,同时$R$也可以作为左陪集的代表元系. 转载于:https://www.cnblogs.com/qq3232361332/p/4952529.html