Abstract: We present a new algebraic framework for linear trellises which yields a new and simpler proof of the fundamental Factorization Theorem by Koetter and Vardy [4], and which sheds light on ...