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.
Children are not defined by school ...........The Fonz
You cannot teach a man anything; you can only help him find it within himself..........Galileo Galilei