Not signed in (Sign In)

Start a new discussion

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

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-theory cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive constructive-mathematics cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor galois-theory gauge-theory gebra geometric geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nforum nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory type type-theory universal variational-calculus

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.
    • CommentAuthorTodd_Trimble
    • CommentTimeOct 22nd 2012

    More examples added at principal ideal domain.

    • CommentRowNumber2.
    • CommentAuthorTodd_Trimble
    • CommentTimeOct 23rd 2012

    A new subsection on torsionfree modules has been added to principal ideal domain. Totally standard material of course, but various spots around the nLab (e.g., proposition 2 of torsion subgroup) refer implicitly to it. At some point I plan to get around to the fundamental theorem on finitely generated modules.

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeOct 23rd 2012

    Thanks, Todd, that's great.

    Since you are pointing to what I had started to split off as Lazard's criterion at flat module, let's briefly think about how to reorganize the latter entry, currently it's a bit of a mess:

    the characterization Explicitly in terms of identities that currently contains the idea of the proof of Lazard's criterion itself needs a bit of reasoning to derive from what I'd say is the the primary definition. I had started commenting on that in Equivalent characterizations.

    Would you and Andrew and others who might care mind if I moved that whole section Explicitly in terms of identities to the Properties-subsection? We can still leave a prominent pointer to it at the very beginning of the Idea section, advizing the reader in need of an element-based characterization to skip to there. But currently this seems to me to be a bit out of place the way it sits in the Definition-section. In particular if we use it at the same time as the proof of Lazard's criterion.

    • CommentRowNumber4.
    • CommentAuthorTodd_Trimble
    • CommentTimeOct 23rd 2012

    Right, I put in that pointer because I was being a bit lazy. But since I was using the easy direction (a filtered colimit of frees is flat: easier to prove than a flat is a filtered colimit of frees), it probably makes sense to add just a few more lines, to make the proof self-contained. Because I generally dislike sending people off on mad goose-chases around the nLab, tracking down details of proofs.

    I think I see what you mean about reorganization, but I’d like to think it over when I have more time (later today).

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeJul 22nd 2014
    • (edited Jul 22nd 2014)

    at principal ideal domain it used to say (since revision 4) that the entire holomorphic functions on the complex plane form an integral ideal domain.

    It seems while every finitely generated ideal here is indeed principal, there are also non-finitely generated ideals and it is rather a Bezout domain.

    I have edited it accordingly, but please check if I am being stupid here.

    • CommentRowNumber6.
    • CommentAuthorTodd_Trimble
    • CommentTimeJul 22nd 2014

    Huh, that’s weird. I do have a memory of writing some such thing, and the edit appears to be mine; I must have thought that I was transcribing something from Lang’s Algebra, but indeed all I see now from that book is an exercise that confirms what you say (every finitely generated ideal is principal, but it’s not even a UFD). Thanks for catching that.

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeJul 22nd 2014

    Okay, thanks for confirming.

    While we are at it: I ran across this coming from the introduction in Roosen’s book where it says that the whole function field analogy is already plausible from the just the bare fact that both \mathbb{Z} and 𝔽 q[x]\mathbb{F}_q[x] are principal ideal domains with finite group of units (and other finiteness properties). That already means that much of the theory will be the same, I think he says.

    Now from the modern point of view complex curves are the “third column” of the function field analogy, and so I thought of the analogous statement there.

    So how strong is being a Bezout domain really, from this point of view. Strong enough (maybe in addition with some other properties) to argue that just by this it is plausible that there ought to be a third column? I guess not, but it seems a natural question to wonder about here.

  1. Added a very short remark about principal ideal domains in constructive mathematics.

    • CommentRowNumber9.
    • CommentAuthorTobyBartels
    • CommentTimeJul 24th 2014

    Thanks. We can also try to fix the notion to make it work constructively; I put forward one naïve proposal.

    • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeSep 19th 2018

    added statement of Smith normal form (here)

    diff, v16, current

    • CommentRowNumber11.
    • CommentAuthorGuest
    • CommentTimeMay 2nd 2022
    Is there a constructive proof of Proposition 3.3, that every principal ideal domain is a unique factorization domain?
    • CommentRowNumber12.
    • CommentAuthorJ-B Vienney
    • CommentTimeAug 7th 2022
    • (edited Aug 7th 2022)

    Added that a pid can be characterized as an integral domain which possesses a Dedekind-Hasse norm (which is a generalization of the degree function of an Euclidean domain).

    diff, v22, current

    • CommentRowNumber13.
    • CommentAuthorJ-B Vienney
    • CommentTimeAug 7th 2022

    Added link to maximal ideal

    diff, v23, current

Add your comments
  • Please log in or leave your comment as a "guest post". If commenting as a "guest", please include your name in the message as a courtesy. Note: only certain categories allow guest posts.
  • To produce a hyperlink to an nLab entry, simply put double square brackets around its name, e.g. [[category]]. To use (La)TeX mathematics in your post, make sure Markdown+Itex is selected below and put your mathematics between dollar signs as usual. Only a subset of the usual TeX math commands are accepted: see here for a list.

  • (Help)