霍普夫群 數學上霍普夫Hopfian群是指一個群G使得任何滿同態 G  G displaystyle Gtwoheadrightarrow G 都是自同構另一個等價定義為G不同構於其任何真商群換言之若N是G的正規子群使得G和GN同構則N是平凡子群e 餘霍普夫coHopfian群是指一個群G使得任何單同態 G  G displaystyle Grightarrowtail G 都是自同構另一個等價定義為G不同構於其任何真子群換言之若H是G的子群使得G和H同構則HG 霍普夫群是以海因茨霍普夫命名