"Nicolas M. Thiery" <[EMAIL PROTECTED]> writes: > Furthermore, Compose(SetSpecies, Cycle) and Permutation are *not* the same > species: there of course is a bijection between the two, but this bijection > is not compatible with the group actions.
Are you sure? Could you give an example? Let b: S -> E o C take a permutation of U and produce the cycle decomposition of the permutation. If s is a relabeling, i.e., a permutation of U, b(s) should produce the corresponding relabeling on E o C [U]. I'd have thought that S and E o C are naturally isomorphic ? Martin ------------------------------------------------------------------------- Take Surveys. Earn Cash. Influence the Future of IT Join SourceForge.net's Techsay panel and you'll get the chance to share your opinions on IT & business topics through brief surveys-and earn cash http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV _______________________________________________ Aldor-combinat-devel mailing list Aldor-combinat-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/aldor-combinat-devel
