其群运算只有"e" + "e" = "e"，单位元素当然是"e"，且为阿贝尔群；这些结果都是当然的，因此以此命名。当然群通常被写做Z，或尽标示为0。不可把当然群和空集相混淆，空集中没有任何元素，因此缺少一个单位元而无法形成一个群，虽然这两者在其各自的范畴中扮演着极相近的角色。每一个群都包含着一个当然群。