Interesting Esoterica

Word calculus in the fundamental group of the Menger curve

Article by Hanspeter Fischer and Andreas Zastrow
  • Published in 2013
  • Added on
The fundamental group of the Menger universal curve is uncountable and not free, although all of its finitely generated subgroups are free. It contains an isomorphic copy of the fundamental group of every one-dimensional separable metric space and an isomorphic copy of the fundamental group of every planar Peano continuum. We give an explicit and systematic combinatorial description of the fundamental group of the Menger universal curve and its generalized Cayley graph in terms of word sequences. The word calculus, which requires only two letters and their inverses, is based on Pasynkov's partial topological product representation and can be expressed in terms of a variation on the classical puzzle known as the Towers of Hanoi.

Links


BibTeX entry

@article{WordcalculusinthefundamentalgroupoftheMengercurve,
	title = {Word calculus in the fundamental group of the Menger curve},
	abstract = {The fundamental group of the Menger universal curve is uncountable and not
free, although all of its finitely generated subgroups are free. It contains an
isomorphic copy of the fundamental group of every one-dimensional separable
metric space and an isomorphic copy of the fundamental group of every planar
Peano continuum. We give an explicit and systematic combinatorial description
of the fundamental group of the Menger universal curve and its generalized
Cayley graph in terms of word sequences. The word calculus, which requires only
two letters and their inverses, is based on Pasynkov's partial topological
product representation and can be expressed in terms of a variation on the
classical puzzle known as the Towers of Hanoi.},
	url = {http://arxiv.org/abs/1310.7968v1 http://arxiv.org/pdf/1310.7968v1},
	year = 2013,
	author = {Hanspeter Fischer and Andreas Zastrow},
	comment = {},
	urldate = {2020-05-02},
	archivePrefix = {arXiv},
	eprint = {1310.7968},
	primaryClass = {math.GT},
	collections = {combinatorics,fun-maths-facts,games-to-play-with-friends,the-groups-group}
}