Search results
Results from the WOW.Com Content Network
A set is Dedekind-finite if it is not Dedekind-infinite (i.e., no such bijection exists). Proposed by Dedekind in 1888, Dedekind-infiniteness was the first definition of "infinite" that did not rely on the definition of the natural numbers. [1] A simple example is , the set of natural numbers.
When S is finite, its completion is also finite, and has the smallest number of elements among all finite complete lattices containing S. [ 12 ] The partially ordered set S is join-dense and meet-dense in the Dedekind–MacNeille completion; that is, every element of the completion is a join of some set of elements of S , and is also the meet ...
A Dedekind domain can also be characterized in terms of homological algebra: an integral domain is a Dedekind domain if and only if it is a hereditary ring; that is, every submodule of a projective module over it is projective. Similarly, an integral domain is a Dedekind domain if and only if every divisible module over it is injective. [3]
Dedekind 1. Richard Dedekind 2. A Dedekind-infinite set is a set that can be put into a one-to-one correspondence with one of its proper subsets, indicating a type of infinity; a Dedekind-finite set is a set that is not Dedekind-infinite. (These are also spelled without the hyphen, as "Dedekind finite" and "Dedekind infinite".) def
However, over a Dedekind domain the ideal class group is the only obstruction, and the structure theorem generalizes to finitely generated modules over a Dedekind domain with minor modifications. There is still a unique torsion part, with a torsionfree complement (unique up to isomorphism), but a torsionfree module over a Dedekind domain is no ...
The fiber of a Néron model over a closed point of Spec(R) is a smooth commutative algebraic group, but need not be an abelian variety: for example, it may be disconnected or a torus. Néron models exist as well for certain commutative groups other than abelian varieties such as tori, but these are only locally of finite type.
The Dedekind-Kummer theorem holds more generally than in the situation of number fields: Let be a Dedekind domain contained in its quotient field , / a finite, separable field extension with = [] for a suitable generator and the integral closure of .
When interpreted as a proof within a first-order set theory, such as ZFC, Dedekind's categoricity proof for PA shows that each model of set theory has a unique model of the Peano axioms, up to isomorphism, that embeds as an initial segment of all other models of PA contained within that model of set theory. In the standard model of set theory ...