16

Is there some natural or notable way to relate or link math groups and CS formal languages or some other core CS concept e.g. Turing machines?

I am looking for references/applications. However note that I am aware of the link between semigroups and CS languages (namely via finite automata). (Does this literature on semiautomata ever look at "group-automata"?)

I have seen one paper many years ago that might come close, that converts TM transition tables into a binary operation, possibly sometimes a group in some cases, conceivably based on some kind of symmetry in the TM state table. It didn't explore that in particular, but also didn't rule it out.

Also, in particular, regarding the large body of math research on classification of finite groups, does or could it have any meaning or interpretation in TCS? What is the "algorithmic lens" view of this massive edifice of mathematical research? What is it "saying" about a possible hidden structure in computation?

This question is partly inspired by some other notes e.g.:

Community
  • 1
vzn
  • 11,162
  • 1
  • 28
  • 52

4 Answers4

14

Let me first answer your subquestion: Does the literature on semiautomata ever look at "group-automata"?. The answer is yes. In his book (Automata, languages, and machines. Vol. B, Academic Press), S. Eilenberg gave a characterization of the regular languages recognized by finite commutative groups and $p$-groups. Similar results are known for finite nilpotent groups, soluble groups and supersoluble groups.

Finite groups also play an important role in the problem of finding a complete set of identities for regular expressions. An infinite complete set was proposed by John Conway and this conjecture was ultimately proved by D. Krob. There is a finite number of "basic" identities, plus an identity for each finite simple group. See my answer to this question for references.

In the opposite direction, finite automata theory lead to an elementary proof of basic results on combinatorial group theory, like the Schreier formula. Based on Stallings's seminal paper Topology of Finite Graphs.

Also in the opposite direction, automatic groups are defined in terms of finite automata.

Profinite groups also play an important role in automata theory. An example is the characterization of the regular languages recognized by transition-reversible automata with possibly several initial and final states.

For a very nice connection between context-free languages, groups and logic, see the article by David E. Muller and Paul E. Schupp, Context-free languages, groups, the theory of ends, second-order logic, tiling problems, cellular automata, and vector addition systems.

Martin
  • 119
  • 4
J.-E. Pin
  • 6,219
  • 21
  • 39
12

Barrington's famous theorem reduces computation in NC$^1$ to computing iterated products in the group $S_5$ (or $A_5$, or indeed any non-solvable group). There is also a connection to leakage-resistant computation, in Shielding Circuits with Groups by Miles and Viola (2012).

Regarding the classification of the finite simple groups, as far as I remember it is implicitly used in some algorithms for group isomorphism, a problem related to graph isomorphism.

Raphael
  • 73,212
  • 30
  • 182
  • 400
Yuval Filmus
  • 280,205
  • 27
  • 317
  • 514
11

A famous area of study in the theory of group presentations is the word problem for groups. A group presentation is given by a bunch of generators $g_1, ..., g_m$ and a bunch of equations $a_1 = b_1, ..., a_n = b_n$ that the generated group needs to satisfy. Now given two words $x, y \in \{g_1, ..., g_m\}^*$, i.e. two strings over the alphabet $\{g_1, ..., g_m\}$, it makes sense to ask if $x = y$ holds in the generated group. This is the word problem. Can we decide the word problem mechanically? This was a long-standing open problem, solved negatively in 1955: there is a finitely generated (in fact, a finitely presented) group G such that the word problem for G is undecidable. However, for many classes of groups the word problem is decidable, e.g. finite groups and braid groups.

There are many deep results giving conditions for classes of groups having solvable word problems. It is also interesting to study the complexity of deciding word problems (for classes of groups that have a decidable word problem), see e.g. here.

Martin Berger
  • 8,358
  • 28
  • 47
-1

With Google, I found the paper Relatively free profinite monoids: an introduction and ex- amples, in Semigroups, Formal Languages and Groups by Jorge Almeida (English translation in Journal of Mathematical Sciences, 144(2):3881–3903, 2007) on this subject.

xuan-gottfried Yang
  • 1
  • 1