A representation theorem for Chain rings
A ring A is called a chain ring if it is a local, both sided artinian, principal ideal ring. Let R be a commutative chain ring. Let A be a faithful R-algebra which is a chain ring such that Ā = A/J(A) is a separable field extension of R̅ = R/J(R). It follows from a recent result by Alkhamees and Singh that A has a commutative R-subalgebra R₀ which is a chain ring such that A = R₀ + J(A) and R₀ ∩ J(A) = J(R₀) = J(R)R₀. The structure of A in terms of a skew polynomial ring over R₀ is determined.