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 direct products, dihedral groups, etc. There are two gaps to fill though. Trac #7151 adds the "quaternion group" (nonabelian, order 8). The remaining group is the semidirect product of Z_3 by Z_4 (one presentation is <s, t; s^6 = 1, s^3 = t^2, sts = t>).
The nonabelian group of order 4 is known in Sage as the "KleinFourGroup". My question: anybody know a succinct name for the above group of order 12? I've seen it listed a few places as "T" - does that have a history? 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-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
