Definition talk:Cyclic Permutation

From ProofWiki
Jump to navigation Jump to search

While I'm thinking about it: it needs to be shown that the integer $k$ is well defined: if we swap the order that $i$ and $k$ appear in the definition ($\exists i \exists k$) it's a theorem (albeit a pretty trivial one) that $k$ is invariant under a change of choice of $i$. --Linus44 (talk) 22:03, 25 October 2012 (UTC)

I'll defer to you. This area of maths is not well developed, in part because of my limited source works which deal with it. --prime mover (talk) 22:09, 25 October 2012 (UTC)
It appears to be a rather unfortunate consequence of our rigour policy that most of the 6600 proofs currently up fall in the category "(pretty) trivial"; such is life... --Lord_Farin (talk) 08:26, 26 October 2012 (UTC)
Ultimately, a lot of profound truths are made up of a series of trivialities ... --prime mover (talk) 20:03, 26 October 2012 (UTC)