Clearly it must be (left) noetherian! (Since we wouldn’t want a ascending subnormal chain that doesn’t stop where all of the elements are enjoyed by the larger ideals/submodules) :)

Sorry, writing “R is comm(unitive)” so many times can make you do things

    • LGTM@discuss.tchncs.deOP
      link
      fedilink
      English
      arrow-up
      5
      ·
      edit-2
      1 month ago

      I’m so tired of transcendental apologists; their lack of a minimal polynomial does NOT permit them to act like this. ϕ was our compromise

  • Lxrduy
    link
    fedilink
    English
    arrow-up
    3
    ·
    1 month ago

    Surely we step in when someone is descending, right? So our ring is even Artinian