a fractional ideal is a product of integral ideals Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern)A property of different in Dedekind domainsWhy is the Ideal Norm Multiplicative?Maximal ideals of commutative Artinian ringsProving factorization into prime ideals in a Dedekind domainFunctional equation for ray class zeta functionsChapter 3, Theorem 15 on Marcus' Number FieldsShow that $mathcalI(V)$ is the product ideal of $k=mathbbF_2$Ideal class defined in terms of linear fractional ideal is chern class?Norm compatibility of ideals and idelesAbout the definition of Fractional Ideals in Number Fields
Can inflation occur in a positive-sum game currency system such as the Stack Exchange reputation system?
Should I discuss the type of campaign with my players?
Is there a concise way to say "all of the X, one of each"?
How do I mention the quality of my school without bragging
What does the "x" in "x86" represent?
What is the musical term for a note that continously plays through a melody?
Does accepting a pardon have any bearing on trying that person for the same crime in a sovereign jurisdiction?
Using et al. for a last / senior author rather than for a first author
How do I determine if the rules for a long jump or high jump are applicable for Monks?
The logistics of corpse disposal
Is there a service that would inform me whenever a new direct route is scheduled from a given airport?
Stars Make Stars
Is there a documented rationale why the House Ways and Means chairman can demand tax info?
Is high blood pressure ever a symptom attributable solely to dehydration?
What would be the ideal power source for a cybernetic eye?
Doubts about chords
What are 'alternative tunings' of a guitar and why would you use them? Doesn't it make it more difficult to play?
How do I keep my slimes from escaping their pens?
What LEGO pieces have "real-world" functionality?
Why was the term "discrete" used in discrete logarithm?
Should I call the interviewer directly, if HR aren't responding?
Is 1 ppb equal to 1 μg/kg?
Bonus calculation: Am I making a mountain out of a molehill?
How to find all the available tools in macOS terminal?
a fractional ideal is a product of integral ideals
Announcing the arrival of Valued Associate #679: Cesar Manara
Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern)A property of different in Dedekind domainsWhy is the Ideal Norm Multiplicative?Maximal ideals of commutative Artinian ringsProving factorization into prime ideals in a Dedekind domainFunctional equation for ray class zeta functionsChapter 3, Theorem 15 on Marcus' Number FieldsShow that $mathcalI(V)$ is the product ideal of $k=mathbbF_2$Ideal class defined in terms of linear fractional ideal is chern class?Norm compatibility of ideals and idelesAbout the definition of Fractional Ideals in Number Fields
$begingroup$
Let $K$ be a finite dimensional extension field of $mathbbQ$ and let $Rsubset K$ be the ring of integers in $K$. If $Isubset R$ is an ideal and $kin K$, we call $kI$ a fractional ideal. In the book "Number Fields" by Marcus (exercise 31c chapter 3), it's claimed that a fractional ideal $kI$ can be written as a product of prime ideals $mathfrakp_isubset R$:
$$kI = mathfrakp_1^m_1mathfrakp_2^m_2...mathfrakp_k^m_k.$$
I've also seen the same thing asserted in other places.
This makes no sense since the right hand side is contained in $R$ and the left hand side is not necessarily contained in $R$. Am I missing something? If not, what is meant here? I guess maybe just that they are equal in the class group?
abstract-algebra number-theory
$endgroup$
add a comment |
$begingroup$
Let $K$ be a finite dimensional extension field of $mathbbQ$ and let $Rsubset K$ be the ring of integers in $K$. If $Isubset R$ is an ideal and $kin K$, we call $kI$ a fractional ideal. In the book "Number Fields" by Marcus (exercise 31c chapter 3), it's claimed that a fractional ideal $kI$ can be written as a product of prime ideals $mathfrakp_isubset R$:
$$kI = mathfrakp_1^m_1mathfrakp_2^m_2...mathfrakp_k^m_k.$$
I've also seen the same thing asserted in other places.
This makes no sense since the right hand side is contained in $R$ and the left hand side is not necessarily contained in $R$. Am I missing something? If not, what is meant here? I guess maybe just that they are equal in the class group?
abstract-algebra number-theory
$endgroup$
$begingroup$
Try an actual example, even with $K = mathbf Q$: $(1/5)mathbf Z$ is a fractional ideal and it is $(5mathbf Z)^-1$. You won't be able to get a factorization with nonnegative exponents.
$endgroup$
– KCd
Mar 26 at 12:35
add a comment |
$begingroup$
Let $K$ be a finite dimensional extension field of $mathbbQ$ and let $Rsubset K$ be the ring of integers in $K$. If $Isubset R$ is an ideal and $kin K$, we call $kI$ a fractional ideal. In the book "Number Fields" by Marcus (exercise 31c chapter 3), it's claimed that a fractional ideal $kI$ can be written as a product of prime ideals $mathfrakp_isubset R$:
$$kI = mathfrakp_1^m_1mathfrakp_2^m_2...mathfrakp_k^m_k.$$
I've also seen the same thing asserted in other places.
This makes no sense since the right hand side is contained in $R$ and the left hand side is not necessarily contained in $R$. Am I missing something? If not, what is meant here? I guess maybe just that they are equal in the class group?
abstract-algebra number-theory
$endgroup$
Let $K$ be a finite dimensional extension field of $mathbbQ$ and let $Rsubset K$ be the ring of integers in $K$. If $Isubset R$ is an ideal and $kin K$, we call $kI$ a fractional ideal. In the book "Number Fields" by Marcus (exercise 31c chapter 3), it's claimed that a fractional ideal $kI$ can be written as a product of prime ideals $mathfrakp_isubset R$:
$$kI = mathfrakp_1^m_1mathfrakp_2^m_2...mathfrakp_k^m_k.$$
I've also seen the same thing asserted in other places.
This makes no sense since the right hand side is contained in $R$ and the left hand side is not necessarily contained in $R$. Am I missing something? If not, what is meant here? I guess maybe just that they are equal in the class group?
abstract-algebra number-theory
abstract-algebra number-theory
edited Mar 26 at 8:12
bart
asked Mar 26 at 8:01
bartbart
83
83
$begingroup$
Try an actual example, even with $K = mathbf Q$: $(1/5)mathbf Z$ is a fractional ideal and it is $(5mathbf Z)^-1$. You won't be able to get a factorization with nonnegative exponents.
$endgroup$
– KCd
Mar 26 at 12:35
add a comment |
$begingroup$
Try an actual example, even with $K = mathbf Q$: $(1/5)mathbf Z$ is a fractional ideal and it is $(5mathbf Z)^-1$. You won't be able to get a factorization with nonnegative exponents.
$endgroup$
– KCd
Mar 26 at 12:35
$begingroup$
Try an actual example, even with $K = mathbf Q$: $(1/5)mathbf Z$ is a fractional ideal and it is $(5mathbf Z)^-1$. You won't be able to get a factorization with nonnegative exponents.
$endgroup$
– KCd
Mar 26 at 12:35
$begingroup$
Try an actual example, even with $K = mathbf Q$: $(1/5)mathbf Z$ is a fractional ideal and it is $(5mathbf Z)^-1$. You won't be able to get a factorization with nonnegative exponents.
$endgroup$
– KCd
Mar 26 at 12:35
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
The right hand side is not contained in $R$, because the exponents $m_i$ are allowed to be negative!
One actually defines a fractional ideal $I$ as an $R$-submodule of $K$ such that for some $k in K$ we have $kI subset R$.
With this in mind, one sees what $mathfrak p_i^m_i$ means when the $m_i$ are negative i.e. how the module structure shows up here.
The fractional ideals have an obvious multiplication, via thinking of the modules as just ideals and multiplying them. It turns out that in the given setting (and not in general) that if we take $R$ as the identity , the fractional ideals form a group under this multiplication i.e. every element has an inverse.
The ideals $mathfrak p_i$ may be in $R$, and are clearly fractional ideals, taking $k=1$. However, their inverses in the group of fractional ideals of $R$ under multiplication, are also fractional ideals of $R$ but not necessarily contained in $R$ : they will be ideals in $K$, however. For example, the ideal $2mathbb Z$ is a fractional ideal of $mathbb Q$ over $mathbb Q$, contained in $mathbb Z$, but its inverse is $frac 12 mathbb Z$, which is not contained in $mathbb Z$ (of course, one easily checks that the product of these ideals is $mathbb Z$).
The equality is therefore an equality of fractional ideals i.e. equality as $R$-submodules of $K$.
What is also true is that now if you quotient out by the principal ideals, then the equivalence classes will also be equal. So that means that $[kI]_C = [mathfrak p_1]_C^m_1...[p_k]_C^m_k$ will be true, where $[cdot]_C$ is the equivalence class in the class group of the given ideal.
$endgroup$
add a comment |
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
);
);
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
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3162869%2fa-fractional-ideal-is-a-product-of-integral-ideals%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
$begingroup$
The right hand side is not contained in $R$, because the exponents $m_i$ are allowed to be negative!
One actually defines a fractional ideal $I$ as an $R$-submodule of $K$ such that for some $k in K$ we have $kI subset R$.
With this in mind, one sees what $mathfrak p_i^m_i$ means when the $m_i$ are negative i.e. how the module structure shows up here.
The fractional ideals have an obvious multiplication, via thinking of the modules as just ideals and multiplying them. It turns out that in the given setting (and not in general) that if we take $R$ as the identity , the fractional ideals form a group under this multiplication i.e. every element has an inverse.
The ideals $mathfrak p_i$ may be in $R$, and are clearly fractional ideals, taking $k=1$. However, their inverses in the group of fractional ideals of $R$ under multiplication, are also fractional ideals of $R$ but not necessarily contained in $R$ : they will be ideals in $K$, however. For example, the ideal $2mathbb Z$ is a fractional ideal of $mathbb Q$ over $mathbb Q$, contained in $mathbb Z$, but its inverse is $frac 12 mathbb Z$, which is not contained in $mathbb Z$ (of course, one easily checks that the product of these ideals is $mathbb Z$).
The equality is therefore an equality of fractional ideals i.e. equality as $R$-submodules of $K$.
What is also true is that now if you quotient out by the principal ideals, then the equivalence classes will also be equal. So that means that $[kI]_C = [mathfrak p_1]_C^m_1...[p_k]_C^m_k$ will be true, where $[cdot]_C$ is the equivalence class in the class group of the given ideal.
$endgroup$
add a comment |
$begingroup$
The right hand side is not contained in $R$, because the exponents $m_i$ are allowed to be negative!
One actually defines a fractional ideal $I$ as an $R$-submodule of $K$ such that for some $k in K$ we have $kI subset R$.
With this in mind, one sees what $mathfrak p_i^m_i$ means when the $m_i$ are negative i.e. how the module structure shows up here.
The fractional ideals have an obvious multiplication, via thinking of the modules as just ideals and multiplying them. It turns out that in the given setting (and not in general) that if we take $R$ as the identity , the fractional ideals form a group under this multiplication i.e. every element has an inverse.
The ideals $mathfrak p_i$ may be in $R$, and are clearly fractional ideals, taking $k=1$. However, their inverses in the group of fractional ideals of $R$ under multiplication, are also fractional ideals of $R$ but not necessarily contained in $R$ : they will be ideals in $K$, however. For example, the ideal $2mathbb Z$ is a fractional ideal of $mathbb Q$ over $mathbb Q$, contained in $mathbb Z$, but its inverse is $frac 12 mathbb Z$, which is not contained in $mathbb Z$ (of course, one easily checks that the product of these ideals is $mathbb Z$).
The equality is therefore an equality of fractional ideals i.e. equality as $R$-submodules of $K$.
What is also true is that now if you quotient out by the principal ideals, then the equivalence classes will also be equal. So that means that $[kI]_C = [mathfrak p_1]_C^m_1...[p_k]_C^m_k$ will be true, where $[cdot]_C$ is the equivalence class in the class group of the given ideal.
$endgroup$
add a comment |
$begingroup$
The right hand side is not contained in $R$, because the exponents $m_i$ are allowed to be negative!
One actually defines a fractional ideal $I$ as an $R$-submodule of $K$ such that for some $k in K$ we have $kI subset R$.
With this in mind, one sees what $mathfrak p_i^m_i$ means when the $m_i$ are negative i.e. how the module structure shows up here.
The fractional ideals have an obvious multiplication, via thinking of the modules as just ideals and multiplying them. It turns out that in the given setting (and not in general) that if we take $R$ as the identity , the fractional ideals form a group under this multiplication i.e. every element has an inverse.
The ideals $mathfrak p_i$ may be in $R$, and are clearly fractional ideals, taking $k=1$. However, their inverses in the group of fractional ideals of $R$ under multiplication, are also fractional ideals of $R$ but not necessarily contained in $R$ : they will be ideals in $K$, however. For example, the ideal $2mathbb Z$ is a fractional ideal of $mathbb Q$ over $mathbb Q$, contained in $mathbb Z$, but its inverse is $frac 12 mathbb Z$, which is not contained in $mathbb Z$ (of course, one easily checks that the product of these ideals is $mathbb Z$).
The equality is therefore an equality of fractional ideals i.e. equality as $R$-submodules of $K$.
What is also true is that now if you quotient out by the principal ideals, then the equivalence classes will also be equal. So that means that $[kI]_C = [mathfrak p_1]_C^m_1...[p_k]_C^m_k$ will be true, where $[cdot]_C$ is the equivalence class in the class group of the given ideal.
$endgroup$
The right hand side is not contained in $R$, because the exponents $m_i$ are allowed to be negative!
One actually defines a fractional ideal $I$ as an $R$-submodule of $K$ such that for some $k in K$ we have $kI subset R$.
With this in mind, one sees what $mathfrak p_i^m_i$ means when the $m_i$ are negative i.e. how the module structure shows up here.
The fractional ideals have an obvious multiplication, via thinking of the modules as just ideals and multiplying them. It turns out that in the given setting (and not in general) that if we take $R$ as the identity , the fractional ideals form a group under this multiplication i.e. every element has an inverse.
The ideals $mathfrak p_i$ may be in $R$, and are clearly fractional ideals, taking $k=1$. However, their inverses in the group of fractional ideals of $R$ under multiplication, are also fractional ideals of $R$ but not necessarily contained in $R$ : they will be ideals in $K$, however. For example, the ideal $2mathbb Z$ is a fractional ideal of $mathbb Q$ over $mathbb Q$, contained in $mathbb Z$, but its inverse is $frac 12 mathbb Z$, which is not contained in $mathbb Z$ (of course, one easily checks that the product of these ideals is $mathbb Z$).
The equality is therefore an equality of fractional ideals i.e. equality as $R$-submodules of $K$.
What is also true is that now if you quotient out by the principal ideals, then the equivalence classes will also be equal. So that means that $[kI]_C = [mathfrak p_1]_C^m_1...[p_k]_C^m_k$ will be true, where $[cdot]_C$ is the equivalence class in the class group of the given ideal.
edited Mar 26 at 8:38
answered Mar 26 at 8:27
астон вілла олоф мэллбэргастон вілла олоф мэллбэрг
40.6k33678
40.6k33678
add a comment |
add a comment |
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.
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
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3162869%2fa-fractional-ideal-is-a-product-of-integral-ideals%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
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
Required, but never shown
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
Required, but never shown
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
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
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
$begingroup$
Try an actual example, even with $K = mathbf Q$: $(1/5)mathbf Z$ is a fractional ideal and it is $(5mathbf Z)^-1$. You won't be able to get a factorization with nonnegative exponents.
$endgroup$
– KCd
Mar 26 at 12:35