Now suppose we were to explicitly define two particular operators, assigning each of them a ''specific'' mathematical form, such that the pair satisfies the aforementioned canonical commutation relation. It's important to remember that our particular "choice" of operators would merely reflect one of many equivalent, or isomorphic, representations of the general algebraic structure that fundamentally characterizes quantum mechanics. The generalization is provided formally by the Heisenberg Lie algebra <math>\mathfrak h_3</math>, with a corresponding group called the Heisenberg group <math> H_3 </math>.
