An isolic generalization of Cauchy's theorem for finite groups

Abstract

In his note [5] Hausner states a simple combinatorial principle, namely: $$(H)\left\{ {\begin{array}{*{20}c} {if f is a function a non - empty finite set \sigma into itself, p a} \\ {prime, f^p = i_\sigma and \sigma _0 the set of fixed points of f, then } \\ {\left| \sigma \right| \equiv \left| {\sigma _0 } \right|(mod p).} \\\end{array}} \right.$$ . He then shows how this principle can be used to prove: Lete=(0,1, ...),ℱ 1−1 the family of all one-to-one functions from a subset ofe intoe andℳ 1−1 the family of all p.r. (i.e., partial recursive) one-to-one functions from a subset ofe intoe. A subsetα of e is finite, ifα is not equivalent to a proper subset under a function inℱ 1−1. The setα is calledisolated, if it is not equivalent to a proper subset under a function inℳ 1−1. An isolated set can also be defined as a subset ofe which has no infinite r.e. (i.e., recursively enumerable) subset. While every finite set is isolated, there are $$c = 2^{\aleph _0 }$$ infinite sets which are isolated; these sets are calledimmune. It is the purpose of this paper to generalize (H) to a principle (H*) for isolated sets and to show how (H*) can be used to prove generalizations of Fermat's little theorem and Cauchy's theorem for finite groups. We have been unable to generalize Lucas' theorem in a similar manner.