在抽象代數裡，原群是一種基本的代數結構。具體地說，原群有一個集合 M 和一個 M 上的二元運算 M × M → M 。此二元運算依定義是封閉的，且除此之外便沒有其他公理被加在此運算中。

在抽象代數裡，原群是一種基本的代數結構。具體地說，原群有一個集合 M 和一個 M 上的二元運算 M × M → M 。此二元運算依定義是封閉的，且除此之外便沒有其他公理被加在此運算中。