  We study the Onsager algebra from the ideal theoretic point of view. A
complete classification of closed ideals and the structure of quotient algebras
are obtained. We also discuss the solvable algebra aspect of the Onsager
algebra through the use of formal Lie algebras.
