Example of factorization in a polynomial ring which is not an UFDDefining irreducible polynomials over polynomial ringsIs the coordinate ring of SL2 a UFD?Is this ring a UFDA non-UFD where we have different lengths of irreducible factorizations?Example of a Subgroup That Is Not NormalRegarding unique factorization in a polynomial ring and irreduciblesSimple question regarding proving some ring isn't a UFDShow that the ring $R$ of entire functions does not form a Unique Factorization Domainassuring factorization for R[x] when R is a UFDProblem with definition of unique factorization domain (UFD)Why a certain integral domain is not a UFD.

Are Captain Marvel's powers affected by Thanos' actions in Infinity War

Isn't the "if" redundant here?

Shouldn’t conservatives embrace universal basic income?

What to do when eye contact makes your subordinate uncomfortable?

Quasinilpotent , non-compact operators

Why did the EU agree to delay the Brexit deadline?

Mimic lecturing on blackboard, facing audience

Does the UK parliament need to pass secondary legislation to accept the Article 50 extension

How should I address a possible mistake to co-authors in a submitted paper

Does Doodling or Improvising on the Piano Have Any Benefits?

What are the advantages of simplicial model categories over non-simplicial ones?

Unexpected behavior of the procedure `Area` on the object 'Polygon'

It grows, but water kills it

Temporarily disable WLAN internet access for children, but allow it for adults

Is this toilet slogan correct usage of the English language?

Strong empirical falsification of quantum mechanics based on vacuum energy density?

The IT department bottlenecks progress, how should I handle this?

What are some good ways to treat frozen vegetables such that they behave like fresh vegetables when stir frying them?

Can a college of swords bard use blade flourish on an OA from dissonant whispers?

Why "had" in "[something] we would have made had we used [something]"?

User Story breakdown - Technical Task + User Feature

Did arcade monitors have same pixel aspect ratio as TV sets?

Does an advisor owe his/her student anything? Will an advisor keep a PhD student only out of pity?

Bridge building with irregular planks



Example of factorization in a polynomial ring which is not an UFD


Defining irreducible polynomials over polynomial ringsIs the coordinate ring of SL2 a UFD?Is this ring a UFDA non-UFD where we have different lengths of irreducible factorizations?Example of a Subgroup That Is Not NormalRegarding unique factorization in a polynomial ring and irreduciblesSimple question regarding proving some ring isn't a UFDShow that the ring $R$ of entire functions does not form a Unique Factorization Domainassuring factorization for R[x] when R is a UFDProblem with definition of unique factorization domain (UFD)Why a certain integral domain is not a UFD.













6












$begingroup$


I'm looking for a particular example of a polynomial ring $A[x]$, with $A$ integral domain, which is not an UFD. An easy example is $mathbbZ[sqrt-5][x]$, here $6 x^2 = (2x)(3x) = ((1+sqrt-5)x)((1-sqrt-5)x)$.



I would like to find a ring and a polynomial where the problem is not only in the coefficients. In other words a ring $A[x]$ where there exist a polynomial $f in A[x]$ with two factorizations that are not of the form $f = (a_1g)(b_1h) = (a_2 g)(b_2h)$, with $g,h in A[x]$, $a = a_1b_1 = a_2b_2 in A$ (with $a_1b_1, a_2b_2$ two factorization of $a$). Or not of a similar form with more factors.










share|cite|improve this question









New contributor




Marta Fornasier is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.







$endgroup$











  • $begingroup$
    You're right. That example is a bit tame. We take $6x^2$, and then we take out the $x^2$, factor $6$ in two different ways, and then we redistribute the $x^2$. You can see that if you consider the full factorisation into irreducibles, which is $2cdot 3 cdot xcdot x$ versus $(1+sqrt-5)cdot (1-sqrt-5)cdot xcdot x$. So the way I see it, what you're asking about is basically an example showing the non-UFD-ness of $A[x]$ for some non-UFD $A$, which is not trivially reucible to an example from $A$.
    $endgroup$
    – Arthur
    4 hours ago











  • $begingroup$
    @Arthur Yes, thank you very much, I didn't know how to write it in a simple way.
    $endgroup$
    – Marta Fornasier
    4 hours ago















6












$begingroup$


I'm looking for a particular example of a polynomial ring $A[x]$, with $A$ integral domain, which is not an UFD. An easy example is $mathbbZ[sqrt-5][x]$, here $6 x^2 = (2x)(3x) = ((1+sqrt-5)x)((1-sqrt-5)x)$.



I would like to find a ring and a polynomial where the problem is not only in the coefficients. In other words a ring $A[x]$ where there exist a polynomial $f in A[x]$ with two factorizations that are not of the form $f = (a_1g)(b_1h) = (a_2 g)(b_2h)$, with $g,h in A[x]$, $a = a_1b_1 = a_2b_2 in A$ (with $a_1b_1, a_2b_2$ two factorization of $a$). Or not of a similar form with more factors.










share|cite|improve this question









New contributor




Marta Fornasier is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.







$endgroup$











  • $begingroup$
    You're right. That example is a bit tame. We take $6x^2$, and then we take out the $x^2$, factor $6$ in two different ways, and then we redistribute the $x^2$. You can see that if you consider the full factorisation into irreducibles, which is $2cdot 3 cdot xcdot x$ versus $(1+sqrt-5)cdot (1-sqrt-5)cdot xcdot x$. So the way I see it, what you're asking about is basically an example showing the non-UFD-ness of $A[x]$ for some non-UFD $A$, which is not trivially reucible to an example from $A$.
    $endgroup$
    – Arthur
    4 hours ago











  • $begingroup$
    @Arthur Yes, thank you very much, I didn't know how to write it in a simple way.
    $endgroup$
    – Marta Fornasier
    4 hours ago













6












6








6


1



$begingroup$


I'm looking for a particular example of a polynomial ring $A[x]$, with $A$ integral domain, which is not an UFD. An easy example is $mathbbZ[sqrt-5][x]$, here $6 x^2 = (2x)(3x) = ((1+sqrt-5)x)((1-sqrt-5)x)$.



I would like to find a ring and a polynomial where the problem is not only in the coefficients. In other words a ring $A[x]$ where there exist a polynomial $f in A[x]$ with two factorizations that are not of the form $f = (a_1g)(b_1h) = (a_2 g)(b_2h)$, with $g,h in A[x]$, $a = a_1b_1 = a_2b_2 in A$ (with $a_1b_1, a_2b_2$ two factorization of $a$). Or not of a similar form with more factors.










share|cite|improve this question









New contributor




Marta Fornasier is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.







$endgroup$




I'm looking for a particular example of a polynomial ring $A[x]$, with $A$ integral domain, which is not an UFD. An easy example is $mathbbZ[sqrt-5][x]$, here $6 x^2 = (2x)(3x) = ((1+sqrt-5)x)((1-sqrt-5)x)$.



I would like to find a ring and a polynomial where the problem is not only in the coefficients. In other words a ring $A[x]$ where there exist a polynomial $f in A[x]$ with two factorizations that are not of the form $f = (a_1g)(b_1h) = (a_2 g)(b_2h)$, with $g,h in A[x]$, $a = a_1b_1 = a_2b_2 in A$ (with $a_1b_1, a_2b_2$ two factorization of $a$). Or not of a similar form with more factors.







abstract-algebra






share|cite|improve this question









New contributor




Marta Fornasier is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.











share|cite|improve this question









New contributor




Marta Fornasier is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.









share|cite|improve this question




share|cite|improve this question








edited 2 hours ago







Marta Fornasier













New contributor




Marta Fornasier is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.









asked 4 hours ago









Marta FornasierMarta Fornasier

314




314




New contributor




Marta Fornasier is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.





New contributor





Marta Fornasier is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.






Marta Fornasier is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.











  • $begingroup$
    You're right. That example is a bit tame. We take $6x^2$, and then we take out the $x^2$, factor $6$ in two different ways, and then we redistribute the $x^2$. You can see that if you consider the full factorisation into irreducibles, which is $2cdot 3 cdot xcdot x$ versus $(1+sqrt-5)cdot (1-sqrt-5)cdot xcdot x$. So the way I see it, what you're asking about is basically an example showing the non-UFD-ness of $A[x]$ for some non-UFD $A$, which is not trivially reucible to an example from $A$.
    $endgroup$
    – Arthur
    4 hours ago











  • $begingroup$
    @Arthur Yes, thank you very much, I didn't know how to write it in a simple way.
    $endgroup$
    – Marta Fornasier
    4 hours ago
















  • $begingroup$
    You're right. That example is a bit tame. We take $6x^2$, and then we take out the $x^2$, factor $6$ in two different ways, and then we redistribute the $x^2$. You can see that if you consider the full factorisation into irreducibles, which is $2cdot 3 cdot xcdot x$ versus $(1+sqrt-5)cdot (1-sqrt-5)cdot xcdot x$. So the way I see it, what you're asking about is basically an example showing the non-UFD-ness of $A[x]$ for some non-UFD $A$, which is not trivially reucible to an example from $A$.
    $endgroup$
    – Arthur
    4 hours ago











  • $begingroup$
    @Arthur Yes, thank you very much, I didn't know how to write it in a simple way.
    $endgroup$
    – Marta Fornasier
    4 hours ago















$begingroup$
You're right. That example is a bit tame. We take $6x^2$, and then we take out the $x^2$, factor $6$ in two different ways, and then we redistribute the $x^2$. You can see that if you consider the full factorisation into irreducibles, which is $2cdot 3 cdot xcdot x$ versus $(1+sqrt-5)cdot (1-sqrt-5)cdot xcdot x$. So the way I see it, what you're asking about is basically an example showing the non-UFD-ness of $A[x]$ for some non-UFD $A$, which is not trivially reucible to an example from $A$.
$endgroup$
– Arthur
4 hours ago





$begingroup$
You're right. That example is a bit tame. We take $6x^2$, and then we take out the $x^2$, factor $6$ in two different ways, and then we redistribute the $x^2$. You can see that if you consider the full factorisation into irreducibles, which is $2cdot 3 cdot xcdot x$ versus $(1+sqrt-5)cdot (1-sqrt-5)cdot xcdot x$. So the way I see it, what you're asking about is basically an example showing the non-UFD-ness of $A[x]$ for some non-UFD $A$, which is not trivially reucible to an example from $A$.
$endgroup$
– Arthur
4 hours ago













$begingroup$
@Arthur Yes, thank you very much, I didn't know how to write it in a simple way.
$endgroup$
– Marta Fornasier
4 hours ago




$begingroup$
@Arthur Yes, thank you very much, I didn't know how to write it in a simple way.
$endgroup$
– Marta Fornasier
4 hours ago










2 Answers
2






active

oldest

votes


















3












$begingroup$

In A Classical Introduction to Modern Number Theory, Ireland and Rosen give two examples of non-UFDs that answer this question. First, they point out that a "generic" example is $k[x,y,z,w]/(xy-zw)$, where $k$ is any field. Second, they offer the subtler example of $mathbbC[x,y,z]/(x^2+y^2+z^2-1)$, where $mathbbC$ is the field of complex numbers. Here unique factorization fails because $(x + iy)(x - iy) = (1 + z)(1 - z)$.






share|cite|improve this answer









$endgroup$








  • 2




    $begingroup$
    Are these rings of the form A[x]?
    $endgroup$
    – Lior B-S
    3 hours ago


















1












$begingroup$

When $A$ is not a domain, decomposing a polynomial in $A[x]$ as $f=gh$ does not necessarily simplify it, that is, does not always reduce its degree.



For instance:
$$
5x+1=(2x+1)(3x+1) bmod 6
$$



It is even possible to decompose a linear polynomial as a product of two quadratic polynomials:
$$
x+1=(2x^2+x+7)(4x^2+6x+7) bmod 8
$$






share|cite|improve this answer









$endgroup$












  • $begingroup$
    Adapted from math.stackexchange.com/a/2539517/589
    $endgroup$
    – lhf
    3 hours ago










  • $begingroup$
    Uh, I'm sorry, I didn't write it, but I was looking for $A[x]$ with $A$ domain. Now I edit the question.
    $endgroup$
    – Marta Fornasier
    2 hours ago










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
);



);






Marta Fornasier is a new contributor. Be nice, and check out our Code of Conduct.









draft saved

draft discarded


















StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3158178%2fexample-of-factorization-in-a-polynomial-ring-which-is-not-an-ufd%23new-answer', 'question_page');

);

Post as a guest















Required, but never shown

























2 Answers
2






active

oldest

votes








2 Answers
2






active

oldest

votes









active

oldest

votes






active

oldest

votes









3












$begingroup$

In A Classical Introduction to Modern Number Theory, Ireland and Rosen give two examples of non-UFDs that answer this question. First, they point out that a "generic" example is $k[x,y,z,w]/(xy-zw)$, where $k$ is any field. Second, they offer the subtler example of $mathbbC[x,y,z]/(x^2+y^2+z^2-1)$, where $mathbbC$ is the field of complex numbers. Here unique factorization fails because $(x + iy)(x - iy) = (1 + z)(1 - z)$.






share|cite|improve this answer









$endgroup$








  • 2




    $begingroup$
    Are these rings of the form A[x]?
    $endgroup$
    – Lior B-S
    3 hours ago















3












$begingroup$

In A Classical Introduction to Modern Number Theory, Ireland and Rosen give two examples of non-UFDs that answer this question. First, they point out that a "generic" example is $k[x,y,z,w]/(xy-zw)$, where $k$ is any field. Second, they offer the subtler example of $mathbbC[x,y,z]/(x^2+y^2+z^2-1)$, where $mathbbC$ is the field of complex numbers. Here unique factorization fails because $(x + iy)(x - iy) = (1 + z)(1 - z)$.






share|cite|improve this answer









$endgroup$








  • 2




    $begingroup$
    Are these rings of the form A[x]?
    $endgroup$
    – Lior B-S
    3 hours ago













3












3








3





$begingroup$

In A Classical Introduction to Modern Number Theory, Ireland and Rosen give two examples of non-UFDs that answer this question. First, they point out that a "generic" example is $k[x,y,z,w]/(xy-zw)$, where $k$ is any field. Second, they offer the subtler example of $mathbbC[x,y,z]/(x^2+y^2+z^2-1)$, where $mathbbC$ is the field of complex numbers. Here unique factorization fails because $(x + iy)(x - iy) = (1 + z)(1 - z)$.






share|cite|improve this answer









$endgroup$



In A Classical Introduction to Modern Number Theory, Ireland and Rosen give two examples of non-UFDs that answer this question. First, they point out that a "generic" example is $k[x,y,z,w]/(xy-zw)$, where $k$ is any field. Second, they offer the subtler example of $mathbbC[x,y,z]/(x^2+y^2+z^2-1)$, where $mathbbC$ is the field of complex numbers. Here unique factorization fails because $(x + iy)(x - iy) = (1 + z)(1 - z)$.







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










answered 4 hours ago









FredHFredH

2,4941020




2,4941020







  • 2




    $begingroup$
    Are these rings of the form A[x]?
    $endgroup$
    – Lior B-S
    3 hours ago












  • 2




    $begingroup$
    Are these rings of the form A[x]?
    $endgroup$
    – Lior B-S
    3 hours ago







2




2




$begingroup$
Are these rings of the form A[x]?
$endgroup$
– Lior B-S
3 hours ago




$begingroup$
Are these rings of the form A[x]?
$endgroup$
– Lior B-S
3 hours ago











1












$begingroup$

When $A$ is not a domain, decomposing a polynomial in $A[x]$ as $f=gh$ does not necessarily simplify it, that is, does not always reduce its degree.



For instance:
$$
5x+1=(2x+1)(3x+1) bmod 6
$$



It is even possible to decompose a linear polynomial as a product of two quadratic polynomials:
$$
x+1=(2x^2+x+7)(4x^2+6x+7) bmod 8
$$






share|cite|improve this answer









$endgroup$












  • $begingroup$
    Adapted from math.stackexchange.com/a/2539517/589
    $endgroup$
    – lhf
    3 hours ago










  • $begingroup$
    Uh, I'm sorry, I didn't write it, but I was looking for $A[x]$ with $A$ domain. Now I edit the question.
    $endgroup$
    – Marta Fornasier
    2 hours ago















1












$begingroup$

When $A$ is not a domain, decomposing a polynomial in $A[x]$ as $f=gh$ does not necessarily simplify it, that is, does not always reduce its degree.



For instance:
$$
5x+1=(2x+1)(3x+1) bmod 6
$$



It is even possible to decompose a linear polynomial as a product of two quadratic polynomials:
$$
x+1=(2x^2+x+7)(4x^2+6x+7) bmod 8
$$






share|cite|improve this answer









$endgroup$












  • $begingroup$
    Adapted from math.stackexchange.com/a/2539517/589
    $endgroup$
    – lhf
    3 hours ago










  • $begingroup$
    Uh, I'm sorry, I didn't write it, but I was looking for $A[x]$ with $A$ domain. Now I edit the question.
    $endgroup$
    – Marta Fornasier
    2 hours ago













1












1








1





$begingroup$

When $A$ is not a domain, decomposing a polynomial in $A[x]$ as $f=gh$ does not necessarily simplify it, that is, does not always reduce its degree.



For instance:
$$
5x+1=(2x+1)(3x+1) bmod 6
$$



It is even possible to decompose a linear polynomial as a product of two quadratic polynomials:
$$
x+1=(2x^2+x+7)(4x^2+6x+7) bmod 8
$$






share|cite|improve this answer









$endgroup$



When $A$ is not a domain, decomposing a polynomial in $A[x]$ as $f=gh$ does not necessarily simplify it, that is, does not always reduce its degree.



For instance:
$$
5x+1=(2x+1)(3x+1) bmod 6
$$



It is even possible to decompose a linear polynomial as a product of two quadratic polynomials:
$$
x+1=(2x^2+x+7)(4x^2+6x+7) bmod 8
$$







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










answered 3 hours ago









lhflhf

166k11171402




166k11171402











  • $begingroup$
    Adapted from math.stackexchange.com/a/2539517/589
    $endgroup$
    – lhf
    3 hours ago










  • $begingroup$
    Uh, I'm sorry, I didn't write it, but I was looking for $A[x]$ with $A$ domain. Now I edit the question.
    $endgroup$
    – Marta Fornasier
    2 hours ago
















  • $begingroup$
    Adapted from math.stackexchange.com/a/2539517/589
    $endgroup$
    – lhf
    3 hours ago










  • $begingroup$
    Uh, I'm sorry, I didn't write it, but I was looking for $A[x]$ with $A$ domain. Now I edit the question.
    $endgroup$
    – Marta Fornasier
    2 hours ago















$begingroup$
Adapted from math.stackexchange.com/a/2539517/589
$endgroup$
– lhf
3 hours ago




$begingroup$
Adapted from math.stackexchange.com/a/2539517/589
$endgroup$
– lhf
3 hours ago












$begingroup$
Uh, I'm sorry, I didn't write it, but I was looking for $A[x]$ with $A$ domain. Now I edit the question.
$endgroup$
– Marta Fornasier
2 hours ago




$begingroup$
Uh, I'm sorry, I didn't write it, but I was looking for $A[x]$ with $A$ domain. Now I edit the question.
$endgroup$
– Marta Fornasier
2 hours ago










Marta Fornasier is a new contributor. Be nice, and check out our Code of Conduct.









draft saved

draft discarded


















Marta Fornasier is a new contributor. Be nice, and check out our Code of Conduct.












Marta Fornasier is a new contributor. Be nice, and check out our Code of Conduct.











Marta Fornasier is a new contributor. Be nice, and check out our Code of Conduct.














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.




draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3158178%2fexample-of-factorization-in-a-polynomial-ring-which-is-not-an-ufd%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

瀋陽號驅逐艦 目录 接收與服役 配置反潛直升機 武進三型性能升級 歷史 除役 參考資料 外部連結 导航菜单Taiwan Air Power海疆老兵-陽字號驅逐艦沿革World Navies Today: Taiwan (Republic of China)DD-839 USS POWER

Memorizing the KeyboardThe Norwegian Foreman''If the B…''The Consonant EaterThe Cherry TreeElle Rend Le Coeur Plus AmoureuxFill in the blanks with the number in wordsState of the UnionFind the missing elementsCircuit DiagramWhat's the name of the game show?

名間水力發電廠 目录 沿革 設施 鄰近設施 註釋 外部連結 导航菜单23°50′10″N 120°42′41″E / 23.83611°N 120.71139°E / 23.83611; 120.7113923°50′10″N 120°42′41″E / 23.83611°N 120.71139°E / 23.83611; 120.71139計畫概要原始内容臺灣第一座BOT 模式開發的水力發電廠-名間水力電廠名間水力發電廠 水利署首件BOT案原始内容《小檔案》名間電廠 首座BOT水力發電廠原始内容名間電廠BOT - 經濟部水利署中區水資源局