Definition talk:Dicyclic Group

From ProofWiki
Jump to navigation Jump to search

Not quite sure I follow this: if it's of order $2n$, how come it's got $y^2 = x^{\frac n 2}$ in it, how is $x^{\frac n 2}$ defined? --prime mover (talk) 21:36, 22 January 2009 (UTC)

Oh yeah and also, there's already a page for Definition:Quaternion Group which you may want to reference. --prime mover (talk) 21:39, 22 January 2009 (UTC)

You're right. I forgot to mention in the article that it is only defined for even n. Some texts will use $\langle x,y \mid x^{2n} = 1, x^n = y^2, y^{-1}xy = x^{-1}\rangle \ $ to make that clear. Zelmerszoetrop 22:17, 22 January 2009 (UTC)

O yes of course. I knew that, I just forgot. ;-) --prime mover (talk) 22:28, 22 January 2009 (UTC)