1-isomorphism is direct product-closed
Statement
Suppose is an indexing set and are 1-isomorphic groups (?) for each . Then, the External direct product (?) of the s is 1-isomorphic to the external direct product of the s.
Suppose is an indexing set and
are 1-isomorphic groups (?) for each
. Then, the External direct product (?) of the
s is 1-isomorphic to the external direct product of the
s.