The SlugMath Wiki is under heavy development!

# Def/Prime factorization

Definition of Prime factorization: Suppose that $n \in \NN$. A prime factorization of $n$ is a finite sequence of prime numbers $p_0, \ldots, p_k$, such that $n$ can be expressed as a product: $$n = \prod_{i=0}^k p_i.$$

## Logical Connections

This definition logically relies on the following definitions and statements: Def/Finite sequence, Def/Prime number, Def/Product

The following statements and definitions logically rely on the material of this page: State/Natural numbers can be factored into primes

To visualize the logical connections between this definition and other items of mathematical knowledge, you can visit any of the following clusters, and click the "Visualize" tab: