The Generalization and Proof of “Square Root of 2 Is Not a Rational Number” on the Integral Domain
- 1 Math Teaching and Research Office in Chengdu College of Arts and Sciences, Chengdu, China
Abstract
In this paper, the traditional proof of “square root of 2 is not a rational number” has been reviewed, and then the theory has been generalized to “if n is not a square, square root of n is not a rational number”. And then some conceptions of ring, integral domain, ideal, quotient ring in Advanced algebra, have been introduced. Integers can be regarded as an integral domain, the rational numbers can be regard as a fractional domain. Evens and odds are principal ideals in integral domain. The operations on evens and odds are operations on quotient ring. After introducing “the minimalist form” in fraction ring. The paper proves the main conclusion: in a integral domain, multiplicative subset S produces a fraction ring S − 1 R , and n is not a square element in R , then to every element a ∈ R , a 2 ≠ n .
- Chen, M.Q. (2009) Square Root Algorithm of Elements in Quotient Ring of Polynomial Ring with Rational Coefficients. Journal of Yibin University. (in Chinese)
- Dobbs, D.E. (2002) Why the Square Root Function Is Not Linear. International Journal of Mathematical Education in Science and Technology, 33, 742-747. https://doi.org/10.1080/002073902320602897
- Qiu, W.S. (2015) Foundation of Abstract Algebra. Higher Education Press, Beijing. (in Chinese)
- Tang, Z.M. (2015) Introduction to Commutative Algebra. Science Press, Beijing. (in Chinese)
- Wang, W.L. and Ren, Y.L. (2012) Fractional Domains of General Domains. Mathematical Theory and Applications, 1, 81-84. (in Chinese)
- Picozza, G. and Tartarone, F. (2010) Flat Ideals and Stability in Integral Domains. Journal of Algebra, 324, 1790-1802. https://doi.org/10.1016/j.jalgebra.2010.07.021
- Shi, S.M. (2006) Preliminary Study of Modern Algebra. Higher Education Press, Beijing, 5-7. (in Chinese)