# Product (mathematics)

In mathematics, a **product** is a number or a quantity obtained by multiplying two or more numbers together. For example: 4 × 7 = 28 Here, the number 28 is called the product of 4 and 7. The product of 6 and 4 will be 24, because 6 × 4 = 24.

## Capital pi

A short way to write the product of many numbers uses the capital Greek letter pi: [math]\prod[/math]. This notation works the same as the Sigma notation. Informally, given a sequence of numbers (or elements of a multiplicative structure with unit) say [math]a_i[/math] we define [math]\prod_{1\leq i\leq n}a_i:=a_1\dotsm a_n[/math]. A rigorous definition is usually given recursively as follows

- [math] \prod_{1\leq i\leq n}a_i := \begin{cases} 1 & \text{ for } n=0 , \\ \left(\prod_{1\leq i\leq n-1}a_i\right) a_n & \text{ for } n\geq1 . \end{cases} [/math]

An alternative notation for [math]\prod_{1\leq i\leq n}[/math] is [math]\prod_{i=1}^n[/math].

### Properties

- [math]\prod_{i=1}^n i = 1 \cdot 2 \cdot ... \cdot n = n![/math] ([math]n![/math] is pronounced "[math]n[/math] factorial" or "factorial of [math]n[/math]");
- [math]\prod_{i=1}^n x = x^n[/math], i.e., the usual [math]n[/math]th power operation;
- [math]\prod_{i=1}^n n = n^n[/math], i.e., we multiply [math]n[/math] by itself [math]n[/math] times;
- [math]\prod_{i=1}^n c \cdot i = c^n \cdot n![/math] where [math]c[/math] is a constant with respect to [math]i[/math].

From the above equation we can see that *any* number with an exponent can be represented by a product, though it normally is not desirable.

Unlike summation, the sums of two terms cannot be separated into different sums. That is,

- [math]\prod_{i=1}^4 (3 + 4) \neq \prod_{i=1}^4 3 + \prod_{i=1}^4 4[/math],

This can be thought of in terms of polynomials: one generally cannot separate terms inside them before they are raised to an exponent. But the product does,

- [math]\prod_{i=1}^n a_ib_i=\prod_{i=1}^na_i\prod_{i=1}^nb_i.[/math]

### Relation to Summation

The product of powers with the same base can be written as an exponential of the sum of the powers' exponents:

- [math]\prod_{i=1}^n a^{c_i} = a^{c_1} \cdot a^{c_2} \dotsm a^{c_n}= a^{c_1 + c_2 + ... + c_n} = a^{(\sum_{i=1}^n c_i)} [/math]