Timeline for Deriving a relation in a group based on a presentation

9 events

when toggle format	what		by	license	comment
Sep 17, 2013 at 12:33	comment	added	tj_		I checked your computations - they look fine to me. But I wonder if there is some general idea or concept behind your proof (I haven't looked into the cited paper so far)? I'm asking because in the way it is presented the proof looks like "fallen from heaven" to me.
Sep 17, 2013 at 11:45	history	edited	Dan	CC BY-SA 3.0	deleted 2 characters in body
Sep 17, 2013 at 11:40	comment	added	Dan		Yeah, it's just an extension $E = Ext(C_{30},G)$, not the product, my fault. But the idea is correct, adding relations $u^{-30}=t, [u,x]=[u,y]=1$ doesn't affect relations between $x,y,t$.
Sep 17, 2013 at 10:41	comment	added	tj_		Why is $E=\langle G,u\rangle$ isomorphic to $G\times C_{30}$, i.e. what is the generator of $C_{30}$ ?
Sep 17, 2013 at 9:36	history	edited	Dan	CC BY-SA 3.0	edited body
Sep 17, 2013 at 1:57	history	edited	Dan	CC BY-SA 3.0	edited body
Sep 17, 2013 at 1:50	history	edited	Dan	CC BY-SA 3.0	added 134 characters in body
Sep 17, 2013 at 1:39	history	edited	Dan	CC BY-SA 3.0	added 12 characters in body
Sep 17, 2013 at 1:23	history	answered	Dan	CC BY-SA 3.0