In mathematics, profinite groups are topological groups that are in a certain sense assembled from finite groups. They share many properties with their finite quotients: for example, both Lagrange's theorem and the Sylow theorems generalise well to profinite groups.
In mathematics, a topological group is a group G together with a topology on G such that the group's binary operation and the group's inverse function are continuous functions with respect to the topology. A topological group is a mathematical object with both an algebraic structure and a topological structure. Thus, one may perform algebraic operations, because of the group structure, and one may talk about continuous functions, because of the topology.
In mathematics, the general linear group of degree n is the set of n×n invertible matrices, together with the operation of ordinary matrix multiplication. This forms a group, because the product of two invertible matrices is again invertible, and the inverse of an invertible matrix is invertible. The group is so named because the columns of an invertible matrix are linearly independent, hence the vectors/points they define are in general linear position, and matrices in the general linear group take points in general linear position to points in general linear position.
In abstract algebra, a finite group is a group, of which the underlying set contains a finite number of elements.
In mathematics, Grothendieck's Galois theory is an abstract approach to the Galois theory of fields, developed around 1960 to provide a way to study the fundamental group of algebraic topology in the setting of algebraic geometry. It provides, in the classical setting of field theory, an alternative perspective to that of Emil Artin based on linear algebra, which became standard from about the 1930s.
In mathematics, a Galois module is a G-module, with G being the Galois group of some extension of fields. The term Galois representation is frequently used when the G-module is a vector space over a field or a free module over a ring, but can also be used as a synonym for G-module. The study of Galois modules for extensions of local or global fields is an important tool in number theory.
In mathematics, a pro-p group is a profinite group
such that for any open normal subgroup
the quotient group
is a p-group. Note that, as profinite groups are compact, the open subgroups are exactly the closed subgroups of finite index, so that the discrete quotient group is always finite.
In mathematics, the absolute Galois group GK of a field K is the Galois group of Ksep over K, where Ksep is a separable closure of K. Alternatively it is the group of all automorphisms of the algebraic closure of K that fix K. The absolute Galois group is well-defined up to inner automorphism. It is a profinite group.
In mathematics, a totally disconnected group is a topological group that is totally disconnected. Such topological groups are necessarily Hausdorff.
In the mathematical field of group theory, a group G is residually finite or finitely approximable if for every element g that is not the identity in G there is a homomorphism h from G to a finite group, such that
In mathematics, a Tannakian category is a particular kind of monoidal category C, equipped with some extra structure relative to a given field K. The role of such categories C is to approximate, in some sense, the category of linear representations of an algebraic group G defined over K. A number of major applications of the theory have been made, or might be made in pursuit of some of the central conjectures of contemporary algebraic geometry and number theory.
In Galois theory, a branch of mathematics, the embedding problem is a generalization of the inverse Galois problem. Roughly speaking, it asks whether a given Galois extension can be embedded into a Galois extension in such a way that the restriction map between the corresponding Galois groups is given.
Anabelian geometry is a theory in number theory, which describes the way to which algebraic fundamental group G of a certain arithmetic variety V, or some related geometric object, can help to restore V. The first traditional conjectures, originating from Alexander Grothendieck and introduced in Esquisse d'un Programme were about how topological homomorphisms between two groups of two hyperbolic curves over number fields correspond to maps between the curves. These Grothendieck conjectures were partially solved by Hiroaki Nakamura and Akio Tamagawa, while complete proofs were given by Shinichi Mochizuki. Before anabelian geometry proper began with the famous letter to Gerd Faltings and Esquisse d'un Programme, the Neukirch–Uchida theorem hinted at the program from the perspective of Galois groups, which themselves can be shown to be étale fundamental groups.
In mathematics, a locally profinite group is a Hausdorff topological group in which every neighborhood of the identity element contains a compact open subgroup. Equivalently, a locally profinite group is a topological group that is Hausdorff, locally compact, and totally disconnected. Moreover, a locally profinite group is compact if and only if it is profinite; this explains the terminology. Basic examples of locally profinite groups are discrete groups and p-adic Lie group. Non-examples are real Lie groups which have no small subgroup property.
In mathematics, a profinite integer is an element of the ring
Zoé Maria Chatzidakis is a mathematician who works as a director of research at the École Normale Supérieure in Paris, France. Her research concerns model theory and difference algebra.
In mathematics, and more precisely in semigroup theory, a variety of finite semigroups is a set of semigroups having some nice algebraic properties. Those sets can be defined in two distinct way, using either algebraic notions or topological notions. Varieties of finite monoids, varieties of finite ordered semigroups and varieties of finite ordered monoids are defined similarly.
John Stuart Wilson is a British mathematician and former professor of mathematics at the University of Oxford. He specialises in algebra and group theory.
He also composes music for choirs and for vocal and instrumental ensembles.
