Fundamental group of a Product:

The fundamental group functor has the pleasant property that it respects products. The following theorem summarizes the matter for finite products.