Polynomial GCD and LCM over a Field
- To: mathgroup at smc.vnet.net
- Subject: [mg38507] Polynomial GCD and LCM over a Field
- From: "flip" <flip_alpha at safebunch.com>
- Date: Fri, 20 Dec 2002 04:27:45 -0500 (EST)
- Sender: owner-wri-mathgroup at wolfram.com
Hello, I have been working with polynomial GCD and LCM over some finite fields and have a question. f[x] = x^3 + x + 1 g[x] = x^2 + 3 Over F{11}[x] (the field mod 11, forgive my notation). So, the PolynomialGCD[f[x], g[x], 11] = 1 As a linear combination, we get the GCD as: 1 = f[x]*a[x] + g[x]*b[x] = (x^3 + x + 1)(x+6) + (x^2 + 3)(10x^2 + 5x +2) No problem, but how does one find the Polynomial LCM? I assumed it would be: LCM[f[x],g[x]] = (f[x]*g[x])/GCD(f[x],g[x]) so the LCM = (x^3 + x + 1)(x^2 + 3) / 1 = (x^3 + x + 1)(x^2 + 3) But, Mathematica shows 11*(x^3 + x + 1)(x^2 + 3). In fact, the 11 modulo 11 makes this LCM equal to zero! Can someone explain why? Thanks for any inputs (several, about 15, books which I looked in didn't define LCM, they only define GCD). Flip P.S. Remove "_alpha" th send me email.