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












5














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 '18 at 2:02


















5














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 '18 at 2:02
















5












5








5







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 '18 at 1:52









Ninosław Ciszewski

521412




521412












  • 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 '18 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 '18 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 '18 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 '18 at 2:02












1 Answer
1






active

oldest

votes


















4














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 '18 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 '18 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',
autoActivateHeartbeat: false,
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









4














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 '18 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 '18 at 3:13
















4














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 '18 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 '18 at 3:13














4












4








4






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 '18 at 3:13

























answered Nov 21 '18 at 2:05









Sambo

2,1382532




2,1382532












  • "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 '18 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 '18 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 '18 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 '18 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 '18 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 '18 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 '18 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 '18 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

MongoDB - Not Authorized To Execute Command

How to fix TextFormField cause rebuild widget in Flutter

in spring boot 2.1 many test slices are not allowed anymore due to multiple @BootstrapWith