noun Mathematics. a group, or other such system, every element of which can be written uniquely as the product of elements of disjoint groups, with each group contributing one element to the product.