@misc{RING_2.MIZ,
  AUTHOR = {Korni{\l}owicz, Artur and Schwarzweller, Christoph},
  TITLE = {The First Isomorphism Theorem and Other Properties of Rings},
  ADDRESS1 = {Institute of Informatics, University of Bialystok, Poland},
  ADDRESS2 = {Institute of Informatics, University of Gdansk, Poland},
  SECTION1 = {Preliminaries},
  SECTION2 = {Homomorphisms, Kernel and Image},
  SECTION3 = {Units and Non Units},
  SECTION4 = {Prime and Irreducible Elements},
  SECTION5 = {Principal Ideal Domains and Factorial Rings},
  SECTION6 = {Polynomial Rings over Fields},
  DAY = {29},
  MONTH = {November},
  YEAR = {2014},
  SUMMARY = {Different properties of rings and fields are discussed.
    The First Isomorphism Theorem is formalized.}}
