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.