7
$\begingroup$

Sorry about asking so many questions, but I am a bit further on in my classification, and I am up to the group $G := \langle a, b \ | \ a^2, b^3, (ab)^7, [a,b]^{10}, ([a,b]^4b)^7 \rangle$. It has no small quotients (up to 500000), and I suspect that it is simple. Is there a way to check for simplicity in infinite groups?


UPDATE (edit by YC)

The original question about the group $G$ has been answered below. Now I am up to the two groups $H := \langle a, b \ | \ a^2, b^3, (ab)^7, [a,b]^{10}, ([a,b]^4b)^8 \rangle$ and $I := \langle a, b \ | \ a^2, b^3, (ab)^7, [a,b]^{10}, ([a,b]^4b)^9 \rangle$. I need to know if they are trivial, finite (the order would be good), or infinite.

$\endgroup$
28
  • 3
    $\begingroup$ Is the group infinite? $\endgroup$
    – user6976
    Aug 22, 2013 at 4:54
  • 5
    $\begingroup$ I would not trust a calculator, especially if you do not really understand what it says. $\endgroup$
    – user6976
    Aug 22, 2013 at 5:01
  • 13
    $\begingroup$ Answer "0" may mean "infinite", or it may mean "stop asking these questions, go read a group theory book, and here is $\sin(\pi)$." $\endgroup$
    – user6976
    Aug 22, 2013 at 5:34
  • 3
    $\begingroup$ You should not have deleted the definition of the group $G$, because that has made the two answers to your original question incomprehensible. $\endgroup$
    – Derek Holt
    Aug 29, 2013 at 19:38
  • 4
    $\begingroup$ Thomas, why exactly are you crunching through all these two-generator groups? As HJRW has pointed out here mathoverflow.net/questions/139991/… you seem to be on an open-ended mission and it is not clear what the goal is $\endgroup$
    – Yemon Choi
    Aug 29, 2013 at 20:09

2 Answers 2

18
+100
$\begingroup$

In fact your group is trivial. Here are two different computations with Magma, the first using coset enumeration over the subgroup $\langle ab \rangle$, and the second using the Knuth-Bendix completion algorithm.

 > G<a,b>:=Group<a,b|a^2,b^3,(a*b)^7,(a,b)^10, ((a,b)^4*b)^7 >;
 > H:=sub<G|a*b>;
 > time Index(G,H:CosetLimit:=100000000,Hard:=true); 
 1
 Time: 27.730

 > time  R := RWSGroup(G:MaxRelations:=100000, TidyInt:=1000);
 Time: 90.350
 > Order(R);
 1
$\endgroup$
9
  • 3
    $\begingroup$ Being trivial is a good reason for not having many quotients. $\endgroup$ Aug 24, 2013 at 16:55
  • $\begingroup$ Wait, so why did magma return 0 as the order when I asked for it? $\endgroup$
    – Thomas
    Aug 26, 2013 at 1:25
  • $\begingroup$ Will this program work on the online calculator? Also, what about the other groups I mentioned? $\endgroup$
    – Thomas
    Aug 26, 2013 at 1:46
  • 2
    $\begingroup$ The answer 0 just means that the program did not complete. That can cause some confusion, but no group can have order 0, so it cannot be interpreted as a valid answer. I think it needs too much memory for the Magma calculator. I've made no progress with your other two groups, so they could be trivial too or they could be infinite. They don't appear to have any reasonably sized finite simple quotients, so I have no ideas about how they might be proved infinite. $\endgroup$
    – Derek Holt
    Aug 26, 2013 at 8:16
  • 1
    $\begingroup$ The paper: G. Havas and D.F. Holt. On Coxeter's families of group presentations. Journal of Algebra 324 (2010), 1076--1082, which you can find at homepages.warwick.ac.uk/~mareg/download/papers/coxpres/… might be useful as a starting point, and for further references. $\endgroup$
    – Derek Holt
    Aug 29, 2013 at 13:52
4
$\begingroup$

I think Mark Sapir's cautionary joke that magma is just returning a value of $sin(\pi)$ is actually surprisingly accurate. The "Order" function on a finitely presented group, denoted by magma as GrpFP, Magma returns positive integer if the group is computed to be finite, "Infinity" if the group is known to be infinite (e.g. a map to $\mathbb{Z}$ exists), and "0" when its certificates of infinite order cannot be established, coset enumeration exhausts memory, and magma can't determine the order of the group.

http://magma.maths.usyd.edu.au/magma/handbook/text/773#8529

EDIT: The OP uses $[a,b]=a\cdot b^{-1} \cdot a^{-1} \cdot b$, my explanation below is $[a,b]=a\cdot b \cdot a^{-1} \cdot b^{-1}$. The computation of Order with the OP's definition returns a 0, as noted in the comments below.

Having said all that, the magma computation I ran gave a different answer for $G$. Magma is saying $G$ is trivial. I used a machine at the University of Texas, which might have more available memory for coset enumeration than the online magma calculator.

$ > G<a,b>:=Group<a,b|a^\wedge 2,b^\wedge 3,(a*b)^\wedge 7,(a*b*a^\wedge -1*b^\wedge -1)^\wedge 10,((a*b*a^\wedge -1*b^\wedge -1)^\wedge 4*b)^\wedge 7\ >;\\ > Order(G);\\ 1\\ $

However, the orders of $H$ and $I$ don't seem to be computable with the available memory, so they might be infinite and they might not be.

$\endgroup$
7
  • $\begingroup$ [a,b]=ab^-1ab, not abab^-1, I'm not sure, but it may make a difference. $\endgroup$
    – Thomas
    Aug 22, 2013 at 11:44
  • $\begingroup$ I checked on magma, and the presentation you used does result in the trivial group, so they are different. $\endgroup$
    – Thomas
    Aug 22, 2013 at 12:41
  • $\begingroup$ I also checked what you said earlier, and you're right, magma should show infinity, but it shows zero because it couldn't figure it out. Is there a way to check whether it is infinite? Also, are there any other groups theory calculators that you recommend? $\endgroup$
    – Thomas
    Aug 22, 2013 at 14:25
  • $\begingroup$ I think you may be able to check that the group normally generated by $[a,b]^{10}, ([a,b]^4 b)^n$ for $n\geq 7$ is infinite index in $\langle a, b| a^2,b^3,c^7\rangle$, which is an index 2 subgroup of a hyperbolic triangle group. $\endgroup$ Aug 22, 2013 at 14:51
  • $\begingroup$ That it is what? Infinite? Simple? Also, how will I be able to check? Some group theory program? By hand? $\endgroup$
    – Thomas
    Aug 22, 2013 at 14:54

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.