# Direct sum of groups categorically [duplicate]

I mean groups and not abelian groups. In Grp, categorically, he product is the cartesian product and the coproduct is the free product. So what place takes the direct sum? Can it be defined categorically in Grp or any similar category? I would be surprised if can't be defined using limits of co/cones or something similar. If not, are they really useful (the direct sum of groups) for something?

## marked as duplicate by TomGrubb, Kevin Carlson, Namaste group-theory StackExchange.ready(function() { if (StackExchange.options.isMobile) return; $('.dupe-hammer-message-hover:not(.hover-bound)').each(function() { var$hover = $(this).addClass('hover-bound'),$msg = $hover.siblings('.dupe-hammer-message');$hover.hover( function() { $hover.showInfoMessage('', { messageElement:$msg.clone().show(), transient: false, position: { my: 'bottom left', at: 'top center', offsetTop: -7 }, dismissable: false, relativeToBody: true }); }, function() { StackExchange.helpers.removeMessages(); } ); }); }); Oct 1 '18 at 9:34

• Not very satisfying but you can say that it represents $G\mapsto \{f\in \displaystyle\prod_{i\in I}\hom (G,G_i) \mid \forall x: \mathbb{Z}\to G,$ for all but finitely many $i, f_i\circ x =0 \}$. This is of course not very satisfying because I mimicked elements with $\mathbb{Z}$ ($\mathbb{Z}$ can be defined either as the object that represents the forgetful functor; or as an initial $1$-generated group, $1$-generated being categorically definable in terms of coproducts) – Max Sep 30 '18 at 17:49
The direct sum $$\bigoplus_i G_i$$ is the "commutative coproduct": it's the universal group admitting a map from each of the $$G_i$$ whose images commute. The same construction for a finite collection of $$k$$-algebras produces the tensor product of $$k$$-algebras.