# 0 dimensional Dedekind domain?

It seems that the ratio of those authors allowing a field to be a Dedekind domain to those who do not is almost 50 - 50. Why such a bewildering lack of consensus for such an elementary notion?

-
Perhaps because for any interesting fact about Dedekind domains the potential for confusion is never noticed since whatever is being said is obvious in the field case (or at least very well-known to anyone first learning about Dedekind domains). I doubt at the post-textbook stage of math that anyone would regard fields as Dedekind domains. (I am counting Bourbaki as a textbook, by the way.) A good analogy is whether a differential geometry book implicitly assumes manifolds have positive dimension or not: probably goes either way, depending on the source. –  Boyarsky Jun 20 '10 at 3:53
If you think of a Dedekind domain as a regular (or normal) one-dimensional Noetherian domain, then you know that fields are not allowed. If you think of a Dedekind domain as a domain for which every fractional ideal is invertible, or as a domain in which the monoid of nonzero ideals has a basis, then you know that fields are allowed. Esthetically, both points of view make sense to me. If you adopt the second one then you will have to state trivial exceptions to some theorems. –  Tom Goodwillie Jun 20 '10 at 4:50
Are you looking for a mathematical or a sociological explanation? –  S. Carnahan Jun 20 '10 at 5:20
There are a lot of elementary definitions in mathematics for which there is no consensus. This especially happens when the differences in the definition are so small as to make no real difference in the resulting theory: it then becomes mostly a matter of convention and aesthetic... –  Pete L. Clark Jun 20 '10 at 7:39
@Pete: Thank you for the information about format. To your other point, I acknowledge that creating a tag for the empty set bordered on frivolity, but I do think that if one wanted a tag for the general topic of "taking trivial cases of definitions seriously" then empty-set is as good a short phrase as any. –  Tom Goodwillie Jun 20 '10 at 11:21

Charles, that's almost exactly what I was getting at. Yet when I think of calling a field a Dedekind domain I am not completely giving up the geometric viewpoint; I am thinking of it not as a $0$-dimensional object but (informally) as a $1$-dimensional object from which all of the $0$-dimensional points have been removed. –  Tom Goodwillie Jun 20 '10 at 19:27