Dtjytyk

Arriving in Atlanta after US Preclearance in Dublin. Will I go through TSA security in Atlanta to transfer to a connecting flight?

Why does the Cisco show run command not show the full version, while the show version command does?

Mistake in years of experience in resume?

Why did Israel vote against lifting the American embargo on Cuba?

With indentation set to `0em`, when using a line break, there is still an indentation of a size of a space

Visa-free travel to the US using refugee travel document from Spain?

What to do with someone that cheated their way through university and a PhD program?

std::is_constructible on incomplete types

Retract an already submitted recommendation letter (written for an undergrad student)

What is the term for a person whose job is to place products on shelves in stores?

"My boss was furious with me and I have been fired" vs. "My boss was furious with me and I was fired"

Protagonist's race is hidden - should I reveal it?

c++ diamond problem - How to call base method only once

How to translate "red flag" into Spanish?

Why is this method for solving linear equations systems using determinants works?

Can you stand up from being prone using Skirmisher outside of your turn?

The art of proof summarizing. Are there known rules, or is it a purely common sense matter?

PIC mathematical operations weird problem

Is accepting an invalid credit card number a security issue?

"Rubric" as meaning "signature" or "personal mark" -- is this accepted usage?

"Whatever a Russian does, they end up making the Kalashnikov gun"? Are there any similar proverbs in English?

How long after the last departure shall the airport stay open for an emergency return?

Implementing 3DES algorithm in Java: is my code secure?

Could moose/elk survive in the Amazon forest?

Determining the ideals of a quotient ring

2

2

$begingroup$

Given an ideal $I = langle x^3 - xrangle subseteq BbbR[x]$, determine the ideals in the quotient ring $BbbR[x]/I$.

I understand that the quotient ring is of the form $k[x_1...x_n]/I$ where I is an ideal in $k[x_1...x_n]$. I also understand that the ideals of the quotient ring are in one-to-one correspondence with the ideals of $k[x_1...x_n]$ containing $I$.

However, I'm really confused on how to actually go about finding the ideals of the quotient ring given a specific ideal. Any hints or suggestions would be appreciated, thank you.

abstract-algebra polynomials ring-theory ideals quotient-spaces

share|cite|improve this question

edited 3 hours ago

Servaes

31.1k342101

asked 7 hours ago

MashaMasha

313

New contributor

Masha 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 have just one indeterminate. There's a very useful description of all ideals of $mathbbR[x]$, because it is a principal ideal domain.
  $endgroup$
  – egreg
  7 hours ago
  

  
  
  
  

add a comment | 

2

2

$begingroup$

Given an ideal $I = langle x^3 - xrangle subseteq BbbR[x]$, determine the ideals in the quotient ring $BbbR[x]/I$.

I understand that the quotient ring is of the form $k[x_1...x_n]/I$ where I is an ideal in $k[x_1...x_n]$. I also understand that the ideals of the quotient ring are in one-to-one correspondence with the ideals of $k[x_1...x_n]$ containing $I$.

However, I'm really confused on how to actually go about finding the ideals of the quotient ring given a specific ideal. Any hints or suggestions would be appreciated, thank you.

abstract-algebra polynomials ring-theory ideals quotient-spaces

share|cite|improve this question

edited 3 hours ago

Servaes

31.1k342101

asked 7 hours ago

MashaMasha

313

New contributor

Masha 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 have just one indeterminate. There's a very useful description of all ideals of $mathbbR[x]$, because it is a principal ideal domain.
  $endgroup$
  – egreg
  7 hours ago
  

  
  
  
  

add a comment | 

$begingroup$

Given an ideal $I = langle x^3 - xrangle subseteq BbbR[x]$, determine the ideals in the quotient ring $BbbR[x]/I$.

I understand that the quotient ring is of the form $k[x_1...x_n]/I$ where I is an ideal in $k[x_1...x_n]$. I also understand that the ideals of the quotient ring are in one-to-one correspondence with the ideals of $k[x_1...x_n]$ containing $I$.

However, I'm really confused on how to actually go about finding the ideals of the quotient ring given a specific ideal. Any hints or suggestions would be appreciated, thank you.

abstract-algebra polynomials ring-theory ideals quotient-spaces

share|cite|improve this question

edited 3 hours ago

Servaes

31.1k342101

asked 7 hours ago

MashaMasha

313

New contributor

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

$endgroup$

share|cite|improve this question

edited 3 hours ago

Servaes

31.1k342101

asked 7 hours ago

MashaMasha

313

New contributor

Masha 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

edited 3 hours ago

Servaes

31.1k342101

asked 7 hours ago

MashaMasha

313

New contributor

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

edited 3 hours ago

Servaes

31.1k342101

edited 3 hours ago

Servaes

31.1k342101

asked 7 hours ago

MashaMasha

313

New contributor

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

asked 7 hours ago

MashaMasha

313

2 Answers
2

active

oldest

votes

4

$begingroup$

Because $BbbR$ is a field, the polynomial ring $BbbR[x]$ in one indeterminate is a principal ideal domain. That means every ideal is of the form $langle frangle$ for some $finBbbR[x]$. Now use the fact that
$$langle x^3-xranglesubsetlangle frangle
qquadiffqquad
x^3-xinlangle frangle
qquadiffqquad
ftext divides x^3-x.$$

share|cite|improve this answer

answered 7 hours ago

ServaesServaes

31.1k342101

$endgroup$

add a comment | 

4

$begingroup$

Note that we can factor $x^3 - x = x(x^2 - 1) = x(x + 1)(x - 1)$. Now, by the Chinese Reimander theorem:

$$mathbb R[X]/langle x^3 - xrangle = mathbb R[X] /langle x(x + 1)(x-1) rangle = mathbb R[X]/langle x rangle timesmathbb R[X]/langle x+1 rangle timesmathbb R[X]/langle x-1 rangle $$

We know that:

1. 
   $mathbb R[X]/langle x rangle simeq mathbb R$, since quotienting by $x$ kills all polynomials of degree 1 or higher. What's left are the reals


2. Similarly, $mathbb R[X]/langle x+1 rangle simeq mathbb R [X]/ langle x-1 rangle simeq mathbb R$.

So, the ring that we have is actually $mathbb R times mathbb R times mathbb R$.

Since $mathbb R$ is a field, it has only two idels: the zero ideal and the ring itself.

Now, note that:

1. the product of ideals is an ideal of the product ring


2. Every ideal of the product ring is a product of ideals

and we complete the proof, since the set of all ideals will all be:

$$
0, mathbb R times 0, mathbb R times 0, mathbb R
$$

share|cite|improve this answer

edited 6 hours ago

answered 7 hours ago

Siddharth BhatSiddharth Bhat

3,3571918

$endgroup$

• 
  
  
  

  
  2
  

  
  
  
  
  
  

  
  $begingroup$
  This answer is not correct. $X^2-1$ factors as $(X-1)(X+1)$ over $mathbbR$. The Chinese Remainder Theorem therefore shows that $mathbbR[X]/langle X^3-X rangle cong mathbbR oplus mathbbR oplus mathbbR$.
  $endgroup$
  – Alex Wertheim
  6 hours ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Oh my god, right, I confused $X^2 - 1$ and $X^2 + 1$. Fixing right now!
  $endgroup$
  – Siddharth Bhat
  6 hours ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  @AlexWertheim I just fixed it. Could you please double-check to make sure I didn't miss anything?
  $endgroup$
  – Siddharth Bhat
  6 hours ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Looks mostly correct to me! (The factorization is $(X^3-X) = X(X^2-1)$, not $X(1-X^2)$. But this is a minor point, which doesn't affect the computation of the quotient up to isomorphism.
  $endgroup$
  – Alex Wertheim
  6 hours ago
  
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  @AlexWertheim Argh, fixed! Thanks for catching that :)
  $endgroup$
  – Siddharth Bhat
  6 hours ago
  

  
  
  
  

 | 
show 3 more comments

Your Answer

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



);

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

draft saved

draft discarded

Sign up or log in

StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);

Sign up using Google

Sign up using Facebook

Sign up using Email and Password

Post as a guest

Name

Email

Required, but never shown

StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3200710%2fdetermining-the-ideals-of-a-quotient-ring%23new-answer', 'question_page');

);

Post as a guest

Name

Email

Required, but never shown

4

$begingroup$

Because $BbbR$ is a field, the polynomial ring $BbbR[x]$ in one indeterminate is a principal ideal domain. That means every ideal is of the form $langle frangle$ for some $finBbbR[x]$. Now use the fact that
$$langle x^3-xranglesubsetlangle frangle
qquadiffqquad
x^3-xinlangle frangle
qquadiffqquad
ftext divides x^3-x.$$

share|cite|improve this answer

answered 7 hours ago

ServaesServaes

31.1k342101

$endgroup$

add a comment | 

4

$begingroup$

Because $BbbR$ is a field, the polynomial ring $BbbR[x]$ in one indeterminate is a principal ideal domain. That means every ideal is of the form $langle frangle$ for some $finBbbR[x]$. Now use the fact that
$$langle x^3-xranglesubsetlangle frangle
qquadiffqquad
x^3-xinlangle frangle
qquadiffqquad
ftext divides x^3-x.$$

share|cite|improve this answer

answered 7 hours ago

ServaesServaes

31.1k342101

$endgroup$

add a comment | 

$begingroup$

Because $BbbR$ is a field, the polynomial ring $BbbR[x]$ in one indeterminate is a principal ideal domain. That means every ideal is of the form $langle frangle$ for some $finBbbR[x]$. Now use the fact that
$$langle x^3-xranglesubsetlangle frangle
qquadiffqquad
x^3-xinlangle frangle
qquadiffqquad
ftext divides x^3-x.$$

share|cite|improve this answer

answered 7 hours ago

ServaesServaes

31.1k342101

$endgroup$

share|cite|improve this answer

answered 7 hours ago

ServaesServaes

31.1k342101

answered 7 hours ago

ServaesServaes

31.1k342101

answered 7 hours ago

ServaesServaes

31.1k342101

4

$begingroup$

Note that we can factor $x^3 - x = x(x^2 - 1) = x(x + 1)(x - 1)$. Now, by the Chinese Reimander theorem:

$$mathbb R[X]/langle x^3 - xrangle = mathbb R[X] /langle x(x + 1)(x-1) rangle = mathbb R[X]/langle x rangle timesmathbb R[X]/langle x+1 rangle timesmathbb R[X]/langle x-1 rangle $$

We know that:

1. 
   $mathbb R[X]/langle x rangle simeq mathbb R$, since quotienting by $x$ kills all polynomials of degree 1 or higher. What's left are the reals


2. Similarly, $mathbb R[X]/langle x+1 rangle simeq mathbb R [X]/ langle x-1 rangle simeq mathbb R$.

So, the ring that we have is actually $mathbb R times mathbb R times mathbb R$.

Since $mathbb R$ is a field, it has only two idels: the zero ideal and the ring itself.

Now, note that:

1. the product of ideals is an ideal of the product ring


2. Every ideal of the product ring is a product of ideals

and we complete the proof, since the set of all ideals will all be:

$$
0, mathbb R times 0, mathbb R times 0, mathbb R
$$

share|cite|improve this answer

edited 6 hours ago

answered 7 hours ago

Siddharth BhatSiddharth Bhat

3,3571918

$endgroup$

• 
  
  
  

  
  2
  

  
  
  
  
  
  

  
  $begingroup$
  This answer is not correct. $X^2-1$ factors as $(X-1)(X+1)$ over $mathbbR$. The Chinese Remainder Theorem therefore shows that $mathbbR[X]/langle X^3-X rangle cong mathbbR oplus mathbbR oplus mathbbR$.
  $endgroup$
  – Alex Wertheim
  6 hours ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Oh my god, right, I confused $X^2 - 1$ and $X^2 + 1$. Fixing right now!
  $endgroup$
  – Siddharth Bhat
  6 hours ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  @AlexWertheim I just fixed it. Could you please double-check to make sure I didn't miss anything?
  $endgroup$
  – Siddharth Bhat
  6 hours ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Looks mostly correct to me! (The factorization is $(X^3-X) = X(X^2-1)$, not $X(1-X^2)$. But this is a minor point, which doesn't affect the computation of the quotient up to isomorphism.
  $endgroup$
  – Alex Wertheim
  6 hours ago
  
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  @AlexWertheim Argh, fixed! Thanks for catching that :)
  $endgroup$
  – Siddharth Bhat
  6 hours ago
  

  
  
  
  

 | 
show 3 more comments

4

$begingroup$

Note that we can factor $x^3 - x = x(x^2 - 1) = x(x + 1)(x - 1)$. Now, by the Chinese Reimander theorem:

$$mathbb R[X]/langle x^3 - xrangle = mathbb R[X] /langle x(x + 1)(x-1) rangle = mathbb R[X]/langle x rangle timesmathbb R[X]/langle x+1 rangle timesmathbb R[X]/langle x-1 rangle $$

We know that:

1. 
   $mathbb R[X]/langle x rangle simeq mathbb R$, since quotienting by $x$ kills all polynomials of degree 1 or higher. What's left are the reals


2. Similarly, $mathbb R[X]/langle x+1 rangle simeq mathbb R [X]/ langle x-1 rangle simeq mathbb R$.

So, the ring that we have is actually $mathbb R times mathbb R times mathbb R$.

Since $mathbb R$ is a field, it has only two idels: the zero ideal and the ring itself.

Now, note that:

1. the product of ideals is an ideal of the product ring


2. Every ideal of the product ring is a product of ideals

and we complete the proof, since the set of all ideals will all be:

$$
0, mathbb R times 0, mathbb R times 0, mathbb R
$$

share|cite|improve this answer

edited 6 hours ago

answered 7 hours ago

Siddharth BhatSiddharth Bhat

3,3571918

$endgroup$

• 
  
  
  

  
  2
  

  
  
  
  
  
  

  
  $begingroup$
  This answer is not correct. $X^2-1$ factors as $(X-1)(X+1)$ over $mathbbR$. The Chinese Remainder Theorem therefore shows that $mathbbR[X]/langle X^3-X rangle cong mathbbR oplus mathbbR oplus mathbbR$.
  $endgroup$
  – Alex Wertheim
  6 hours ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Oh my god, right, I confused $X^2 - 1$ and $X^2 + 1$. Fixing right now!
  $endgroup$
  – Siddharth Bhat
  6 hours ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  @AlexWertheim I just fixed it. Could you please double-check to make sure I didn't miss anything?
  $endgroup$
  – Siddharth Bhat
  6 hours ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Looks mostly correct to me! (The factorization is $(X^3-X) = X(X^2-1)$, not $X(1-X^2)$. But this is a minor point, which doesn't affect the computation of the quotient up to isomorphism.
  $endgroup$
  – Alex Wertheim
  6 hours ago
  
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  @AlexWertheim Argh, fixed! Thanks for catching that :)
  $endgroup$
  – Siddharth Bhat
  6 hours ago
  

  
  
  
  

 | 
show 3 more comments

$begingroup$

Note that we can factor $x^3 - x = x(x^2 - 1) = x(x + 1)(x - 1)$. Now, by the Chinese Reimander theorem:

$$mathbb R[X]/langle x^3 - xrangle = mathbb R[X] /langle x(x + 1)(x-1) rangle = mathbb R[X]/langle x rangle timesmathbb R[X]/langle x+1 rangle timesmathbb R[X]/langle x-1 rangle $$

We know that:

1. 
   $mathbb R[X]/langle x rangle simeq mathbb R$, since quotienting by $x$ kills all polynomials of degree 1 or higher. What's left are the reals


2. Similarly, $mathbb R[X]/langle x+1 rangle simeq mathbb R [X]/ langle x-1 rangle simeq mathbb R$.

So, the ring that we have is actually $mathbb R times mathbb R times mathbb R$.

Since $mathbb R$ is a field, it has only two idels: the zero ideal and the ring itself.

Now, note that:

1. the product of ideals is an ideal of the product ring


2. Every ideal of the product ring is a product of ideals

and we complete the proof, since the set of all ideals will all be:

$$
0, mathbb R times 0, mathbb R times 0, mathbb R
$$

share|cite|improve this answer

edited 6 hours ago

answered 7 hours ago

Siddharth BhatSiddharth Bhat

3,3571918

$endgroup$

share|cite|improve this answer

edited 6 hours ago

answered 7 hours ago

Siddharth BhatSiddharth Bhat

3,3571918

answered 7 hours ago

Siddharth BhatSiddharth Bhat

3,3571918

answered 7 hours ago

Siddharth BhatSiddharth Bhat

3,3571918