Hi! On 2012-07-19, Dima Pasechnik <[email protected]> wrote: > let me nitpick first by saying that in group theory=20 > "presentation" means "presentation by generators and > relations" whereas you mean a (linear) "representation". > > In this way of thinking, the most compact way to represent Z_n is by > generators and relations, i.e. Z_n=3D<a| a^n=3D1>. > But of course this requires quite a bit of machinery to be useful. > Z_n can also be naturally represented as a permutation group, with=20 ><(1,2,...,n)> the most straightforward one.
To me, that sounds like we should use the "parents with multiple realisations" (recently introduced by Nicolas) as a base class for groups. In that way, we would have an abstract group, which would then be able to provide different realisations of itself (as permutation group, by different faithful linear representations, by a group presentation) and transitions between different realisations. Perhaps Nicolas can chime in... Best regards, Simon -- -- To post to this group, send an email to [email protected] To unsubscribe from this group, send an email to [email protected] For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
