I will introduce the main algebraic and model theoretic properties of the rings M/nM where M is a model of Peano Arithmetic. I will explain the role played by the classical result due to Feferman and Vaught in this analysis.