Equations over groups, and groups with one defining relation
cyclically reduced wordequations over groupsfinitely generated subgroupfree groupsFreiheitssatzgroup ringslocally indicable groupsnormal closureone-relator productsSI-groupSN-groupsoluble subnormal systemsubnormal system with torsion-free abelian factorstorsion-free one-relator group
Group rings of infinite groups and their modules (group-theoretic aspects) (20C07) Free products of groups, free products with amalgamation, Higman-Neumann-Neumann extensions, and generalizations (20E06) Subgroup theorems; subgroup growth (20E07) Local properties of groups (20E25) Generators, relations, and presentations of groups (20F05)
This paper contains detailed proofs of important results in combinatorial group theory, at least some of which the author originally obtained as far back as 1979. The first result generalizes Magnus' Freiheitssatz: If A and B are locally indicable groups (i.e. with every nontrivial finitely generated subgroup having an infinite cyclic quotient) and w is any cyclically reduced word in A*B of length \(\geq 2\), then the normal closure of w in A*B intersects A and B trivially. The proof is purely algebraic, along the general lines of Magnus' proof. (A different proof was given independently by \textit{J. Howie} [J. Reine Angew. Math. 324, 165-174 (1981; Zbl 0447.20032)].) The author goes on to construct a nontrivial class \({\mathcal A}\) of locally indicable groups with the property that for each group \(A\in {\mathcal A}\) and each equation over A, there is a group K in \({\mathcal A}\), containing A as a subgroup, in which the equation has a solution. (From this one readily deduces in particular an affirmative answer to the question of Bokut' as to whether there exists a nontrivial group over which every equation has a solution (in the group).) The class \({\mathcal A}\) is quite wide, containing in particular all free groups, and closed under the formation of one-relator products \(A_ wB\) (the quotient of A*B by the normal closure of w) where A,B\(\in {\mathcal A}\), and w is as above with the additional property that it is not a proper power. It follows that every torsion-free one-relator group is locally indicable (whence in particular appropriate group rings of such groups have no zero-divisors). It is also shown that a group is locally indicable precisely if it contains a subnormal system with torsion-free abelian factors, so that torsion-free one-relator groups have this structure. An example of a one-relator group with a soluble subnormal system (i.e. an SN-group), but without a soluble normal system (i.e. not an SI-group), is given. Several other results of interest are proved.
- A Note on Group Rings of Certain Torsion-Free Groups
- Adjunction of Elements To Groups
- Attainability of systems of identities on semigroups
- scientific article; zbMATH DE number 3496231 (Why is no real title available?)
- scientific article; zbMATH DE number 3563392 (Why is no real title available?)
- On the Semisimplicity of Group Algebras, II
- On varieties of groups and their associated near-rings
- Solutions of equations over groups
- The Subgroups of a Free Product of Two Groups with an Amalgamated Subgroup
- The Units of Group-Rings
- On equations over groups
- Systems of equations over locally \(p\)-indicable groups
- The universal torsion-free image of a group
- Local indicability and relative presentations of groups
- Metabelian groups with a single defining relation and the Magnus embedding
- A Magnus extension for locally indicable groups
- Free division rings of fractions of crossed products of groups with Conradian left-orders
- Two-generator one-relator groups and marked polytopes
- Directed diagrammatic reducibility
- The strong Atiyah and Lück approximation conjectures for one-relator groups
- Locally indicable groups of finite Mal'tsev rank.
- Non-orientable surface-plus-one-relation groups.
- Magnus intersections in one-relator products.
- The genus problem for one-relator products of locally indicable groups
- TOPOLOGICAL SOLVABILITY OF EQUATIONS OVER GROUPS
- One-relator quotients of graph products.
- Galois groups for one class of equations
- On groups with finitely many Conradian orderings
- ON THE LOCAL-INDICABILITY COHEN–LYNDON THEOREM
- The structure of one-relator relative presentations and their centres.
- On the probability of satisfying a word in a group
- Conjugacy in lattice-ordered groups and right ordered groups
- Locally Graded Quotients of Locally Graded Groups
- One-relator products of torsion-free groups
- Relative hyperbolicity and similar properties of one-generator one-relator relative presentations with powered unimodular relator.
- scientific article; zbMATH DE number 1221769 (Why is no real title available?)
- ON EQUATIONS OVER GROUPS
- Zero divisors and units with small supports in group algebras of torsion-free groups
- On singular equations over torsion-free groups
- Pseudo-Sylvester domains and skew Laurent polynomials over firs
- Generalizations of the Burns-Hale theorem
- ON SOLVABILITY OF REGULAR EQUATIONS IN THE VARIETY OF METABELIAN GROUPS
- A remarkable family of left-ordered groups: central extensions of Hecke groups
- Coherence and one-relator products of locally indicable groups
- Equations over solvable groups
- On the dynamics of (left) orderable groups.
- Yet another Freiheitssatz: Mating finite groups with locally indicable ones
- Borel structures on the space of left‐orderings
- Good stackings, bislim structures and invariant staggerings
- Word measures on \(\mathrm{GL}_N(q)\) and free group algebras
- Hopfian wreath products and the stable finiteness conjecture
- Non-abelian tensor product and circular orderability of groups
- Residually rationally solvable one-relator groups
- Infinite systems of equations in abelian and nilpotent groups
- The Kervaire conjecture and the minimal complexity of surfaces
- On the coherence of one-relator groups and their group algebras
- Groups with identities
- \(L^2\)-Betti numbers of one-relator groups.
This page was built for publication: Equations over groups, and groups with one defining relation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1067002)
