原群

原群  是抽象代數領域中一種基本代數結構 。 原群定義爲一個集合和這個集合上滿足封閉性的一個二元運算 ， 即 ： 對於集合和上的一個二元運算 ， 若滿足中的任意兩個元素經過作用 ， 得到的結果仍在中 ， 則稱它們構成一個原群 ， 記作 。