[sage-devel] Re: Nonabelian group of order 12

2009-10-24 Thread David Joyner
I gave it a positive review. On Sun, Oct 18, 2009 at 10:18 PM, Rob Beezer wrote: > > There's an implementation of the dicyclic groups up now at > > http://trac.sagemath.org/sage_trac/ticket/7244 > > Rob > > > --~--~-~--~~~---~--~~ To post to this group, send an

[sage-devel] Re: Nonabelian group of order 12

2009-10-24 Thread David Joyner
On Wed, Oct 21, 2009 at 1:35 AM, Rob Beezer wrote: > > Hi David, > > Thanks for the comments.  The "Quaternion Group" Wikipedia page seems > to differ substantially with the "Dicyclic Group" page: > > http://en.wikipedia.org/wiki/Dicyclic_group > > which says: > > "More generally, when n is a pow

[sage-devel] Re: Nonabelian group of order 12

2009-10-20 Thread Rob Beezer
Hi David, Thanks for the comments. The "Quaternion Group" Wikipedia page seems to differ substantially with the "Dicyclic Group" page: http://en.wikipedia.org/wiki/Dicyclic_group which says: "More generally, when n is a power of 2, the dicyclic group is isomorphic to the generalized quaternio

[sage-devel] Re: Nonabelian group of order 12

2009-10-20 Thread David Joyner
On Mon, Oct 19, 2009 at 1:18 AM, Rob Beezer wrote: > > There's an implementation of the dicyclic groups up now at > > http://trac.sagemath.org/sage_trac/ticket/7244 This is the generalized quaternion group. http://en.wikipedia.org/wiki/Quaternion_group (The presentation is sligtly different but

[sage-devel] Re: Nonabelian group of order 12

2009-10-18 Thread Rob Beezer
There's an implementation of the dicyclic groups up now at http://trac.sagemath.org/sage_trac/ticket/7244 Rob --~--~-~--~~~---~--~~ To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel-uns

[sage-devel] Re: Nonabelian group of order 12

2009-10-18 Thread Rob Beezer
On Oct 17, 5:36 am, David Joyner wrote: > The story is this: I had a page, like Clark's but over a smaller range > and with a bit > less info about each group, derived form the Thomas+Wood book. Alright, that's much more complicated than my initial suspicion. ;-) It'd be great to have somethin

[sage-devel] Re: Nonabelian group of order 12

2009-10-17 Thread David Joyner
On Sat, Oct 17, 2009 at 11:53 AM, Jaap Spies wrote: > > David Joyner wrote: >> On Sat, Oct 17, 2009 at 12:20 AM, Rob Beezer wrote: >>> Thanks for the info, David.  I'd been looking at >>> >>> http://shell.cas.usf.edu/~eclark/algctlg/small_groups.html >>> >>> which appears quite similar. >> >> >>

[sage-devel] Re: Nonabelian group of order 12

2009-10-17 Thread Jaap Spies
David Joyner wrote: > On Sat, Oct 17, 2009 at 12:20 AM, Rob Beezer wrote: >> Thanks for the info, David. I'd been looking at >> >> http://shell.cas.usf.edu/~eclark/algctlg/small_groups.html >> >> which appears quite similar. > > > The story is this: I had a page, like Clark's but over a smalle

[sage-devel] Re: Nonabelian group of order 12

2009-10-17 Thread David Joyner
On Sat, Oct 17, 2009 at 12:20 AM, Rob Beezer wrote: > > Thanks for the info, David.  I'd been looking at > > http://shell.cas.usf.edu/~eclark/algctlg/small_groups.html > > which appears quite similar. The story is this: I had a page, like Clark's but over a smaller range and with a bit less inf

[sage-devel] Re: Nonabelian group of order 12

2009-10-16 Thread Rob Beezer
Thanks for the info, David. I'd been looking at http://shell.cas.usf.edu/~eclark/algctlg/small_groups.html which appears quite similar. I believe I've got a permutation representation of the dicyclic group of order 4m in the symmetric group on m+4 symbols. But the group must have an element o

[sage-devel] Re: Nonabelian group of order 12

2009-10-16 Thread David Joyner
On Fri, Oct 16, 2009 at 9:26 PM, Rob Beezer wrote: > > In introductory group theory, I like to be sure to expose the students > to every group of order 15 or less.  As permutation groups, most of > these are easily available in Sage via cyclic permutation groups, > perhaps along with the function

[sage-devel] Re: Nonabelian group of order 12

2009-10-16 Thread Rob Beezer
Thanks, John. Mathworld and a couple of other lists I like to consult didn't have this. And Conrad says the "quaternion group" is the dicyclic group of order 8, the smallest member of this infinite family of nonabelian groups of order 4m. Also known as "binary dihedral." So maybe I'll just impl

[sage-devel] Re: Nonabelian group of order 12

2009-10-16 Thread John H Palmieri
On Oct 16, 6:26 pm, Rob Beezer wrote: > In introductory group theory, I like to be sure to expose the students > to every group of order 15 or less.  As permutation groups, most of > these are easily available in Sage via cyclic permutation groups, > perhaps along with the function that builds di