群論において、コーシーの定理(コーシーのていり; 英: Cauchy's theorem)とは次のような定理である。 コーシーの定理 ― 有限群 G の位数 |G| が素数 p の倍数であれば、G は位数 p の元を含む。