In mathematics, the Lie product formula, named for Sophus Lie (1875), but also widely called the Trotter product formula, named after Hale Trotter, states that for arbitrary m × m real or complex matrices A and B, where eA denotes the matrix exponential of A. The Lie–Trotter product formula and the Trotter–Kato theorem extend this to certain unbounded linear operators A and B.