Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthortrefoils
    • CommentTimeApr 9th 2016

    Added to noetherian ring a homological chacaterization: a ring is Noetherian iff arbitrary direct sums of injective modules are injective.

    • CommentRowNumber2.
    • CommentAuthorTodd_Trimble
    • CommentTimeApr 9th 2016
    • (edited Apr 10th 2016)

    Thanks! Some of that was also mentioned at injective module (corollary 1 and proposition 1).

    • CommentRowNumber3.
    • CommentAuthorzskoda
    • CommentTimeApr 11th 2016

    Here in the proof, the Baer’s criterion is used, which uses AC. Is the result itself depending on AC ?

    • CommentRowNumber4.
    • CommentAuthorDmitri Pavlov
    • CommentTimeMay 7th 2023

    Added:

    Introduced by Emmy Noether in

    diff, v22, current

  1. Added section on Noetherian rings in constructive mathematics and added reference

    Anonymouse

    diff, v24, current

  2. Adding reference

    Anonymouse

    diff, v25, current