Fundamental groups turn products of path-connected spaces into direct products.Suggest a slogan
Let \(X\) and \(Y\) be path-connected spaces. Then the projections induce an isomorphism \[ \pi_1 (X \cross Y) \xrightarrow{\ \sim\ } \pi_1(X) \cross \pi_1(Y) \] [@Hat02].