Jean C.-C. Yeh
Department of Mathematics
Texas A & M University
College Station, TX 77843-3368
USA
In this paper, we develop a systematic tool to calculate the
congruences of some combinatorial numbers involving

. Using this
tool, we re-prove Kummer's and Lucas' theorems in a unique concept, and
classify the congruences of the Catalan numbers

(mod

). To
achieve the second goal,

(mod

) and

(mod

) are also
classified. Through the approach of these three congruence problems, we
develop several general properties. For instance, a general formula
with powers of

and

can evaluate

(mod

) for any

.
An equivalence

is derived, where

is the number obtained by partially truncating some runs of

and runs of

in the binary string
![$[n]_2$](abs/img14.gif)
. By this equivalence
relation, we show that not every number in
![$[0,2^k-1]$](abs/img15.gif)
turns out to be a
residue of

(mod

) for

.