Direct sum of groups (source code)

= Direct sum of groups
{wiki=Direct_sum_of_groups}

In group theory, the direct sum of groups is a construction that allows one to combine two or more groups into a new group in a way that preserves their individual structures. The direct sum is often denoted by the symbol \\(\\oplus\\) or sometimes as a product, depending on the context.