Introduction to polynomial factorization and irreducible polynomial