希格曼定理(Higman theorem)有關某類有限生成子群的呈示的一個重要定理.該定理斷言:一個有限生成的群G是一個有限呈示的群的子群，若且唯若G有一個形如(X;R>的呈示，其中X為有限集，而R是自由群F(X)的一個遞歸可枚舉子集.
