Krull dimension, how to compute?











up vote
0
down vote

favorite
1












There is something I don't get about Krull's dimension.
If $K$ is a field, then the only ideals are ${ 0 }$ and $K$ so the only prime ideal is ${0}$. So the Krull's dimension is $0$. But if we have an Artinian ring, we have that every prime ideal is maximal. So if we take P a maximal ideal, ${0 } subsetneq P$ is a chain of ideal which seems to be of length one. So why is the Krull's dimension of an Artinian ring $0$?






krull-dimension







share|cite|improve this question


















  • 1




    An Artinian ring in which $(0)$ is a prime ideal is a field. So if $P$ is a nonzero prime ideal, then $(0)$ isn't a prime ideal.
    – Qiaochu Yuan
    18 hours ago












  • Oh, for some reason I thought that $(0)$ was prime in any ring but clearly it is only true when R is integral.
    – roi_saumon
    17 hours ago















up vote
0
down vote

favorite
1












There is something I don't get about Krull's dimension.
If $K$ is a field, then the only ideals are ${ 0 }$ and $K$ so the only prime ideal is ${0}$. So the Krull's dimension is $0$. But if we have an Artinian ring, we have that every prime ideal is maximal. So if we take P a maximal ideal, ${0 } subsetneq P$ is a chain of ideal which seems to be of length one. So why is the Krull's dimension of an Artinian ring $0$?






krull-dimension







share|cite|improve this question


















  • 1




    An Artinian ring in which $(0)$ is a prime ideal is a field. So if $P$ is a nonzero prime ideal, then $(0)$ isn't a prime ideal.
    – Qiaochu Yuan
    18 hours ago












  • Oh, for some reason I thought that $(0)$ was prime in any ring but clearly it is only true when R is integral.
    – roi_saumon
    17 hours ago













up vote
0
down vote

favorite
1









up vote
0
down vote

favorite
1






1





There is something I don't get about Krull's dimension.
If $K$ is a field, then the only ideals are ${ 0 }$ and $K$ so the only prime ideal is ${0}$. So the Krull's dimension is $0$. But if we have an Artinian ring, we have that every prime ideal is maximal. So if we take P a maximal ideal, ${0 } subsetneq P$ is a chain of ideal which seems to be of length one. So why is the Krull's dimension of an Artinian ring $0$?






krull-dimension







share|cite|improve this question













There is something I don't get about Krull's dimension.
If $K$ is a field, then the only ideals are ${ 0 }$ and $K$ so the only prime ideal is ${0}$. So the Krull's dimension is $0$. But if we have an Artinian ring, we have that every prime ideal is maximal. So if we take P a maximal ideal, ${0 } subsetneq P$ is a chain of ideal which seems to be of length one. So why is the Krull's dimension of an Artinian ring $0$?






krull-dimension




krull-dimension






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked 18 hours ago









roi_saumon

1717




1717








  • 1




    An Artinian ring in which $(0)$ is a prime ideal is a field. So if $P$ is a nonzero prime ideal, then $(0)$ isn't a prime ideal.
    – Qiaochu Yuan
    18 hours ago












  • Oh, for some reason I thought that $(0)$ was prime in any ring but clearly it is only true when R is integral.
    – roi_saumon
    17 hours ago














  • 1




    An Artinian ring in which $(0)$ is a prime ideal is a field. So if $P$ is a nonzero prime ideal, then $(0)$ isn't a prime ideal.
    – Qiaochu Yuan
    18 hours ago












  • Oh, for some reason I thought that $(0)$ was prime in any ring but clearly it is only true when R is integral.
    – roi_saumon
    17 hours ago








1




1




An Artinian ring in which $(0)$ is a prime ideal is a field. So if $P$ is a nonzero prime ideal, then $(0)$ isn't a prime ideal.
– Qiaochu Yuan
18 hours ago






An Artinian ring in which $(0)$ is a prime ideal is a field. So if $P$ is a nonzero prime ideal, then $(0)$ isn't a prime ideal.
– Qiaochu Yuan
18 hours ago














Oh, for some reason I thought that $(0)$ was prime in any ring but clearly it is only true when R is integral.
– roi_saumon
17 hours ago




Oh, for some reason I thought that $(0)$ was prime in any ring but clearly it is only true when R is integral.
– roi_saumon
17 hours ago










1 Answer
1






active

oldest

votes

















up vote
2
down vote



accepted











So if we take P a maximal ideal, ${0 } subsetneq P$ is a chain of ideal which seems to be of length one.




It is a chain of length one. But it isn't a chain of prime ideals. And for Krull dimension we look only at chains of prime ideals.



For a (commutative) ring $R$ the ideal ${0}$ is prime if and only if $R$ is an integral domain. And an Artinian ring is an integral domain if and only if it is a field. So if $R$ is Artinian but not field then ${0}$ is not prime. On the other hand if $R$ is a field than it has no proper ideal. So the chain ${0}subsetneq P$ is never a chain of prime ideals when $R$ is artinian.



Also note that fields are special Artinian rings. And indeed they all have Krull dimension $0$.






share|cite|improve this answer























    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%2f3004760%2fkrull-dimension-how-to-compute%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
    2
    down vote



    accepted











    So if we take P a maximal ideal, ${0 } subsetneq P$ is a chain of ideal which seems to be of length one.




    It is a chain of length one. But it isn't a chain of prime ideals. And for Krull dimension we look only at chains of prime ideals.



    For a (commutative) ring $R$ the ideal ${0}$ is prime if and only if $R$ is an integral domain. And an Artinian ring is an integral domain if and only if it is a field. So if $R$ is Artinian but not field then ${0}$ is not prime. On the other hand if $R$ is a field than it has no proper ideal. So the chain ${0}subsetneq P$ is never a chain of prime ideals when $R$ is artinian.



    Also note that fields are special Artinian rings. And indeed they all have Krull dimension $0$.






    share|cite|improve this answer



























      up vote
      2
      down vote



      accepted











      So if we take P a maximal ideal, ${0 } subsetneq P$ is a chain of ideal which seems to be of length one.




      It is a chain of length one. But it isn't a chain of prime ideals. And for Krull dimension we look only at chains of prime ideals.



      For a (commutative) ring $R$ the ideal ${0}$ is prime if and only if $R$ is an integral domain. And an Artinian ring is an integral domain if and only if it is a field. So if $R$ is Artinian but not field then ${0}$ is not prime. On the other hand if $R$ is a field than it has no proper ideal. So the chain ${0}subsetneq P$ is never a chain of prime ideals when $R$ is artinian.



      Also note that fields are special Artinian rings. And indeed they all have Krull dimension $0$.






      share|cite|improve this answer

























        up vote
        2
        down vote



        accepted







        up vote
        2
        down vote



        accepted







        So if we take P a maximal ideal, ${0 } subsetneq P$ is a chain of ideal which seems to be of length one.




        It is a chain of length one. But it isn't a chain of prime ideals. And for Krull dimension we look only at chains of prime ideals.



        For a (commutative) ring $R$ the ideal ${0}$ is prime if and only if $R$ is an integral domain. And an Artinian ring is an integral domain if and only if it is a field. So if $R$ is Artinian but not field then ${0}$ is not prime. On the other hand if $R$ is a field than it has no proper ideal. So the chain ${0}subsetneq P$ is never a chain of prime ideals when $R$ is artinian.



        Also note that fields are special Artinian rings. And indeed they all have Krull dimension $0$.






        share|cite|improve this answer















        So if we take P a maximal ideal, ${0 } subsetneq P$ is a chain of ideal which seems to be of length one.




        It is a chain of length one. But it isn't a chain of prime ideals. And for Krull dimension we look only at chains of prime ideals.



        For a (commutative) ring $R$ the ideal ${0}$ is prime if and only if $R$ is an integral domain. And an Artinian ring is an integral domain if and only if it is a field. So if $R$ is Artinian but not field then ${0}$ is not prime. On the other hand if $R$ is a field than it has no proper ideal. So the chain ${0}subsetneq P$ is never a chain of prime ideals when $R$ is artinian.



        Also note that fields are special Artinian rings. And indeed they all have Krull dimension $0$.







        share|cite|improve this answer














        share|cite|improve this answer



        share|cite|improve this answer








        edited 18 hours ago

























        answered 18 hours ago









        freakish

        10.3k1526




        10.3k1526






























             

            draft saved


            draft discarded



















































             


            draft saved


            draft discarded














            StackExchange.ready(
            function () {
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3004760%2fkrull-dimension-how-to-compute%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

            'app-layout' is not a known element: how to share Component with different Modules

            Image
            0 My application was working fine until I decided to go with lazy loading: So, my shared component looks like this: import { Component, Renderer2 } from '@angular/core'; export interface FormModel { captcha?: string; } @Component({ selector: 'app-layout', templateUrl: './app-layout.component.html', styleUrls: ['./app-layout.css'] }) export class FullLayoutComponent { } app-layout.component.ts I am using this component in my Another component say school-home.component.html like this: <app-layout> </app-layout> and it was working fine until I created a Module school-home.module.ts like this: import { NgModule } from '@angular/core'; import { CommonModule } from '@angular/common'; import { SchoolhomeRoutingModule ...
            Read more

            android studio warns about leanback feature tag usage required on manifest while using Unity exported app?

            Image
            .everyoneloves__top-leaderboard:empty,.everyoneloves__mid-leaderboard:empty,.everyoneloves__bot-mid-leaderboard:empty{ height:90px;width:728px;box-sizing:border-box; } 0 This is a simple project showing cubes on Unity, exported to android project and imported on Android studio. On maifest file it showed following warning: Expecting <uses-feature android:name="android.software.leanback" android:required="false" /> tag I have no information about it. And also on default emptyview android project does not use/mention this feature. I know it is required by TV's and such but why its not added by default? Why is this? And Should I concern about it? android unity3d ...
            Read more

            WPF add header to Image with URL pettitions [duplicate]

            Image
            up vote 0 down vote favorite This question already has an answer here: Image source URI requiring authorization 3 answers Add header to all* HTTP requests on a machine 1 answer first of all sorry for my english. Recently I added some security in the backend of my project, and now I need to send a validation code(apiKey) inside the headers to retrieve the images. I have a problem with ALL images in my project that I had attached in my UI. For example, before I had: <Image Height="90" Source="{Binding Video.Thumbnail}"/> Now I need to change my code to create a CUSTOM petition add the apiKey in the header:...
            Read more