原群（英语：Magma）是抽象代数领域中一种基本代数结构。原群定义为一个集合和这个集合上满足封闭性的一个二元运算，即：对于集合M和M上的一个二元运算，若满足M中的任意两个元素经过作用，得到的结果仍在M中，则称它们构成一个原群。 介绍
在抽象代数里，原群是一种基本的代数结构。具体地说，原群有一个集合M 和一个M 上的二元运算。此二元运算依定义是封闭的，且除此之外便没有其他公理被加在此运算中。 类型
原群并不常被研究；相对地，存在一些不同类型的原群，依据其运算需符合公理的不同。一般常被研究的原群类型有：拟群－除法总是可能的非空原群；环群－有单位元的拟群；半群－运算为可结合的原群；幺半群－有单位元的半群；群－有逆元的幺半群，或等价地说，可结合的环群；阿贝尔群－运算为可交换的群。 