lagrange定理

假定H是一個有限群G的一個子群。那么H的階n和它在G里的指數j都能整除G的階N，並且N=nj。（一個群G的一個子群的右陪集或左陪集的個數叫做H在G里的指數）

群G的子群H的階一定整除G的階，且等於群G對子群H的指數。