数学里,当然群是指一个只包含单一元素e,其群运算只有e + e = e,单位元素当然是e,且为阿贝尔群;这些结果都是当然的,因此以此命名。当然群通常被写做Z1,或尽标示为0。

不可把当然群和空集相混淆,空集中没有任何元素,因此缺少一个单位元而无法形成一个群,虽然这两者在其各自的范畴中扮演著极相近的角色。

每一个群都包含著一个当然群。

另见