最大公因式
我们回顾整数环上 a , b a,b a,b最大公因数定义:
- ∀ d ∣ a , d ∣ b , d ∣ ( a , b ) \forall d|a,d|b,d|(a,b) ∀d∣a,d∣b,d∣(a,b)
- ( a , b ) ∣ a , ( a , b ) ∣ b (a,b)|a,(a,b)|b (a,b)∣a,(a,b)∣b
我们自然的将其推广到一元多项式上.
定义
对于两个一元多项式 f ( x ) , g ( x ) f(x),g(x) f(x),g(x),它们的最大公因式 ( f ( x ) , g ( x ) ) (f(x),g(x)) (f(x),g(x))满足下述条件:
- ∀ d ( x ) ∣ f ( x ) , d ( x ) ∣ g ( x ) , d ( x ) ∣ ( f ( x ) , g ( x ) ) \forall d(x)|f(x),d(x)|g(x),d(x)|(f(x),g(x)) ∀d(x)∣f(x),d(x)∣g(x),d(x)∣(f(x),g(x))
- ( f ( x ) , g ( x ) ) ∣ f ( x ) , ( f ( x ) , g ( x ) ) ∣ g ( x ) (f(x),g(x))|f(x),(f(x),g(x))|g(x) (f(x),g(x)