Formal Languages and Infinite Groups

Robert Gilman

DOI: https://doi.org/10.48550/arXiv.math/9509204

1995-09-12

Abstract:This article is an introduction to formal languages from the point of view of combinatorial group theory. Group theoretic applications are included and language classes are defined algebraically.

Group Theory

What problem does this paper attempt to address?

Groups with infinite linearly ordered products

Vincent Bagayoko

2024-03-12

Abstract:We introduce a formalism for considering infinite, linearly ordered products in groups. Using this, we define infinite compositions in certain groups of formal power series and show that such series can sometimes be represented as infinite, linearly ordered, semidirect products of ordered Abelian groups.

Group Theory,Logic
Infinitude of Primes Using Formal Language Theory

Aalok Thakkar

DOI: https://doi.org/10.1080/00029890.2018.1496761

2020-05-21

Abstract:Formal languages are sets of strings of symbols described by a set of rules specific to them. In this note, we discuss a certain class of formal languages, called regular languages, and put forward some elementary results. The properties of these languages are then employed to prove that there are infinitely many prime numbers.

Formal Languages and Automata Theory,Number Theory
Geometrically finite and infinite Kleinian Groups

Mahan Mj

DOI: https://doi.org/10.48550/arXiv.1507.04165

2015-07-15

Abstract:This is a summary of the material for 3 lectures on geometrically finite and infinite Kleinian groups delivered by the author at a workshop held at Tata Institute of Fundamental Research in April 2014.

Geometric Topology
On isomorphisms to a free group and beyond

Vladimir Shpilrain

2024-05-18

Abstract:The isomorphism problem for infinite finitely presented groups is probably the hardest among standard algorithmic problems in group theory. Classes of groups where it has been completely solved are nilpotent groups, hyperbolic groups, and limit groups. In this short paper, we address the problem of isomorphism to particular groups, including free groups. We also address the algorithmic problem of embedding a finitely presented group in a given limit group.

Group Theory
Linear groups and computation

A.S. Detinko,D.L. Flannery

DOI: https://doi.org/10.1016/j.exmath.2018.07.002

IF: 1.339

2019-12-01

Expositiones Mathematicae

Abstract:We present an exposition of our ongoing project in a new area of applicable mathematics: practical computation with finitely generated linear groups over infinite fields. Methodology and algorithms available for this class of groups are surveyed. We illustrate the solution of hard mathematical problems by computer experimentation. Possible avenues for further progress are discussed.

mathematics
An Invitation to Coarse Groups

Arielle Leitner,Federico Vigolo

2023-07-07

Abstract:In this monograph we lay the foundation for a theory of coarse groups and coarse actions. Coarse groups are group objects in the category of coarse spaces, and can be thought of as sets with operations that satisfy the group axioms "up to uniformly bounded error". In the first part of this work, we develop the theory of coarse homomorphisms, quotients, and subgroups, and prove that coarse versions of the Isomorphism Theorems hold true. We also initiate the study of coarse actions and show how they relate to the fundamental observation of Geometric Group Theory. In the second part we explore a selection of specialized topics, such as the study of coarse group structures on set-groups, groups of coarse automorphisms and spaces of controlled maps. Here the main aim is to show how the theory of coarse groups connects with classical subjects. These include: number theory; the study of bi-invariant metrics on groups; quasimorphisms and stable commutator length; ${\rm Out}(F_n)$; topological group actions.

Group Theory,Category Theory,Metric Geometry
Applications of computational tools for finitely presented groups

George Havas,Edmund F. Robertson

DOI: https://doi.org/10.48550/arXiv.math/9406207

1994-06-15

Abstract:Computer based techniques for recognizing finitely presented groups are quite powerful. Tools available for this purpose are outlined. They are available both in stand-alone programs and in more comprehensive systems. A general computational approach for investigating finitely presented groups by way of quotients and subgroups is described and examples are presented. The techniques can provide detailed information about group structure. Under suitable circumstances a finitely presented group can be shown to be soluble and its complete derived series can be determined, using what is in effect a soluble quotient algorithm.

Group Theory
Conjugacy in finite classical groups

Giovanni De Franceschi,Martin W. Liebeck,E.A. O'Brien

2024-01-15

Abstract:Let $G$ be a classical group defined over a finite field. We consider the following fundamental problems concerning conjugacy in $G$:

Group Theory
Quotients Of Admissible Formal Schemes and Adic Spaces by Finite Groups

Bogdan Zavyalov

DOI: https://doi.org/10.2140/ant.2024.18.409

2023-06-07

Abstract:In this paper we give a self-contained treatment of finite group quotients of admissible (formal) schemes and adic spaces that are locally topologically finite type over a locally strongly noetherian adic space.

Algebraic Geometry
Some aspects of profinite group theory

Dan Segal

DOI: https://doi.org/10.48550/arXiv.math/0703885

2007-03-29

Abstract:A survey of recent results about profinite groups, and results about infinite and finite groups where the theory of profinite groups plays a leading role.

Group Theory
On Ulam widths of finitely presented infinite simple groups

James Hyde,Yash Lodha

2024-10-10

Abstract:A fundamental notion in group theory, which originates in an article of Ulam and von Neumann from $1947$ is uniform simplicity. A group $G$ is said to be $n$-uniformly simple for $n \in \mathbf{N}$ if for every $f,g\in G\setminus \{id\}$, there is a product of no more than $n$ conjugates of $g$ and $g^{-1}$ that equals $f$. Then $G$ is uniformly simple if it is $n$-uniformly simple for some $n \in \mathbf{N}$, and we refer to the smallest such $n$ as the Ulam width, denoted as $\mathcal{R}(G)$. If $G$ is simple but not uniformly simple, one declares $\mathcal{R}(G)=\infty$. In this article, we construct for each $n\in \mathbf{N}$, a finitely presented infinite simple group $G$ such that $n<\mathcal{R}(G)<\infty$. To our knowledge, these are the first such examples among the class of finitely presented infinite simple groups. Moreover, our examples are also of type $F_{\infty}$, which means that they are fundamental groups of aspherical CW complexes with finitely many cells in each dimension. Uniformly simple groups are in particular uniformly perfect: there is an $n\in \mathbf{N}$ such that every element of the group can be expressed as a product of at most $n$ commutators of elements in the group. We also show that the analogous notion of width for uniform perfection is also unbounded for our family of finitely presented infinite simple groups. Finally, since these notions of width are invariants of elementary equivalence, our construction also provides a natural infinite family of pairwise non-elementarily equivalent finitely presented infinite simple groups.

Group Theory
A new look at finitely generated metabelian groups

Gilbert Baumslag,Roman Mikhailov,Kent E. Orr

DOI: https://doi.org/10.48550/arXiv.1203.5431

2012-03-25

Abstract:A group is metabelian if its commutator subgroup is abelian. For finitely generated metabelian groups, classical commutative algebra, algebraic geometry and geometric group theory, especially the latter two subjects, can be brought to bear on their study. The object of this paper is to describe some of the new ideas and open problems that arise.

Group Theory,General Topology
Large Scale Geometries of Infinite Strings

Bakhadyr Khoussainov,Toru Takisaka

DOI: https://doi.org/10.1109/LICS.2017.8005078

2024-06-01

Abstract:We introduce geometric consideration into the theory of formal languages. We aim to shed light on our understanding of global patterns that occur on infinite strings. We utilise methods of geometric group theory. Our emphasis is on large scale geometries. Two infinite strings have the same large scale geometry if there are colour preserving bi-Lipschitz maps with distortions between the strings. Call these maps quasi-isometries. Introduction of large scale geometries poses several questions. The first question asks to study the partial order induced by quasi-isometries. This partial order compares large scale geometries; as such it presents an algebraic tool for classification of global patterns. We prove there is a greatest large scale geometry and infinitely many minimal large scale geometries. The second question is related to understanding the quasi-isometric maps on various classes of strings. The third question investigates the sets of large scale geometries of strings accepted by computational models, e.g. Büchi automata. We provide an algorithm that describes large scale geometries of strings accepted by Büchi automata. This links large scale geometries with automata theory. The fourth question studies the complexity of the quasi-isometry problem. We show the problem is $\Sigma_3^0$-complete thus providing a bridge with computability theory. Finally, the fifth question asks to build algebraic structures that are invariants of large scale geometries. We invoke asymptotic cones, a key concept in geometric group theory, defined via model-theoretic notion of ultra-product. Partly, we study asymptotic cones of algorithmically random strings thus connecting the topic with algorithmic randomness.

Logic in Computer Science,Formal Languages and Automata Theory
On the structure of just infinite profinite groups

Colin Reid

DOI: https://doi.org/10.1016/j.jalgebra.2010.07.034

2009-06-27

Abstract:A profinite group $G$ is just infinite if every closed normal subgroup of $G$ is of finite index. We prove that an infinite profinite group is just infinite if and only if, for every open subgroup $H$ of $G$, there are only finitely many open normal subgroups of $G$ not contained in $H$. This extends a result recently established by Barnea, Gavioli, Jaikin-Zapirain, Monti and Scoppola, who proved the same characterisation in the case of pro-$p$ groups. We also use this result to establish a number of features of the general structure of profinite groups with regard to the just infinite property.

Group Theory
Formations and i-Fitting classes of inverse semigroups, congruences and languages

Gracinda M. S. Gomes,Ana-Catarina C. Monteiro

DOI: https://doi.org/10.1007/s00233-024-10432-y

2024-05-18

Semigroup Forum

Abstract:This article starts by relating formations of inverse semigroups, of congruences on inverse semigroups and of congruences on free inverse semigroups. Then, i-formations of idempotent separating congruences and of languages are defined and their classes are proved to be in bijection, and in bijection with f-formations of inverse semigroups. In the second part, the concepts of i-Fitting class of inverse semigroups, of congruences and of languages are introduced. Bijections between s-fitting classes of inverse semigroups, i-fitting classes of congruences and i-fitting classes of languages are presented. Of special relevance are results on formations and Fitting classes induced by the inverse case on the group case.

mathematics
Coarse structures on locally compact abelian groups

Dmitri Shakhmatov,Takamitsu Yamauchi,Nicolò Zava

2024-08-15

Abstract:Motivated by the study of the large-scale geometry of topological groups, we investigate particular families of subsets of topological groups named group ideals. We compare different group ideals in the realm of locally compact groups. In particular, we show that a subset of a locally compact abelian group is relatively compact if and only if it is coarsely bounded. Using this result, we prove that an infinite-dimensional Banach space cannot be embedded into any product of locally compact groups.

Metric Geometry,Group Theory
Strongly indecomposable finite groups

Ivan Marin

DOI: https://doi.org/10.1016/j.exmath.2007.11.003

IF: 1.339

2008-08-01

Expositiones Mathematicae

Abstract:Motivated by examples in infinite group theory, we classify the finite groups whose subgroups can never be decomposed as direct products.

mathematics
Finitely Generated Nilpotent Groups of Infinite Cyclic Commutator Subgroups

Liao Jun,Liu He Guo,Xu Xing Zhong,Zhang Ji Ping

DOI: https://doi.org/10.1007/s10114-020-9132-8

2020-01-01

Acta Mathematica Sinica English Series

Abstract:The aim of this paper is to determine the structure and to establish the isomorphic invariant of the finitely generated nilpotent group G of infinite cyclic commutator subgroup. Using the structure and invariant of the group which is the central extension of a cyclic group by a free abelian group of finite rank of infinite cyclic center, we provide a decomposition of G as the product of a generalized extraspecial ℤ-group and its center. By using techniques of lifting isomorphisms of abelian groups and equivalent normal form of the generalized extraspecial ℤ-groups, we finally obtain the structure and invariants of the group G.
Finite Groups with Abelian Automorphism Groups: A Survey

Rahul Dattatraya Kitture,Manoj K. Yadav

DOI: https://doi.org/10.48550/arXiv.1708.00615

2017-08-02

Abstract:In this article we present an extensive survey on the developments in the theory of non-abelian finite groups with abelian automorphism groups, and pose some problems and further research directions.

Group Theory
Subgroups of the Group of Formal Power Series with the Big Powers Condition

A. Brudnyi

DOI: https://doi.org/10.48550/arXiv.1908.04918

2019-08-14

Abstract:We study the structure of discrete subgroups of the group $G[[r]]$ of complex formal power series under the operation of composition of series. In particular, we prove that every finitely generated fully residually free group is embeddable to $G[[r]]$.

Group Theory

Formal Languages and Infinite Groups

Groups with infinite linearly ordered products

Infinitude of Primes Using Formal Language Theory

Geometrically finite and infinite Kleinian Groups

On isomorphisms to a free group and beyond

Linear groups and computation

An Invitation to Coarse Groups

Applications of computational tools for finitely presented groups

Conjugacy in finite classical groups

Quotients Of Admissible Formal Schemes and Adic Spaces by Finite Groups

Some aspects of profinite group theory

On Ulam widths of finitely presented infinite simple groups

A new look at finitely generated metabelian groups

Large Scale Geometries of Infinite Strings

On the structure of just infinite profinite groups

Formations and i-Fitting classes of inverse semigroups, congruences and languages

Coarse structures on locally compact abelian groups

Strongly indecomposable finite groups

Finitely Generated Nilpotent Groups of Infinite Cyclic Commutator Subgroups

Finite Groups with Abelian Automorphism Groups: A Survey

Subgroups of the Group of Formal Power Series with the Big Powers Condition