proof of Bezout’s Theorem
Let be an integral domain with an Euclidean valuation. Let not both 0. Let . is an ideal in . We choose such that is the smallest positive value. Then is generated by and has the property and . Two elements and in are associate if and only if . So is unique up to a unit in . Hence is the greatest common divisor of and .
|Title||proof of Bezout’s Theorem|
|Date of creation||2013-03-22 13:19:58|
|Last modified on||2013-03-22 13:19:58|
|Owner||Thomas Heye (1234)|
|Last modified by||Thomas Heye (1234)|
|Author||Thomas Heye (1234)|