Theorems in group theory | Infinite group theory

Higman's embedding theorem

In group theory, Higman's embedding theorem states that every finitely generated recursively presented group R can be embedded as a subgroup of some finitely presented group G. This is a result of Graham Higman from the 1960s. On the other hand, it is an easy theorem that every finitely generated subgroup of a finitely presented group is recursively presented, so the recursively presented finitely generated groups are (up to isomorphism) exactly the finitely generated subgroups of finitely presented groups. Since every countable group is a subgroup of a finitely generated group, the theorem can be restated for those groups. As a corollary, there is a universal finitely presented group that contains all finitely presented groups as subgroups (up to isomorphism); in fact, its finitely generated subgroups are exactly the finitely generated recursively presented groups (again, up to isomorphism). Higman's embedding theorem also implies the Novikov-Boone theorem (originally proved in the 1950s by other methods) about the existence of a finitely presented group with algorithmically undecidable word problem. Indeed, it is fairly easy to construct a finitely generated recursively presented group with undecidable word problem. Then any finitely presented group that contains this group as a subgroup will have undecidable word problem as well. The usual proof of the theorem uses a sequence of HNN extensions starting with R and ending with a group G which can be shown to have a finite presentation. (Wikipedia).

Video thumbnail

Marianna Russkikh (MIT) -- Dimers and embeddings

One of the main questions in the context of the universality and conformal invariance of a critical 2D lattice model is to find an embedding which geometrically encodes the weights of the model and that admits "nice" discretizations of Laplace and Cauchy-Riemann operators. We establish a c

From playlist Northeastern Probability Seminar 2020

Video thumbnail

Symplectic embeddings, integrable systems and billiards - Vinicius Ramos

Symplectic Dynamics/Geometry Seminar Topic: Symplectic embeddings, integrable systems and billiards Speaker: Vinicius Ramos Affiliation: Member, School of Mathematics Date: January 27, 2020 For more video please visit http://video.ias.edu

From playlist Mathematics

Video thumbnail

Symplectic Embeddings and Infinite Staircases - Nicole Magill

Joint IAS/Princeton University Symplectic Geometry Seminar Topic: Symplectic Embeddings and Infinite Staircases Speaker: Nicole Magill Affiliation: Cornell University Date: February 6, 2023 The four dimensional ellipsoid embedding function of a toric symplectic manifold M measures when a

From playlist Mathematics

Video thumbnail

Daniel CRISTOFARO GARDINER - Symplectic embeddings of products

McDuff and Schlenk determined when a four-dimensional ellipsoid can be symplectically embedded into a four-dimensional ball, and found that when the ellipsoid is close to round, the answer is given by an “infinite staircase” determined by the odd-index Fibonacci numbers. We show that this

From playlist 2015 Summer School on Moduli Problems in Symplectic Geometry

Video thumbnail

Graph Neural Networks, Session 6: DeepWalk and Node2Vec

What are Node Embeddings Overview of DeepWalk Overview of Node2vec

From playlist Graph Neural Networks (Hands-on)

Video thumbnail

Beata Randrianantoanina: On a difference between two methods of low-distortion embeddings of...

Abstract: In a recent paper, the speaker and M.I. Ostrovskii developed a new metric embedding method based on the theory of equal-signs-additive (ESA) sequences developed by Brunel and Sucheston in 1970’s. This method was used to construct bilipschitz embeddings of diamond and Laakso graph

From playlist Analysis and its Applications

Video thumbnail

Measure Equivalence, Negative Curvature, Rigidity (Lecture 3) by Camille Horbez

PROGRAM: PROBABILISTIC METHODS IN NEGATIVE CURVATURE ORGANIZERS: Riddhipratim Basu (ICTS - TIFR, India), Anish Ghosh (TIFR, Mumbai, India), Subhajit Goswami (TIFR, Mumbai, India) and Mahan M J (TIFR, Mumbai, India) DATE & TIME: 27 February 2023 to 10 March 2023 VENUE: Madhava Lecture Hall

From playlist PROBABILISTIC METHODS IN NEGATIVE CURVATURE - 2023

Video thumbnail

Obsructions to Symplectic Embeddings

Speakers; C.Huangdai(Basic Background, Definitions, 4-D Symplectic manifold, , Symplectomorphisms and Symplectic Embeddings, Results). T.Coyne(What fits in what, Rigidity in Symplectic Geometry, Symplectic Capacities, Flexibility of Symplectic Embeddings, ECH Capacities, Polydisks into a

From playlist 2017 Summer REU Presentations

Video thumbnail

Laurent Bartholdi - Imbeddings in groups of subexponential growth

Laurent Bartholdi (University of Gottingen, Germany) A finitely generated group has subexponential growth if the number of group elements expressible as words of length $\le n$ grows subexponentially in $n$. I will show that every countable group that does not contain a subgroup of expone

From playlist T1-2014 : Random walks and asymptopic geometry of groups.

Video thumbnail

Nicholas Katz - Exponential sums and finite groups

Correction: The affiliation of Lei Fu is Tsinghua University. This is joint work with Antonio Rojas Leon and Pham Huu Tiep, where we look for “interesting” finite groups arising as monodromy groups of “simple to remember” families of exponential sums”.

From playlist Conférence « Géométrie arithmétique en l’honneur de Luc Illusie » - 5 mai 2021

Video thumbnail

Mima Stanojkovski - Groups from determinantal curves

Groups are fundamental entities in mathematics and in the sciences, which, when viewed as symmetries of objects, can help understand better or tell the objects in question apart. As "most groups are p-groups", we are motivated to understand structure and symmetries of p-groups, even though

From playlist Research Spotlight

Video thumbnail

Nicolás Matte Bon: Confined subgroups and high transitivity

A subgroup of a group is confined if the closure of its conjugacy class in the Chabauty space does not contain the trivial subgroup. Such subgroups arise naturally as stabilisers for non-free actions on compact spaces. I will explain a result establishing a relation between the confined su

From playlist Dynamical Systems and Ordinary Differential Equations

Video thumbnail

Linear spaces of matrices - Avi Wigderson

Computer Science/Discrete Mathematics Seminar II Topic: Linear spaces of matrices Speaker: Avi Wigderson SPEAKER AFFILIATION Affiliation: Herbert H. Maass Professor, School of Mathematics Date: September 21, 2021 The study of linear spaces of matrices arises naturally (and independently

From playlist Mathematics

Video thumbnail

Giles Gardam - Kaplansky's conjectures

Kaplansky made various related conjectures about group rings, especially for torsion-free groups. For example, the zero divisors conjecture predicts that if K is a field and G is a torsion-free group, then the group ring K[G] has no zero divisors. I will survey what is known about the conj

From playlist Talks of Mathematics Münster's reseachers

Video thumbnail

Andrzej Zuk: Spectra of ultra-discrete limits

We present a computation of spectra of random walks on self-similar graphs. CIRM HYBRID EVENT Recorded during the meeting "Additive Combinatorics in Marseille" the September 08, 2020 by the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Guillaume Hennenf

From playlist Analysis and its Applications

Video thumbnail

The Lens of Abelian Embeddings - Dor Minzer

Computer Science/Discrete Mathematics Seminar II Topic: The Lens of Abelian Embeddings Speaker: Dor Minzer Affiliation: Massachusetts Institute of Technology Date: March 28, 2023 A predicate P:Σk→0,1 is said to be linearly embeddable if the set of assignments satisfying it can be embedde

From playlist Mathematics

Video thumbnail

Torsion units of integral group rings (Lecture 1) by Angel del Rio

PROGRAM GROUP ALGEBRAS, REPRESENTATIONS AND COMPUTATION ORGANIZERS: Gurmeet Kaur Bakshi, Manoj Kumar and Pooja Singla DATE: 14 October 2019 to 23 October 2019 VENUE: Ramanujan Lecture Hall, ICTS Bangalore Determining explicit algebraic structures of semisimple group algebras is a fund

From playlist Group Algebras, Representations And Computation

Video thumbnail

Rasa Algorithm Whiteboard - Understanding Word Embeddings 1: Just Letters

We're making a few videos that highlight word embeddings. Before training word embeddings we figured it might help the intuition if we first trained some letter embeddings. It might suprise you but the idea with an embedding can also be demonstrated with letters as opposed to words. We're

From playlist Algorithm Whiteboard

Video thumbnail

Alexander HULPKE - Computational group theory, cohomology of groups and topological methods 3

The lecture series will give an introduction to the computer algebra system GAP, focussing on calculations involving cohomology. We will describe the mathematics underlying the algorithms, and how to use them within GAP. Alexander Hulpke's lectures will being with some general computation

From playlist École d'Été 2022 - Cohomology Geometry and Explicit Number Theory

Video thumbnail

Lecture13. Graph Embeddings

Network Science 2021 @HSE

From playlist Network Science, 2021

Related pages

Word problem for groups | Corollary | Finitely generated group | Subgroup | Group theory | Finitely presented group | HNN extension