# Group is n-ary group for all n

From Groupprops

## Statement

Suppose is a group where we denote the multiplication by concatenation (i.e., we omit the multiplication symbol). Let be an integer with . We can equip with the structure of a -ary group (i.e., a multiary group for arity ) as follows: we define the -ary operation as: