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
![$n!$](abs/img1.gif)
. Using this
tool, we re-prove Kummer's and Lucas' theorems in a unique concept, and
classify the congruences of the Catalan numbers
![$c_n$](abs/img2.gif)
(mod
![$64$](abs/img3.gif)
). To
achieve the second goal,
![$c_n$](abs/img2.gif)
(mod
![$8$](abs/img4.gif)
) and
![$c_n$](abs/img2.gif)
(mod
![$16$](abs/img5.gif)
) are also
classified. Through the approach of these three congruence problems, we
develop several general properties. For instance, a general formula
with powers of
![$2$](abs/img6.gif)
and
![$5$](abs/img7.gif)
can evaluate
![$c_n$](abs/img2.gif)
(mod
![$2^k$](abs/img8.gif)
) for any
![$k$](abs/img9.gif)
.
An equivalence
![$c_n\equiv_{2^k} c_{\bar{n}}$](abs/img10.gif)
is derived, where
![$\bar{n}$](abs/img11.gif)
is the number obtained by partially truncating some runs of
![$1$](abs/img12.gif)
and runs of
![$0$](abs/img13.gif)
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
![$c_n$](abs/img2.gif)
(mod
![$2^k$](abs/img8.gif)
) for
![$k\ge 2$](abs/img16.gif)
.