7
$\begingroup$

Are there finitely presented infinite groups with a finite class number?

$\endgroup$
4
  • 1
    $\begingroup$ Do you mean number of conjugacy classes? $\endgroup$ Mar 28, 2012 at 21:12
  • 1
    $\begingroup$ This appears as a problem here: sci.ccny.cuny.edu/~shpil/gworld/problems/probFP.html (Assuming that the class number is the number of conjugacy classes) $\endgroup$ Mar 28, 2012 at 22:20
  • $\begingroup$ According to Mark Sapir's answer to Derek Holt's question in math.niu.edu/~rusin/known-math/95/finite.conj, for each large prime p there exists a 2-generated infinite group of exponent p which has exactly p conjugacy classes (that's Theorem 41.2 in Olshansky, "Geometry of defining relations in groups"). $\endgroup$
    – Ralph
    Mar 28, 2012 at 23:10
  • $\begingroup$ @Benjamin Steinberg: yes! The class number is the number of conjugacy classes of a group. $\endgroup$
    – Joerg Sixt
    Apr 2, 2012 at 10:48

1 Answer 1

1
$\begingroup$

Denis Osin proved that there was a finitely generated infinite group with exactly two (count'em) conjugacy classes, but I can't seem to find any statement as to the finiteness of the presentation. (see this paper by Ashot Minasian for references and more results).

$\endgroup$
3
  • 1
    $\begingroup$ @Igor: Osin's group is infinitely presented, which is also true for Ivanov's examples cited above. No finitely presented examples are known and there are no methods which can produce such examples even "theoretically". It is quite possible that there are no finitely presented examples at all. $\endgroup$
    – user6976
    Mar 29, 2012 at 0:33
  • $\begingroup$ @Mark: thanks! I think I first saw Denis' examples because such a group (if I remember correctly) would not have any finite-dimensional unitary representations, but I guess it is much easier to not have such representations than to have few conjugacy classes... $\endgroup$
    – Igor Rivin
    Mar 29, 2012 at 1:12
  • 3
    $\begingroup$ Finitely presented "monsters" are discussed on pages 3 and 4 here: arxiv.org/pdf/1103.3873.pdf $\endgroup$
    – user6976
    Mar 29, 2012 at 1:39

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.