# Infinite 2-generated simple group

I am looking for a concrete example of an infinite simple group with two generators. Ideally, one generator has order 2, the other 3, but if there is a nice example without this requirement, it will be appreciated. Schupp proved that every countable group embeds into such a group, but I would like to see a concrete easy example (where it is easy to show simplicity).

-

There was family of infinite finitely presented simple groups constructed by Graham Higman in

Higman, Graham Finitely presented infinite simple groups. Notes on Pure Mathematics, No. 8 (1974). Department of Pure Mathematics, Department of Mathematics, I.A.S. Australian National University, Canberra, 1974.

Unfortunately it does not seem to be particularly easy to get hold of that. They were later proved to be 2-generated in

Mason, David R. On the 2-generation of certain finitely presented infinite simple groups. J. London Math. Soc. (2) 16 (1977), no. 2, 229–231.

I remember attending some lectures by Higman in which he described his construction - they arise as groups of automorphisms of certain algebras, and I remember that it was possible for him to construct them and prove they were infinite and simple within two or three lectures. So their construction is orders of magnitude easier than that o Tarski Monsters!

-
Mason's article is very short but not self-contained (it requires Higman's article; lacking Higman's article, Mason's was unintelligible to me). ams.org/mathscinet-getitem?mr=466324 and dx.doi.org/10.1112/jlms/s2-16.2.229 –  Jack Schmidt Oct 29 '11 at 18:03

Try the Tarski Monster (googling on this name will give you a wealth of literature), being a finitely generated infinite simple group, and generated by every two non-commuting elements.

-
Thank you. However, even though it is easy to show that a Tarski $p$-group is simple and generated by two elements, it is not so easy to actually prove the existence. I would like to see an easy construction of 2-generated infinite simple group. –  Stefan Geschke Oct 28 '11 at 12:04
You can only (properly) embed a cyclic group of prime order into a Tarski monster... –  user1729 Dec 10 '12 at 10:27
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.8955448269844055, "perplexity": 408.67953969237146}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2015-11/segments/1424936462472.19/warc/CC-MAIN-20150226074102-00188-ip-10-28-5-156.ec2.internal.warc.gz"}