Infiniteness of a certain group defined by a presentation
From MaRDI portal
It is known [see \textit{A.~C.~Kim} and \textit{A.~I.~Kostrikin}, Dokl. Akad. Nauk, Ross. Akad. Nauk 340, No.~2, 158-160 (1995; Zbl 0907.57001); Mat. Sb. 188, No.~2, 3-24 (1997; Zbl 0906.20021)] that the group \(G_1(1)\) has the presentation \[ G_1(1)=\langle a,b\mid b^{-1}a^{-1}ba^{-1}b^{-1}=a^2b^2a^2,\;a^{-1}b^{-1}ab^{-1}a^{-1}=b^2a^2b^2\rangle. \] The main result of the paper is the proof of the following assertion. The group \(G_1(1)\) is infinite. The proof is carried out by means of the Reidemeister-Schreier method.
Recommendations
Cited in
(9)- A system of defining relations for a Grigorchuk group
- On a 2-generated infinite 3-group: The presentation problem
- Proving a group infinite
- scientific article; zbMATH DE number 4091745 (Why is no real title available?)
- scientific article; zbMATH DE number 60009 (Why is no real title available?)
- A Cohomological Criterion for a Finitely Presented Group to be Infinite
- scientific article; zbMATH DE number 125570 (Why is no real title available?)
- Proving Another Group Infinite
- Infinite groups arising from partial presentations of finite groups
This page was built for publication: Infiniteness of a certain group defined by a presentation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1584106)
