25.19. Következmény
Véges csoportok direkt szorzatának rendje
Legyenek G_1, G_2, ..., G_n véges csoportok. Ekkor a G_1\times G_2\times \ldots \times G_n szorzatcsoport is véges, amelynek rendje a "tényezők" rendjeinek szorzata, azaz:
|G_1\times G_2\times \ldots \times G_n|=|G_1|\cdot |G_2|\cdot \ldots \cdot |G_n|
♣