Source: cirosantilli/direct-product
= Direct product
{c}
{wiki}
A <Cartesian product> that carries over some extra structure of the input groups.
E.g. the <direct product of groups> carries over <group> structure on both sides.
= Direct product
{c}
{wiki}
A <Cartesian product> that carries over some extra structure of the input groups.
E.g. the <direct product of groups> carries over <group> structure on both sides.