On 5 December 2016 at 12:31, Bill Page <[email protected]> wrote: > > The collection "subgroups of the symmetric group of S" do not form a > group, rather they ARE groups in-and-of themselves. To be a Group a > domain needs to export some multiplication operator * that acts on > members of the domain and an identity 1 for that operation. In this > case the members of the domain are groups they are not elements of > some group. >
Sorry, of course I did not intend to omit the need to export an inverse operator presumed to satisfy the usual requirements. -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
