# Exponent of direct product is lcm of exponents

This article gives an expression for the value of the arithmetic function exponent of a group of an external direct product in terms of the values for the direct factors. It says that the value for the direct product is the least common multiple of the values for the direct factors.

View facts about exponent of a group: (factscloselyrelated to exponent of a group, all facts related to exponent of a group)

View facts about external direct product: (factscloselyrelated to external direct product, all facts related to external direct product)

View facts about least common multiple: (factscloselyrelated to least common multiple, all facts related to least common multiple)

## Contents

## Statement

### For two groups

Suppose and are groups and their exponents are respectively. Here, the exponent of a group is defined as the least common multiple of the orders of all elements of the group.

Then, the external direct product has exponent equal to the least common multiple of and .

If a group has elements of infinite order, or if there is no finite bound on the orders of all elements, the exponent is taken to be infinite. In our case, if either or has infinite exponent, then so does , whereas if *both* have finite exponent, then also has finite exponent given by the lcm.

### For finitely many groups

Suppose are groups of exponents respectively. Then, the external direct product has exponent equal to .

In particular, if any of the groups has infinite exponent, so does the direct product, and if all the groups have finite exponent, then so does the direct product.

### For internal direct product

The above statements hold if we replace external direct product by internal direct product. Note that by equivalence of internal and external direct product, the statements for both kinds of products are equivalent.