On Mar 1, 6:18 pm, Simon King <[email protected]> wrote: > Hi David! > > On 1 Mrz., 20:08, David Joyner <[email protected]> wrote: > > > On Mon, Mar 1, 2010 at 1:26 PM, Dana Ernst <[email protected]> wrote: > > > Is there a way to obtain a subgroup lattice for finite groups? I defined > > > a finite group G and did G.? <tab> but didn't see anything that would do > > > this. Any tips? > > > One way: > > > sage: G = SymmetricGroup(3) > > sage: GG = gap(G) > > sage: GG.LatticeSubgroups().ConjugacyClassesSubgroups() > > OK, that's using GAP's command. But the result is not a Poset in Sage. > > I'd be interested in having a method of finite groups that returns the > subgroup lattice as, say, a directed graph (oriented edges indicating > inclusion). Then, I have a certain construction that assigns labels to > the oriented edges, so that the equivalence class of the labeled > digraph (with respect to orientation and label preserving graph > isomorphisms) is a group theoretical invariant.
I'd be interested in this, as well. Is all of gap's functionality included in Sage? I just found an entry in the gap manual about obtaining graphical displays of subgroup lattices: http://www.gap-system.org/Manuals/pkg/xgap/htm/CHAP004.htm But I don't know how to implement this in Sage, or if it is even possible. Dana -- To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/sage-support URL: http://www.sagemath.org
