Simple algebra question (find the LCM of the polynomials by factoring)











up vote
5
down vote

favorite












First of all, I am so embarrassed by this. I am tutoring this kid in math and this question came up: Find the LCM of $y^2 - 81$ and $9 - y$, which factor into $(y + 9)(y - 9)$ and $-(y - 9)$



My answer: $-(y+9)(y-9)$



Her book's answer: $(y+9)(y-9)$



My question: Why is the negative left off? Isn't it ($-1$) a factor of the second binomial?










share|cite|improve this question






















  • gcds & lcms in polynomial rings are defined only up to unit (invertible) factors. For polynomials (over fields) they usually normalized to be monic, i.e lead coef $= 1.,$ See here for more on such unit normalization.
    – Bill Dubuque
    Nov 21 at 2:02

















up vote
5
down vote

favorite












First of all, I am so embarrassed by this. I am tutoring this kid in math and this question came up: Find the LCM of $y^2 - 81$ and $9 - y$, which factor into $(y + 9)(y - 9)$ and $-(y - 9)$



My answer: $-(y+9)(y-9)$



Her book's answer: $(y+9)(y-9)$



My question: Why is the negative left off? Isn't it ($-1$) a factor of the second binomial?










share|cite|improve this question






















  • gcds & lcms in polynomial rings are defined only up to unit (invertible) factors. For polynomials (over fields) they usually normalized to be monic, i.e lead coef $= 1.,$ See here for more on such unit normalization.
    – Bill Dubuque
    Nov 21 at 2:02















up vote
5
down vote

favorite









up vote
5
down vote

favorite











First of all, I am so embarrassed by this. I am tutoring this kid in math and this question came up: Find the LCM of $y^2 - 81$ and $9 - y$, which factor into $(y + 9)(y - 9)$ and $-(y - 9)$



My answer: $-(y+9)(y-9)$



Her book's answer: $(y+9)(y-9)$



My question: Why is the negative left off? Isn't it ($-1$) a factor of the second binomial?










share|cite|improve this question













First of all, I am so embarrassed by this. I am tutoring this kid in math and this question came up: Find the LCM of $y^2 - 81$ and $9 - y$, which factor into $(y + 9)(y - 9)$ and $-(y - 9)$



My answer: $-(y+9)(y-9)$



Her book's answer: $(y+9)(y-9)$



My question: Why is the negative left off? Isn't it ($-1$) a factor of the second binomial?







algebra-precalculus






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Nov 21 at 1:52









Ninosław Ciszewski

516411




516411












  • gcds & lcms in polynomial rings are defined only up to unit (invertible) factors. For polynomials (over fields) they usually normalized to be monic, i.e lead coef $= 1.,$ See here for more on such unit normalization.
    – Bill Dubuque
    Nov 21 at 2:02




















  • gcds & lcms in polynomial rings are defined only up to unit (invertible) factors. For polynomials (over fields) they usually normalized to be monic, i.e lead coef $= 1.,$ See here for more on such unit normalization.
    – Bill Dubuque
    Nov 21 at 2:02


















gcds & lcms in polynomial rings are defined only up to unit (invertible) factors. For polynomials (over fields) they usually normalized to be monic, i.e lead coef $= 1.,$ See here for more on such unit normalization.
– Bill Dubuque
Nov 21 at 2:02






gcds & lcms in polynomial rings are defined only up to unit (invertible) factors. For polynomials (over fields) they usually normalized to be monic, i.e lead coef $= 1.,$ See here for more on such unit normalization.
– Bill Dubuque
Nov 21 at 2:02












1 Answer
1






active

oldest

votes

















up vote
4
down vote













Both answers are valid. Any nonzero constant can be factored out of any polynomial.



Technically speaking, finding the $operatorname{lcm}$ of two elements is an action done in a ring. If it exists, the $operatorname{lcm}$ is unique up to multiplication of a unit of the ring, i.e. an invertible element.



In this case, all nonzero constants are units in a polynomial ring over a field (here $mathbb{R}$), so multiplying by a constant still gives an $operatorname{lcm}$. If we instead are considering these polynomials over $mathbb{Z}$, there's still no problem since $-1$ is a unit.






share|cite|improve this answer























  • "all nonzero constants are units". Also better to restrict to domains vs. rings since divisibility theory in general rings is more complex, e.g. associates are no longer the same as unit multiples; furthermore the notions of associate and irreducible bifurcate into a few inequivalent notions in use.
    – Bill Dubuque
    Nov 21 at 2:32












  • Good point. Could you edit to add the nuance for rings vs domains? My ring theory's a bit rusty.
    – Sambo
    Nov 21 at 3:13











Your Answer





StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");

StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});

function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});


}
});














draft saved

draft discarded


















StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3007151%2fsimple-algebra-question-find-the-lcm-of-the-polynomials-by-factoring%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown

























1 Answer
1






active

oldest

votes








1 Answer
1






active

oldest

votes









active

oldest

votes






active

oldest

votes








up vote
4
down vote













Both answers are valid. Any nonzero constant can be factored out of any polynomial.



Technically speaking, finding the $operatorname{lcm}$ of two elements is an action done in a ring. If it exists, the $operatorname{lcm}$ is unique up to multiplication of a unit of the ring, i.e. an invertible element.



In this case, all nonzero constants are units in a polynomial ring over a field (here $mathbb{R}$), so multiplying by a constant still gives an $operatorname{lcm}$. If we instead are considering these polynomials over $mathbb{Z}$, there's still no problem since $-1$ is a unit.






share|cite|improve this answer























  • "all nonzero constants are units". Also better to restrict to domains vs. rings since divisibility theory in general rings is more complex, e.g. associates are no longer the same as unit multiples; furthermore the notions of associate and irreducible bifurcate into a few inequivalent notions in use.
    – Bill Dubuque
    Nov 21 at 2:32












  • Good point. Could you edit to add the nuance for rings vs domains? My ring theory's a bit rusty.
    – Sambo
    Nov 21 at 3:13















up vote
4
down vote













Both answers are valid. Any nonzero constant can be factored out of any polynomial.



Technically speaking, finding the $operatorname{lcm}$ of two elements is an action done in a ring. If it exists, the $operatorname{lcm}$ is unique up to multiplication of a unit of the ring, i.e. an invertible element.



In this case, all nonzero constants are units in a polynomial ring over a field (here $mathbb{R}$), so multiplying by a constant still gives an $operatorname{lcm}$. If we instead are considering these polynomials over $mathbb{Z}$, there's still no problem since $-1$ is a unit.






share|cite|improve this answer























  • "all nonzero constants are units". Also better to restrict to domains vs. rings since divisibility theory in general rings is more complex, e.g. associates are no longer the same as unit multiples; furthermore the notions of associate and irreducible bifurcate into a few inequivalent notions in use.
    – Bill Dubuque
    Nov 21 at 2:32












  • Good point. Could you edit to add the nuance for rings vs domains? My ring theory's a bit rusty.
    – Sambo
    Nov 21 at 3:13













up vote
4
down vote










up vote
4
down vote









Both answers are valid. Any nonzero constant can be factored out of any polynomial.



Technically speaking, finding the $operatorname{lcm}$ of two elements is an action done in a ring. If it exists, the $operatorname{lcm}$ is unique up to multiplication of a unit of the ring, i.e. an invertible element.



In this case, all nonzero constants are units in a polynomial ring over a field (here $mathbb{R}$), so multiplying by a constant still gives an $operatorname{lcm}$. If we instead are considering these polynomials over $mathbb{Z}$, there's still no problem since $-1$ is a unit.






share|cite|improve this answer














Both answers are valid. Any nonzero constant can be factored out of any polynomial.



Technically speaking, finding the $operatorname{lcm}$ of two elements is an action done in a ring. If it exists, the $operatorname{lcm}$ is unique up to multiplication of a unit of the ring, i.e. an invertible element.



In this case, all nonzero constants are units in a polynomial ring over a field (here $mathbb{R}$), so multiplying by a constant still gives an $operatorname{lcm}$. If we instead are considering these polynomials over $mathbb{Z}$, there's still no problem since $-1$ is a unit.







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








edited Nov 21 at 3:13

























answered Nov 21 at 2:05









Sambo

2,1112532




2,1112532












  • "all nonzero constants are units". Also better to restrict to domains vs. rings since divisibility theory in general rings is more complex, e.g. associates are no longer the same as unit multiples; furthermore the notions of associate and irreducible bifurcate into a few inequivalent notions in use.
    – Bill Dubuque
    Nov 21 at 2:32












  • Good point. Could you edit to add the nuance for rings vs domains? My ring theory's a bit rusty.
    – Sambo
    Nov 21 at 3:13


















  • "all nonzero constants are units". Also better to restrict to domains vs. rings since divisibility theory in general rings is more complex, e.g. associates are no longer the same as unit multiples; furthermore the notions of associate and irreducible bifurcate into a few inequivalent notions in use.
    – Bill Dubuque
    Nov 21 at 2:32












  • Good point. Could you edit to add the nuance for rings vs domains? My ring theory's a bit rusty.
    – Sambo
    Nov 21 at 3:13
















"all nonzero constants are units". Also better to restrict to domains vs. rings since divisibility theory in general rings is more complex, e.g. associates are no longer the same as unit multiples; furthermore the notions of associate and irreducible bifurcate into a few inequivalent notions in use.
– Bill Dubuque
Nov 21 at 2:32






"all nonzero constants are units". Also better to restrict to domains vs. rings since divisibility theory in general rings is more complex, e.g. associates are no longer the same as unit multiples; furthermore the notions of associate and irreducible bifurcate into a few inequivalent notions in use.
– Bill Dubuque
Nov 21 at 2:32














Good point. Could you edit to add the nuance for rings vs domains? My ring theory's a bit rusty.
– Sambo
Nov 21 at 3:13




Good point. Could you edit to add the nuance for rings vs domains? My ring theory's a bit rusty.
– Sambo
Nov 21 at 3:13


















draft saved

draft discarded




















































Thanks for contributing an answer to Mathematics Stack Exchange!


  • Please be sure to answer the question. Provide details and share your research!

But avoid



  • Asking for help, clarification, or responding to other answers.

  • Making statements based on opinion; back them up with references or personal experience.


Use MathJax to format equations. MathJax reference.


To learn more, see our tips on writing great answers.





Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


Please pay close attention to the following guidance:


  • Please be sure to answer the question. Provide details and share your research!

But avoid



  • Asking for help, clarification, or responding to other answers.

  • Making statements based on opinion; back them up with references or personal experience.


To learn more, see our tips on writing great answers.




draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3007151%2fsimple-algebra-question-find-the-lcm-of-the-polynomials-by-factoring%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown





















































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown

































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown







Popular posts from this blog

Quarter-circle Tiles

build a pushdown automaton that recognizes the reverse language of a given pushdown automaton?

Mont Emei