An Integral Basis for the Universal Enveloping Algebra of the Onsager Algebra

We construct an integral form for the universal enveloping algebra of the Onsager algebra and an explicit integral basis for this integral form. We also formulate straightening identities among some products of basis elements.