Could someone tell me what the cycle type of \sigma \in S_0 is.
I somehow think that (), i.e. the empty tuple is a good candidate.

Martin, perhaps you realise that I need this to compute an upper bound 
for the functorial composition.

Take n=0 in Definition 2.2.4 of BLL. What happens?
Let \sigma\in S_0. What is G[\sigma]? Ah, sure, it is a permutation in 
some S_m. First question: what is m?

Note that there is no restriction that G in the functorial composite 
F\square G must have \card(G[0])=0.

So assume \card(G[0])=c>0. Is then G[\sigma] \in S_c? Second question. 
Which of those c! many?

Ralf

-------------------------------------------------------------------------
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

Reply via email to