当然群

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

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

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