In commutative algebra, the mathematical study of commutative rings, adic topologies are a family of topologies on the underlying set of a module, generalizing the p-adic topologies on the integers.
Let R be a commutative ring and M an R-module. Then each ideal a of R determines a topology on M called the a-adic topology, characterized by the pseudometric The family is a basis for this topology.
With respect to the topology, the module operations of addition and scalar multiplication are continuous, so that M becomes a topological module. However, M need not be Hausdorff; it is Hausdorff if and only ifso that d becomes a genuine metric. Related to the usual terminology in topology, where a Hausdorff space is also called separated, in that case, the a-adic topology is called separated.
By Krull's intersection theorem, if R is a Noetherian ring which is an integral domain or a local ring, it holds that for any proper ideal a of R. Thus under these conditions, for any proper ideal a of R and any R-module M, the a-adic topology on M is separated.
For a submodule N of M, the canonical homomorphism to M/N induces a quotient topology which coincides with the a-adic topology. The analogous result is not necessarily true for the submodule N itself: the subspace topology need not be the a-adic topology. However, the two topologies coincide when R is Noetherian and M finitely generated. This follows from the Artin-Rees lemma.
Completion (algebra)
When M is Hausdorff, M can be completed as a metric space; the resulting space is denoted by and has the module structure obtained by extending the module operations by continuity. It is also the same as (or canonically isomorphic to): where the right-hand side is an inverse limit of quotient modules under natural projection.
For example, let be a polynomial ring over a field k and a = (x1, ..., xn) the (unique) homogeneous maximal ideal. Then , the formal power series ring over k in n variables.
As a consequence of the above, the a-adic closure of a submodule is This closure coincides with N whenever R is a-adically complete and M is finitely generated.
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.
This course will provide an introduction to model category theory, which is an abstract framework for generalizing homotopy theory beyond topological spaces and continuous maps. We will study numerous
Commutative algebra, first known as ideal theory, is the branch of algebra that studies commutative rings, their ideals, and modules over such rings. Both algebraic geometry and algebraic number theory build on commutative algebra. Prominent examples of commutative rings include polynomial rings; rings of algebraic integers, including the ordinary integers ; and p-adic integers. Commutative algebra is the main technical tool in the local study of schemes.
In mathematics, a commutative ring is a ring in which the multiplication operation is commutative. The study of commutative rings is called commutative algebra. Complementarily, noncommutative algebra is the study of ring properties that are not specific to commutative rings. This distinction results from the high number of fundamental properties of commutative rings that do not extend to noncommutative rings. A ring is a set equipped with two binary operations, i.e. operations combining any two elements of the ring to a third.
In abstract algebra, a completion is any of several related functors on rings and modules that result in complete topological rings and modules. Completion is similar to localization, and together they are among the most basic tools in analysing commutative rings. Complete commutative rings have a simpler structure than general ones, and Hensel's lemma applies to them. In algebraic geometry, a completion of a ring of functions R on a space X concentrates on a formal neighborhood of a point of X: heuristically, this is a neighborhood so small that all Taylor series centered at the point are convergent.
, ,
We define p-adic BPS or pBPS invariants for moduli spaces M-beta,M-chi of one-dimensional sheaves on del Pezzo and K3 surfaces by means of integration over a non-archimedean local field F. Our definition relies on a canonical measure mu can on the F-analyt ...
We define and study in terms of integral IwahoriâHecke algebras a new class of geometric operators acting on the Bruhat-Tits building of connected reductive groups over p-adic fields. These operators, which we call U-operators, generalize the geometric n ...
We establish p-adic versions of the Manin-Mumford conjecture, which states that an irreducible subvariety of an abelian variety with dense torsion has to be the translate of a subgroup by a torsion point. We do so in the context of certain rigid analytic s ...