则是其在泛代数范畴内对应的概念。
环.一个有单位元的拟群称为一个幺拟群或一个圈，也可称作一个环，这里的单位元是指 "Q" 中元素 "e" 使得：可以证明单位元 "e" 是唯一的，并且这时每一个 "Q" 中元素都有唯一的一个左逆元和右逆元。
性质.拟群具有可消去性：如果 "ab" = "ac"，那么 "b" = "c"。同样地，如果 "ba" = "ca"，那么 "b" = "c"。
左乘与右乘.拟群 "Q" 的定义说明拟群中