當然群 在數學裡當然群是指一個只包含單一元素e的群其群運算只有e  e  e單位元素當然是e且為阿貝爾群這些結果都是當然的因此以此命名當然群通常被寫做Z或儘標示為 不可把當然群和空集相混淆空集中沒有任何元素因此缺少一個單位元而无法形成一個群雖然這兩者在其各自的範疇中扮演著極相近的角色 每一個群都包含著一個當然群