Omission: below P(x) must be irreducible, so minimal degree for given z ! WFL On 5/7/16, Fred Lunnon <fred.lunnon@gmail.com> wrote:
See https://en.wikipedia.org/wiki/Galois_theory The standard example given there of z notin S is the real root z of x^5 - x - 1 = 0 .
Any ring generated over rationals |Q by some root z of polynomial P(x) = c_n x^n + ... + c_0 is necessarily a field, since reciprocal (and division) is possible via 1/z = (-c_n/c_0) z^(n-1) + ... + (-c_1/c_0) .
The fact that the extension field is the quotient of polynomial ring |Q[x] by (ideal generated by) P(x) seems unfamiliar to a number of otherwise competent computing mathematicians, contributing recently to an excruciating "gotcha" surfacing in a certain strongly-typed CAS which shall remain nameless ...
Fred Lunnon
On 5/7/16, David Wilson <davidwwilson@comcast.net> wrote:
Consider the set S of numbers that can be gotten from elements of Q by addition, multiplication, and taking integer roots? That is,
a in Q => a in S a, b in S => a + b in S a, b in S => ab in S a in R, k in Z, a^k in S => a in S
I understand S would be a proper subset of the algebraic numbers. Does S have a name? Is S a field?
_______________________________________________ math-fun mailing list math-fun@mailman.xmission.com https://mailman.xmission.com/cgi-bin/mailman/listinfo/math-fun