In algebra, the Hausdorff completion
of a
group
A group is a number of persons or things that are located, gathered, or classed together.
Groups of people
* Cultural group, a group whose members share the same cultural identity
* Ethnic group, a group whose members share the same ethnic iden ...
''G'' with
filtration
Filtration is a physical separation process that separates solid matter and fluid from a mixture using a ''filter medium'' that has a complex structure through which only the fluid can pass. Solid particles that cannot pass through the filte ...
is the
inverse limit
In mathematics, the inverse limit (also called the projective limit) is a construction that allows one to "glue together" several related objects, the precise gluing process being specified by morphisms between the objects. Thus, inverse limits ca ...
of the
discrete group
In mathematics, a topological group ''G'' is called a discrete group if there is no limit point in it (i.e., for each element in ''G'', there is a neighborhood which only contains that element). Equivalently, the group ''G'' is discrete if and ...
. A basic example is a
profinite completion
In mathematics, a profinite group is a topological group that is in a certain sense assembled from a system of finite groups.
The idea of using a profinite group is to provide a "uniform", or "synoptic", view of an entire system of finite groups. ...
. The image of the canonical map
is a
Hausdorff topological group
In mathematics, topological groups are the combination of groups and topological spaces, i.e. they are groups and topological spaces at the same time, such that the continuity condition for the group operations connects these two structures ...
and its
kernel
Kernel may refer to:
Computing
* Kernel (operating system), the central component of most operating systems
* Kernel (image processing), a matrix used for image convolution
* Compute kernel, in GPGPU programming
* Kernel method, in machine learnin ...
is the intersection of all
: i.e., the
closure of the identity element. The canonical
homomorphism
In algebra, a homomorphism is a morphism, structure-preserving map (mathematics), map between two algebraic structures of the same type (such as two group (mathematics), groups, two ring (mathematics), rings, or two vector spaces). The word ''homo ...
is an
isomorphism
In mathematics, an isomorphism is a structure-preserving mapping or morphism between two structures of the same type that can be reversed by an inverse mapping. Two mathematical structures are isomorphic if an isomorphism exists between the ...
, where
is a
graded module associated to the filtration.
The concept is named after
Felix Hausdorff
Felix Hausdorff ( , ; November 8, 1868 – January 26, 1942) was a German mathematician, pseudonym Paul Mongré (''à mogré' (Fr.) = "according to my taste"), who is considered to be one of the founders of modern topology and who contributed sig ...
.
See also
*
linear topology
In algebra, a linear topology on a left A-module M is a topology on M that is invariant under translations and admits a fundamental system of neighborhoods of 0 that consist of submodules of M. If there is such a topology, M is said to be linearl ...
References
*
Nicolas Bourbaki
Nicolas Bourbaki () is the collective pseudonym of a group of mathematicians, predominantly French alumni of the École normale supérieure (Paris), École normale supérieure (ENS). Founded in 1934–1935, the Bourbaki group originally intende ...
, ''Commutative algebra''
Commutative algebra
{{commutative-algebra-stub