Description: Abelian groups (and therefore also groups and monoids) exist. (Contributed by AV, 29-Apr-2019)