**Are you an EPFL student looking for a semester project?**

Work with us on data science and visualisation projects, and deploy your project as an app on top of GraphSearch.

Concept# Profinite group

Summary

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. Properties of the profinite group are generally speaking uniform properties of the system. For example, the profinite group is finitely generated (as a topological group) if and only if there exists such that every group in the system can be generated by elements. Many theorems about finite groups can be readily generalised to profinite groups; examples are Lagrange's theorem and the Sylow theorems.
To construct a profinite group one needs a system of finite groups and group homomorphisms between them. Without loss of generality, these homomorphisms can be assumed to be surjective, in which case the finite groups will appear as quotient groups of the resulting profinite group; in a sense, these quotients approximate the profinite group.
Important examples of profinite groups are the additive groups of -adic integers and the Galois groups of infinite-degree field extensions.
Every profinite group is compact and totally disconnected. A non-compact generalization of the concept is that of locally profinite groups. Even more general are the totally disconnected groups.
Profinite groups can be defined in either of two equivalent ways.
A profinite group is a topological group that is isomorphic to the inverse limit of an inverse system of discrete finite groups. In this context, an inverse system consists of a directed set an indexed family of finite groups each having the discrete topology, and a family of homomorphisms such that is the identity map on and the collection satisfies the composition property The inverse limit is the set:
equipped with the relative product topology.
One can also define the inverse limit in terms of a universal property. In terms, this is a special case of a construction.
A profinite group is a compact, and totally disconnected topological group: that is, a topological group that is also a Stone space.

Official source

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.

Related people (2)

Related publications (26)

Related courses (17)

Related concepts (17)

Related units (2)

Related lectures (32)

We study topological groups. Particular attention is devoted to compact and locally compact groups.

We study topological groups. Particular attention is devoted to compact and locally compact groups.

Group representation theory studies the actions of groups on vector spaces. This allows the use of linear algebra to study certain group theoretical questions. In this course the groups in question wi

In abstract algebra, group theory studies the algebraic structures known as groups. The concept of a group is central to abstract algebra: other well-known algebraic structures, such as rings, fields, and vector spaces, can all be seen as groups endowed with additional operations and axioms. Groups recur throughout mathematics, and the methods of group theory have influenced many parts of algebra. Linear algebraic groups and Lie groups are two branches of group theory that have experienced advances and have become subject areas in their own right.

In mathematics, topological groups are logically 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 together and consequently they are not independent from each other. Topological groups have been studied extensively in the period of 1925 to 1940. Haar and Weil (respectively in 1933 and 1940) showed that the integrals and Fourier series are special cases of a very wide class of topological groups.

In mathematics, Galois theory, originally introduced by Évariste Galois, provides a connection between field theory and group theory. This connection, the fundamental theorem of Galois theory, allows reducing certain problems in field theory to group theory, which makes them simpler and easier to understand. Galois introduced the subject for studying roots of polynomials.

Self-similar groups: Automorphisms of rooted trees

Covers self-similar groups and automorphisms of rooted trees, exploring residually finite groups and congruence subgroups.

Local structure of totally disconnected locally compact groups I

Covers the local structure of totally disconnected locally compact groups, exploring properties and applications.

Endomorphisms and automorphisms of totally disconnected locally compact groups V

Explores endomorphisms and automorphisms of totally disconnected locally compact groups, emphasizing surjective homomorphisms and free abelian groups.

It is well-known that for any integral domain R, the Serre conjecture ring R(X), i.e., the localization of the univariate polynomial ring R[X] at monic polynomials, is a Bezout domain of Krull dimension

Euclidean lattices are mathematical objects of increasing interest in the fields of cryptography and error-correcting codes. This doctoral thesis is a study on high-dimensional lattices with the motivation to understand how efficient they are in terms of b ...

Kathryn Hess Bellwald, Lida Kanari, Adélie Eliane Garin

In this paper we consider two aspects of the inverse problem of how to construct merge trees realizing a given barcode. Much of our investigation exploits a recently discovered connection between the symmetric group and barcodes in general position, based ...

2024