Powers of maps on finite sets - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T20:19:53Z http://mathoverflow.net/feeds/question/66478 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/66478/powers-of-maps-on-finite-sets Powers of maps on finite sets Steven Spallone 2011-05-30T18:28:25Z 2011-06-11T01:33:01Z <p>Let $X_n$ be a set with $n$ elements. Write $F(X_n,X_n)$ for the set of maps from $X_n$ to itself. It is a monoid under the operation of composition. Let $m$ be a positive integer. How many maps in $F(X_n,X_n)$ are $m$th powers of other maps? In other words, how big is the image of the function which takes each map to its $m$th power? I am curious if there is a nice formula.</p> <p>Note: This is entry A102709 at the Encyclopedia of Integer Sequences. However they don't seem to have a general formula.</p> <p>Thanks!</p> http://mathoverflow.net/questions/66478/powers-of-maps-on-finite-sets/67475#67475 Answer by Gerhard Paseman for Powers of maps on finite sets Gerhard Paseman 2011-06-10T23:18:03Z 2011-06-11T01:33:01Z <p>Here is a start on an answer. I do not expect a nice closed-form answer.</p> <p>The number of idempotent maps in the monoid of $n^n$ maps when $n > 0$ is easily seen to be $\sum_{k=0}^{n} \binom{n}{k} k^{n-k}$, which asymptotically is a small fraction of all the maps, but every such map is an $k$th power for all $k > 0$.</p> <p>Since for every map in $n^n$ there is a $k$th power of that map which is idempotent, one has that the sequence ${a_k}$ where $a_k$ is the number of $k$th powers of the monoid is eventually periodic, with $a_k$ ranging from the number of idempotents to a number at most $n^n$. The formula for $a_k$ will likely depend on the divisors of $k$, after you take the idempotents into consideration. If you wanted to do a literature search, I suggest Frobenius as a starting point. Perhaps others will suggest better search terms.</p> <p>There may be enumeration problems (perhaps in Richard Stanley's book(s) Enumerative Combinatorics) which will answer the questions specifically for you. To try it yourself, consider answering the more specific question for arbitrary $n$ but $k$ limited to, say, 5. Also, finding the period mentioned above should be routine.</p> <p>Gerhard "Ask Me About System Design" Paseman, 2011.06.10</p>