Summary
In mathematics, in particular commutative algebra, the concept of fractional ideal is introduced in the context of integral domains and is particularly fruitful in the study of Dedekind domains. In some sense, fractional ideals of an integral domain are like ideals where denominators are allowed. In contexts where fractional ideals and ordinary ring ideals are both under discussion, the latter are sometimes termed integral ideals for clarity. Let be an integral domain, and let be its field of fractions. A fractional ideal of is an -submodule of such that there exists a non-zero such that . The element can be thought of as clearing out the denominators in , hence the name fractional ideal. The principal fractional ideals are those -submodules of generated by a single nonzero element of . A fractional ideal is contained in if, and only if, it is an ('integral') ideal of . A fractional ideal is called invertible if there is another fractional ideal such that where is called the product of the two fractional ideals). In this case, the fractional ideal is uniquely determined and equal to the generalized ideal quotient The set of invertible fractional ideals form an abelian group with respect to the above product, where the identity is the unit ideal itself. This group is called the group of fractional ideals of . The principal fractional ideals form a subgroup. A (nonzero) fractional ideal is invertible if, and only if, it is projective as an -module. Geometrically, this means an invertible fractional ideal can be interpreted as rank 1 vector bundle over the affine scheme . Every finitely generated R-submodule of K is a fractional ideal and if is noetherian these are all the fractional ideals of . In Dedekind domains, the situation is much simpler. In particular, every non-zero fractional ideal is invertible. In fact, this property characterizes Dedekind domains: An integral domain is a Dedekind domain if, and only if, every non-zero fractional ideal is invertible. The set of fractional ideals over a Dedekind domain is denoted .
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
Ontological neighbourhood
Related courses (26)
MATH-482: Number theory I.a - Algebraic number theory
Algebraic number theory is the study of the properties of solutions of polynomial equations with integral coefficients; Starting with concrete problems, we then introduce more general notions like alg
MATH-215: Rings and fields
C'est un cours introductoire dans la théorie d'anneau et de corps.
MATH-317: Algebra V - Galois theory
Galois theory aims at describing the algebraic symmetries of fields. After reviewing the basic material (from the 2nd year course "Ring and Fields") and in particular the Galois correspondence, we wi
Show more
Related lectures (105)
Dimension theory of rings
Covers the dimension theory of rings, including additivity of dimension and height, Krull's Hauptidealsatz, and the height of general complete intersections.
Chemical Equilibria and Reactivity
Explores gas properties, pressure, ideal and real gases, energy in reactions, and gas laws.
Symmetries and Conservation Laws
Covers symmetries and conservation laws in fluid dynamics, emphasizing the importance of maximizing symmetries in ideal fluid systems.
Show more
Related publications (72)
Related concepts (15)
Discrete valuation ring
In abstract algebra, a discrete valuation ring (DVR) is a principal ideal domain (PID) with exactly one non-zero maximal ideal. This means a DVR is an integral domain R which satisfies any one of the following equivalent conditions: R is a local principal ideal domain, and not a field. R is a valuation ring with a value group isomorphic to the integers under addition. R is a local Dedekind domain and not a field. R is a Noetherian local domain whose maximal ideal is principal, and not a field.
Algebraic number field
In mathematics, an algebraic number field (or simply number field) is an extension field of the field of rational numbers such that the field extension has finite degree (and hence is an algebraic field extension). Thus is a field that contains and has finite dimension when considered as a vector space over . The study of algebraic number fields, and, more generally, of algebraic extensions of the field of rational numbers, is the central topic of algebraic number theory.
Krull ring
In commutative algebra, a Krull ring, or Krull domain, is a commutative ring with a well behaved theory of prime factorization. They were introduced by Wolfgang Krull in 1931. They are a higher-dimensional generalization of Dedekind domains, which are exactly the Krull domains of dimension at most 1. In this article, a ring is commutative and has unity. Let be an integral domain and let be the set of all prime ideals of of height one, that is, the set of all prime ideals properly containing no nonzero prime ideal.
Show more