Though the concept of unique factorization was formulated in tile 19th century, Euclid already had considered the prime factorization of natural numbers, so called tile fundamental theorem of arithmetic. The unique factorization of algebraic integers was a crucial problem in solving elliptic equations and the Fermat Last Problem in tile 19th century On the other hand the unique factorization of the formal power series ring were a critical problem in the past century. Unique factorization is one of the idealistic condition in computation and prime elements and prime ideals are vital ingredients in thinking and solving problems.