Access

You are not currently logged in.

Access your personal account or get JSTOR access through your library or other institution:

login

Log in to your personal account or through your institution.

If you need an accessible version of this item please contact JSTOR User Support

Subgroups of Finitely Presented Groups

G. Higman
Proceedings of the Royal Society of London. Series A, Mathematical and Physical Sciences
Vol. 262, No. 1311 (Aug. 8, 1961), pp. 455-475
Published by: Royal Society
Stable URL: http://www.jstor.org/stable/2414348
Page Count: 21
  • Get Access
  • Read Online (Free)
  • Cite this Item
If you need an accessible version of this item please contact JSTOR User Support
Subgroups of Finitely Presented Groups
Preview not available

Abstract

The main theorem of this paper states that a finitely generated group can be embedded in a finitely presented group if and only if it has a recursively enumerable set of defining relations. It follows that every countable Abelian group, and every countable locally finite group can be so embedded; and that there exists a finitely presented group which simultaneously embeds all finitely presented groups. Another corollary of the theorem is the known fact that there exist finitely presented groups with recursively insoluble word problem. A by-product of the proof is a genetic characterization of the recursively enumerable subsets of a suitable effectively enumerable set.

Page Thumbnails

  • Thumbnail: Page 
455
    455
  • Thumbnail: Page 
456
    456
  • Thumbnail: Page 
457
    457
  • Thumbnail: Page 
458
    458
  • Thumbnail: Page 
459
    459
  • Thumbnail: Page 
460
    460
  • Thumbnail: Page 
461
    461
  • Thumbnail: Page 
462
    462
  • Thumbnail: Page 
463
    463
  • Thumbnail: Page 
464
    464
  • Thumbnail: Page 
465
    465
  • Thumbnail: Page 
466
    466
  • Thumbnail: Page 
467
    467
  • Thumbnail: Page 
468
    468
  • Thumbnail: Page 
469
    469
  • Thumbnail: Page 
470
    470
  • Thumbnail: Page 
471
    471
  • Thumbnail: Page 
472
    472
  • Thumbnail: Page 
473
    473
  • Thumbnail: Page 
474
    474
  • Thumbnail: Page 
475
    475