MHB GCDs of Polynomials: Reading Rotman's Corollary 3.58

  • Thread starter Thread starter Math Amateur
  • Start date Start date
  • Tags Tags
    Polynomials
Click For Summary
The discussion centers on the interpretation of Corollary 3.58 from Joseph J. Rotman's "A First Course in Abstract Algebra," specifically regarding the uniqueness of the greatest common divisor (gcd) of two polynomials. The question raised is whether the corollary implies that the gcd is unique only if it is monic. One participant suggests that the gcd is typically defined as monic by default, but advises checking the book's definition for clarity. The conversation emphasizes the importance of precise definitions in abstract algebra. Understanding whether gcds are considered monic is crucial for interpreting the corollary correctly.
Math Amateur
Gold Member
MHB
Messages
3,920
Reaction score
48
I am reading Joseph J.Rotman's book, A First Course in Abstract Algebra.

I am currently focused on Section 3.5 From Polynomials to Numbers

I need help with the statement and meaning of Corollary 3.58

The relevant section of Rotman's text reads as follows:https://www.physicsforums.com/attachments/4547In the above text (in the statement of the Corollary) we read the following:

" ... ... (ii) Every two polynomials $$f(x)$$ and $$g(x)$$ have a unique gcd. ... ... "
My question (which some may regard as pedantic :) ) is as follows:

Does Rotman actually mean ...

" (ii) Every two polynomials $$f(x)$$ and $$g(x)$$ have a unique monic gcd. ... ... "

Can someone please confirm that my interpretation is correct?

Peter
 
Physics news on Phys.org
Peter said:
I am reading Joseph J.Rotman's book, A First Course in Abstract Algebra.

I am currently focused on Section 3.5 From Polynomials to Numbers

I need help with the statement and meaning of Corollary 3.58

The relevant section of Rotman's text reads as follows:In the above text (in the statement of the Corollary) we read the following:

" ... ... (ii) Every two polynomials $$f(x)$$ and $$g(x)$$ have a unique gcd. ... ... "
My question (which some may regard as pedantic :) ) is as follows:

Does Rotman actually mean ...

" (ii) Every two polynomials $$f(x)$$ and $$g(x)$$ have a unique monic gcd. ... ... "

Can someone please confirm that my interpretation is correct?

Peter
I think gcd is defined to a monic by default. Please check the definition in the book. If it doesn't say monic specifically then yes, you can have many gcds.
 
I am studying the mathematical formalism behind non-commutative geometry approach to quantum gravity. I was reading about Hopf algebras and their Drinfeld twist with a specific example of the Moyal-Weyl twist defined as F=exp(-iλ/2θ^(μν)∂_μ⊗∂_ν) where λ is a constant parametar and θ antisymmetric constant tensor. {∂_μ} is the basis of the tangent vector space over the underlying spacetime Now, from my understanding the enveloping algebra which appears in the definition of the Hopf algebra...

Similar threads

Replies
1
Views
1K
  • · Replies 24 ·
Replies
24
Views
864
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
Replies
11
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
2
Views
1K