Related papers: Three articles on one-relator groups by Wilhelm Ma…
We prove a Freiheitssatz for one-relator products of torsion-free groups, where the relator has syllable length at most 8. This result has applications to equations over torsion-free groups: in particular a singular equation of syllable…
In this paper we establish necessary condition for the Freiheitsatz of Magnus can be extended to free pro-${\it p}$-groups
We prove the following results: (1) There is a one-relator inverse monoid $\mathrm{Inv}\langle A\:|\:w=1 \rangle$ with undecidable word problem; and (2) There are one-relator groups with undecidable submonoid membership problem. The first…
We investigate systems of equations and the first-order theory of one-relator monoids. We describe a family $\mathcal{F}$ of one-relator monoids of the form $\langle A\mid w=1\rangle$ where for each monoid $M$ in $\mathcal{F}$, the…
A class of one-relator groups such that every group in the class is determined by a triple of integers and is an HNN-extension of some Baumslag -- Solitar group is considered. A criterion for two groups in this class to be isomorphic and…
An English (2024) translation by P. Marquet of 3 German papers about "Die Quantenhypothese f\"ur Molekeln mit mehreren Freiheitsgraden (The quantum hypothesis for molecules with multiple degrees of freedom)" and "Bemerkung \"uber die…
The Burger-Sarnak method shows that the restriction of an automorphic representation of a reductive group to a reductive subgroup has automorphic support. Clozel has conjectured a qualitative refinement of this result, which were first…
We prove the Freiheitssatz for right-symmetric algebras and the decidability of the word problem for right-symmetric algebras with a single defining relation. We also prove that two generated subalgebras of free right-symmetric algebras are…
In the theory of one-relator groups, Magnus subgroups, which are free subgroups obtained by omitting a generator that occurs in the given relator, play an essential structural role. In a previous article, the author proved that if two…
This is a survey of two papers joint with A. Borisov and a paper joint with I. Spakulova. It is based on my lectures at the conference "Groups St. Andrews 2009", Bath (August 2009). We prove that almost all 1-related groups with at least 3…
The object of this paper is to describe a simple method for proving that certain groups are residually torsion-free nilpotent, to describe some new parafree groups and to raise some new problems in honour of the memory of Wilhelm Magnus.
We prove a freeness theorem for low-rank subgroups of one-relator groups. Let $F$ be a free group, and let $w\in F$ be a non-primitive element. The primitivity rank of $w$, $\pi(w)$, is the smallest rank of a subgroup of $F$ containing $w$…
We show that any one-relator group $G=F/\langle\langle w\rangle\rangle$ with torsion is coherent -- i.e., that every finitely generated subgroup of $G$ is finitely presented -- answering a 1974 question of Baumslag in this case.
We use language theory to study the rational subset problem for groups and monoids. We show that the decidability of this problem is preserved under graph of groups constructions with finite edge groups. In particular, it passes through…
\noindent 1. Generalities\hfil\break 2. Lie groups and Lie algebras\hfil\break 3. The unitary groups\hfil\break 4. Representations of the SU(n) groups (and of their algebras)\hfil\break 5. The tensor method for unitary groups, and\hb the…
Motivated by its applications to the word problem for one-relator inverse monoids, via results of Ivanov, Margolis, and Meakin (2001), we prove several decidability and undecidability results about the submonoid membership problem in…
A Magnus subgroup of a one-relator group is the free subgroup freely generated by a proper subset of the generators. Two such subgroups can intersect in the obvious way or in a larger, exceptional way. The condition of non-exceptional…
A group $G$ possesses the Magnus property if for every two elements $u$, $v \in G$ with the same normal closure, $u$ is conjugate to $v$ or $v^{-1}$. O. Bogopolski and J. Howie proved independently that the fundamental groups of all closed…
We prove that Whitehead's algorithm for solving the automorphism problem in a fixed free group $F_k$ has strongly linear time generic-case complexity. This is done by showing that the ``hard'' part of the algorithm terminates in linear time…
We study subsets of groups and monoids defined by language-theoretic means, generalizing the classical approach to the word problem. We expand on results by Herbst from 1991 to a more general setting, and for a class of languages…