Modules are a generalization of the vector spaces of linear algebra over a ring instead of over a field of scalars. Some of the results in linear algebra are extremely useful in studying modules. In this paper, we highlight the use of Smith normal form in studying finitely generated modules over a univariate polynomial ring. As an application, we take advantage of Smith normal form to understand the structure of certain syzygy modules.