G is generated by five elements: x1, x2, x3, x4 and y, subject to the relations
x1^3 = x2^3 = x3^3 = x4^3 = 1
y^12 = 1
(yx1^2)^4 = (yx2^2)^4 = (yx3^2)^4 = (yx4^2)^4 = 1
I'm interested because this group has distinct musical connotations.
Why do you think these elements make a group?
I think I've proved they don't, but I'll just check a few things:
(i) These are the only members in the group?
(ii) By group, you mean closure, inverses, identity and associativity?
and say (wnlog)
which contradicts the closure rule.
You cannot teach a man anything; you can only help him find it within himself..........Galileo Galilei