\section{Introduction}\label{intro}

\hspace{0.4cm} Throughout this paper, let $R = \bigoplus_{n \in \Nn}
R_n$ be a Noetherian homogeneous ring with local base ring $(R_0,
\mathfrak{m}_0)$. So $R_0$ is a Noetherian ring and there are
finitely many elements $l_1, \dots, l_r \in R_1$ such that $R =
R_0[l_1, \dots, l_r]$. Let $R_+ := \bigoplus_{n \in \N} R_n$ denote
the irrelevant ideal of $R$ and let $\mathfrak{m} := \mathfrak{m}_0
\oplus R_+$ denote the graded maximal ideal of $R$. Finally let $M =
\bigoplus_{n \in \Z} M_n$ and $N = \bigoplus_{n \in \Z} N_n$ be
finitely generated graded $R$-modules.

\hspace{0.4cm} Herzog introduced a generalization of local
cohomology so called generalized local cohomology, denoted by
$H_{R_+}^i(M,N)$ which is isomorphic to
$\underset{\underset{n}{\rightarrow}}{\mbox{lim}}
{\rm{Ext}}_R^i(M/{{R_+}^n}M,N)$. We note that if $M=R$, then
$H_{R_+}^i(R,N)=H_{R_+}^i(N)$ is the usual local cohomology. As is
well known, the finiteness of the local cohomology modules have an
important role in commutative algebra and algebraic geometry. Many
of mathematicians work on finiteness of local cohomology. One of
approaches in finiteness is Artinianess. Authors, in [BFT],
[BRS], [RS] and [S] studied Artinianess of the graded modules
$\Gamma_{\frak m_0R}(H_{R_+}^i(N)$, $H_{R_+}^i(N)/{\frak
m_0}H_{R_+}^i(N)$ and $H_{\frak m_0R}^1(H_{R_+}^i(M))$. In the
recent paper we will study the Artinianess of Generalized graded
local cohomology. Here, we briefly mention some our results which
have been proved in this paper. Let $f$ be the least non-negative
integer such that the graded module $H_{R_+}^f(M,N)$ is not
finitely generated. We prove that $\Gamma_{\frak
m_0R}(H_{R_+}^i(M,N))$ is Artinian for each $i\leq f$. We also
prove that if $M$ is of finite projective dimension with ${\rm
pd}_RM=n$ and $c=c_{R_+}(N)$ is the largest non-negative integer
$i$ such that $H_{R_+}^i(N)\neq 0$, then
$H_{R_+}^{n+c}(M,N)/{\frak m_0}H_{R_+}^{n+c}(M,N)$ is Artinian.
In particular if $c_{R_+}(M,N)$ is the largest non-negative
integer $i$ such that $H_{R_+}^i(M,N)\neq 0$, then
$c_{R_+}(M,N)\leq {\rm pd}_RM+c_{R_+}(N)$. We prove a similar
result for invariant $a_{R_+}(N)$ which shows the largest
non-negative integer $i$ such that $H_{R_+}^i(N)$ is not
Artinain. Moreover, we show that if $H_{R_+}^i(M,N)$ is
$R_+$-cofinite, then $\Gamma_{\frak m_0R}(H_{R_+}^i(M,N))$ is
Artinian. Finally we study Artinianess of generalized local
cohomology when ${\rm dim}(R_0)\leq 1$. In this case, we prove
that $H_{R_+}^i(M,N)/{\frak m_0}H_{R_+}^i(M,N), \Gamma_{\frak
m_0R}(H_{R_+}^i(M,N)), H_{\frak m_0R}^1(H_{R_+}^i(M,N)),
H_{R_+}^j(M,H_{\frak m_0R}^1(N))$ and $H_{\frak
m_0R}^j(M,H_{R_+}^i(N))$ are Artinian for all $i, j\in
\mathbb{N}_0$.

\medskip
\section{The results}\label{result}
\medskip

\hspace{0.4cm}It should be noted that local flat morphism of local
Noetherian rings is faithfully flat. So, if $R'_0$ is flat over
$R_0$ and $\F{m_0}'=\F{m_0}R'_0$, then $R'_0$ is faithfully flat
over $R_0$. Moreover, it follows from [K, Theorem 1] that if
$(R'_0,\F{m_0}')$ is a faithfully flat local $R_0$-algebra, then $A$
is a graded Artinian $R$-module if and only if
$A':=R'_0\otimes_{R_0}A$ is a graded Artinian module over
$R':=R'_0\otimes_{R_0}R$. In view of this argument, we have the
following proposition.

\medskip

\begin{proposition}\label{2.1}
Let $f:=f_{R_+}(M,N)$ be the least non-negative integer such that
$H_{R_+}^f(M,N)$ is not finitely generated.  Then $\Gamma_{\frak
m_0R}(H_{R_+}^i(M,N))$ is Artinian for each $i\leq f$.
\end{proposition}
\begin{proof}
We prove the assertion by induction on $i$. If $i=0$, then
$\Gamma_{R_+}(M,N)$ is finitely generated; and hence
$\Gamma_{\frak m_0R}(\Gamma_{R_+}(M,N))$ is finitely generated.
Thus there exists some positive integer $n$ such that ${\frak
m}^n\Gamma_{\frak m_0R}(\Gamma_{R_+}(M,N))=0$ and so the result
follows in this case. Now, suppose inductively that the result
has been proved for all values smaller than or equal to $i$ with
$i<f$ and we prove it for $i+1$, where $i+1\leq f$. Consider the
exact sequence $0\To \Gamma_{R_+}(N)\To N\To N/\Gamma_{R_+}(N)\To
0.$ Application of the functor $H_{R_+}^i(M,-)$ to the above exact
sequence induces the following exact sequence\\
$ H_{R_+}^{i+1} (M,\Gamma_{R_+}(N))\To
H_{R_+}^{i+1}(M,N)\stackrel{\phi}\To
H_{R_+}^{i+1}(M,N/\Gamma_{R_+}(N))\To
H_{R_+}^{i+2}(M,\Gamma_{R_+}(N))\hspace{0.5cm} \ddag.$ Set
$K_1={\rm Ker}\phi$ and $K_2={\rm Coker}\phi$.  We note that for
each $i$, there is an isomorphism
$H_{R_+}^i(M,\Gamma_{R_+}(N))\cong {\rm
Ext}^i(M,\Gamma_{R_+}(N))$ and then this module is an
$R_+$-torsion finitely generated graded $R$-module. Therefore
$K_1$ and $K_2$ are $R_+$-torsion finitely generated graded
$R$-modules. Consider $\Gamma_{\frak m_0R}(K_1)$ and
$\Gamma_{\frak m_0R}(K_2)$. By the previous argument these
modules are finitely generated and $R_+$-torsion and then there
exists some positive integer number $n$ such that ${\frak
m}^n\Gamma_{\frak m_0R}(K_1)={\frak m}^n\Gamma_{\frak
m_0R}(K_2)=0$ and this implies that $\Gamma_{\frak m_0}(K_1)$ and
$\Gamma_{\frak m_0R}(K_2)$ are Artinian. Now, in view of the
sequence $\ddag$, we can conclude that $\Gamma_{\frak
m_0}(H_{R_+}^{i+1}(M,N))$ is Artinian if and only if
$\Gamma_{\frak m_0}(H_{R_+}^{i+1}(M,N/\Gamma_{R_+}(N))$ is
Artinian. So we may assume that $\Gamma_{R_+}(N)=0$. Let
$\mathbf{x}$ be an indeterminate and let
$R'_0:=R_0[\mathbf{x}]_{\F{m_0}R_0[\mathbf{x}]}$,
$\F{m_0}':=\F{m_0}R'_0, R'=R'_0\otimes_{R_0}R$,
$M':=R'_0\otimes_{R_0}M$, and $N':=R'_0\otimes_{R_0}N$. Then by
the flat base change property of local cohomology, for each $i$
we have $R'_0\otimes_{R_0}\Gamma_{\frak
m_0R}(H_{R_+}^{i+1}(M,N))\cong \Gamma_{\frak
m_0R'_0}(H_{(R'_0\otimes_{R_0}R)_+}^{i+1}(R'_0\otimes_{R_0}M,R'_0\otimes_{R_0}N))$
and using the above argument $\Gamma_{\frak
m_0}(H_{R_+}^{i+1}(M,N))$ is Artinian if and only if
$\Gamma_{\frak
m_0R'_0}(H_{(R'_0\otimes_{R_0}R)_+}^{i+1}(R'_0\otimes_{R_0}M,R'_0\otimes_{R_0}N))$
is Artinian. So we may assume that the residue field $k$ of $R_0$
is infinite. As $\Gamma_{R_+}(N)=0$, there exists an element
$x\in R_1$ which is a non-zerodivisor with respect to $N$ and so
there is an exact sequence $0\To N(-1)\stackrel{x.}\To N\To
N/xN\To 0$ of graded $R$-modules. Application of the functor
$H_{R_+}^i(M,-)$ to this exact sequence induces the exact sequence
$$\dots \stackrel{x.}\To H_{R_+}^i(M,N)\To H_{R_+}^{i}(M,N/xN)\To
H_{R_+}^{i+1}(M,N)(-1)\stackrel{x.}\To H_{R_+}^i(M,N).$$ If we
consider $U^i:=H_{R_+}^i(M,N)/xH_{R_+}^i(M,N)$, then we have the
exact sequence $0\To U^i\To H_{R_+}^i(M,N/xN)\To
(0:_{H_{R_+}^{i+1}(M,N)}x)(-1)\To 0.$ Applying the functor
$\Gamma_{\frak m_0R}(-)$ to this sequence, we get the following
exact sequence $$\Gamma_{\frak m_0R}(H_{R_+}^i(M,N/xN))\To
\Gamma_{\frak m_0R}(0:_{H_{R_+}^i(M,N)}x)(-1)\To H_{\frak
m_0}(U^i)\hspace{0.5 cm}\maltese.$$ We note that $U^i$ is finitely
generated and $R_+$-torsion and so $H_{\frak m_0R}^i(U^i)\cong
H_{\frak m}^i(U^i)$ is Artinian. On the other hand, one can easily
show that $f(M,N/xN)\geq f(M,N)-1$ and so $i+1\leq f(M,N)$ implies
that $i\leq f(M,N)-1\leq f(M,N/xN)$; and hence by induction
hypothesis $\Gamma_{\frak m_0R}(H_{R_+}^i(M,N/xN))$ is Artinian.
Therefore by the sequence $\maltese$, the module $\Gamma_{\frak
m_0}(0:_{H_{R_+}^i(M,N)(-1)}x)=(0:_{\Gamma_{\frak
m_0}(H_{R_+}^i(M,N))(-1)}x)$ is Artinian. Now, since $\Gamma_{\frak
m_0}(H_{R_+}^i(M,N))$ is $x$-torsion, using Melkersson's Lemma this
module is Artinain.
\end{proof}

\medskip

\begin{lemma}\label{2.3}
Let $0\To M_1\To M\To M_2\To 0$ be a short exact sequence of
finitely generated graded $R$-modules. Then for any $R$-module
$N$, there is the following long exact sequence
$$\dots\To H_{R_+}^{i-1}(M_1,N)\To H_{R_+}^i(M_2,N)\To
H_{R_+}^i(M,N)\To H_{R_+}^i(M_1,N)\To\dots.$$
\end{lemma}
\begin{proof}
Let $\mathcal{I}:= 0\To I^0\To I^1\To I^2\To \dots$ be an
injective resolution of $N$. We note that for any finitely
generated $R$-module $M$ and any $i$, there is an isomorphism
$H_{R_+}^i(M,N)=H^i({\rm Hom}_R(M,\Gamma_{R_+}(\mathcal{I})))$
and by the basic properties of section functor each
$\Gamma_{R_+}(I^i)$ in $\Gamma_{R_+}(\mathcal{I})$ is injective.
Thus there is an exact sequence of complexes $$0\To {\rm
Hom}_R(M_2,\Gamma_{R_+}(\mathcal{I}))\To {\rm
Hom}_R(M,\Gamma_{R_+}(\mathcal{I}))\To {\rm
Hom}_R(M_1,\Gamma_{R_+}(\mathcal{I}))\To 0.$$ Now, by using a
basic theorem in homology theory, there is the following long
exact sequence of $R$-modules $$\dots\To H^{i-1}({\rm
Hom}_R(M_1,\Gamma_{R_+}(\mathcal{I})))\To H^i({\rm
Hom}_R(M_2,\Gamma_{R_+}(\mathcal{I})))$$$$\To H^i({\rm
Hom}_R(M,\Gamma_{R_+}(\mathcal{I})))\To H^i({\rm
Hom}_R(M_1,\Gamma_{R_+}(\mathcal{I})))\To\dots$$ and this
completes the proof.
\end{proof}

\begin{theorem}\label{2.4}
Let $M$ be of finite projective dimension with pd$_R(M)=n$ and
$c:=c_{R_+}(N)$ be the largest positive integer $i$ such that
$H_{R_+}^i(N)$ is not zero. Then the following condition hold.\\
 (i) The graded module $H_{R_+}^{n+c}(M,N)/\frak
m_0H_{R_+}^{n+c}(M,N)$ is Artinian.\\
 (ii) If $c_{R_+}(M,N)$ is the
largest positive integer $i$ such that $H_{R_+}^i(M,N)$ is not
zero, then $c_{R_+}(M,N)\leq {\rm pd}_RM+c_{R_+}(N)=n+c$.
\end{theorem}
\begin{proof}
(i) We proceed by induction on pd$_R(M)=n$. If $n=0$, the the
result is clear by [RS, Theorem 2.1]. Now, suppose inductively
that the result has been proved for all values smaller that $n>0$
and so we prove this for $n$. Since pd$_R(M)=n$, there exists a
positive integer $t$ and an exact sequence of graded modules $0\To
K\To R^t\To M\To 0$ such that pd$_R(K)=n-1$. In view of Lemma
\ref{2.3}, if we apply the functor $H_{R_+}^{n+c}(-,N)$ to this
exact sequence, we have the following exact sequence
$$H_{R_+}^{n+c-1}(K,N)\To H_{R_+}^{n+c}(M,N)\To H_{R_+}^{n+c}(R^t,N).$$
 We note that $n+c>c=c_{R_+}(N)$ and so $H_{R_+}^{n+c}(N)=0$. Now,
 application of the functor $R_0/{\frak m_0}\otimes_R-$ to the
 above exact sequence induces the following epimorphisms
$$H_{R_+}^{n+c-1}(K,N)/{\frak m_0}H_{R_+}^{n+c-1}(K,N)\To
 H_{R_+}^{n+c}(M,N)/{\frak m_0}H_{R_+}^{n+c}(M,N)\To 0.$$
 By using induction hypothesis, the graded module $H_{R_+}^{n+c-1}(K,N)/
 {\frak m_0}H_{R_+}^{n+c-1}(K,N)$ is Artinian. Thus the result
 follows by the above epimorphism. (ii) In this part, similar to (i),
 we can apply an easy induction on pd$_RM=n$.
 \end{proof}

\medskip

\medskip

\begin{theorem}\label{2.10}
Let $M$ be of finite projective dimension and let $a_{R_+}(M,N)$
be the largest non-negative integer $i$ such that $H_{R_+}^i(M,N)$
is not Artinian.
 Then we have the following conditions.\\
(i) $a_{R_+}(M,N)\leq{\rm pd}_RM+a_{R_+}(N)$, where $a_{R_+}(N)$
is the largest non-negative integer $i$ such that $H_{R_+}^i(N)$
is not Artinian.\\
(ii) $H_{R_+}^{a+n}(M,N)/\frak m_0H_{R_+}^{a+n}(M,N)$ is Artinian,
where $a=a_{R_+}(N)$ and  pd$_RM=n$.
\end{theorem}
\begin{proof}
(i) Let pd$_RM=n$ and $a=a_{R_+}(N)$. We prove the assertion by
induction on pd$_RM=n$. If $n=0$, the result is clear. Suppose,
inductively that $n>0$ and the result has been proved for all
values smaller than $n$ and so we prove it for $n$. As pd$_RM=n$,
there exists a positive integer $t$ and an exact sequence $0\To
M_1\To R^t\To M\To 0$ of $R$-modules such that pd$_RM_1=n-1$. In
view of Lemma \ref{2.3}, if we apply the functor $H_{R_+}^i(-,N)$
to the above exact sequence, we get the following exact sequence
of $R$-modules $H_{R_+}^{i-1}(M_1,N)\To H_{R_+}^i(M,N)\To
H_{R_+}^i(N)^t.$ Now, consider $i>a+n$. We note that
$i-1>a+n-1={\rm pd}_RM_1+a_{R_+}(N)$ and $i>a+n>a$. Thus, using
induction hypothesis, $H_{R_+}^{i-1}(M_1,N)$ and $H_{R_+}^i(N)$
are Artinian. Now, in view of the above exact sequence the result
follows. (ii) To prove this part, we again proceed by induction
on pd$_RM=n$. If $n=0$, then the result follows by [S, Theorem
2.3]. Now, suppose, inductively that $n>0$ and the result has
been proved for all values smaller than $n$ and so we prove it
for $n$. By a similar proof which mentioned in (i), there exists
an exact sequence of $R$-modules
$H_{R_+}^{a+n-1}(M_1,N)\stackrel{\alpha}\To
H_{R_+}^{a+n}(M,N)\stackrel{\beta}\To H_{R_+}^{a+n}(N)^t.$
Consider $X={\rm Im}(\alpha)$ and $Y={\rm Im}(\beta)$.  Since
$a+n>a$, the module $Y/\frak m_0 Y$ is Artinian. On the other
hand, by using induction hypothesis, one can easily see that
$X/\frak m_0X$ is Artinian. Now, the result follows easily.

\end{proof}

\begin{lemma}\label{2.4}
Let $i\in\mathbb{N}_0$ and $H_{R_+}^i(M,N)$ is $R_+$-cofinite. Then
$\Gamma_{\frak m_0R}(H_{R_+}^i(M,N))$ is Artinian.
\end{lemma}
\begin{proof}
Since $H_{R_+}^i(M,N)$ is $R_+$-cofinite, ${\rm
Hom}_R(R/R_+,H_{R_+}^i(M,N))$ is finitely generated and
$R_+$-torsion. Thus $\Gamma_{\frak m_0R}({\rm
Hom}_R(R/R_+,H_{R_+}^i(M,N)))\cong\Gamma_{\frak
m_0R}((0:_{H_{R_+}^i(M,N)}R_+))=(0:_{\Gamma_{\frak
m_0}(H_{R_+}^i(M,N))}R_+)$ is finitely generated and $\frak
m$-torsion. It implies that the last term is Artinian. On the other
hand, since $\Gamma_{\frak m_0R}(H_{R_+}^i(M,N))$ is $R_+$-torsion,
it is Artinian.
\end{proof}
\medskip

\begin{proposition}\label{2.5}
Let $M$ be of finite projective dimension and let $R_+$ be a
principal graded ideal of $R$. Then $\Gamma_{\frak
m_0}(H_{R_+}^i(M,N))$ is Artinian for each $i$.
\end{proposition}
\begin{proof}
As $R_+$ is principal, using [DS, Theorem 2.8], $H_{R_+}^i(M,N)$ is
$R_+$-cofinite for each $i$. Now, the assertion follows by the
previous lemma.
\end{proof}

\medskip

\begin{lemma}\label{2.2}
Let $M$ and $N$ be finitely generated graded $R$-modules and $N$
be $\frak m_0$-torsion. Then $H_{R_+}^i(M,N)$ is Artinian for all
$i$.
\end{lemma}
\begin{proof}
Since $N$ is $\frak m_0$-torsion, there exists an injective
resolution $\mathcal{I}:= 0\To I^0\To I^1\To\dots$ such that each
$I^i$ is $\frak m_0$-torsion.  By the definition of generalized
local cohomology there are the
following isomorphisms\\
$H_{R_+}^i(M,N)\cong H^i(\Gamma_{R_+}(M,\mathcal{I}))\cong
H^i(\Gamma_{R_+}(M,\Gamma_{\frak m_0R}( \mathcal{I})))\cong
H^i({\rm Hom}(M,\Gamma_{\frak m}(\mathcal{I}))\cong H_{\frak
m}^i(M,N).$ By the basic properties of generalized local
cohomology, the last term is Artinian; and hence the result
follows.
\end{proof}

\medskip

\begin{proposition}\label{2.6}
Let ${\rm dim}(R_0)\leq 1$. Then for every $i\in\mathbb{N}_0$, the
module $H_{R_+}^i(M,N)/\\\frak m_0H_{R_+}^i(M,N)$ is Artinian
\end{proposition}
\begin{proof}
If ${\rm dim}(R_0)=0$, then $N$ is $\frak m_0$-torsion and so in
view of Lemma \ref{2.2}, the graded module $H_{R_+}^i(M,N)$ is
Artinian for each $i$. By using [BFT, Lemma 2.2 ] we can get the
assertion. Now, suppose that dim$(R_0)=1$ and consider the short
exact sequence $0\To \Gamma_{\frak m_0R}(N)\To N\To
N/\Gamma_{\frak m_0R}(N)\To 0$ of graded $R$-modules. Application
of the functor $H_{R_+}^i(M,-)$ to this exact sequence induces the
following exact sequence $H_{R_+}^{i}(M,\Gamma_{\frak m_0R}(N))\To
H_{R_+}^i(M,N)\To H_{R_+}^i(M,N/\Gamma_{\frak m_0R}(N))\To
H_{R_+}^{i+1}(M,\Gamma_{\frak m_0R}(N)).$ In view of Lemma
\ref{2.2} and using [BFT, Lemma 2.2], one can easily show that
for each $i$, the module $R_0/{\frak
m_0}\otimes_{R_0}H_{R_+}^i(M,N)$ is Artinian if and only if
$R_0/{\frak m_0}\otimes_{R_0}H_{R_+}^i(M,N/\Gamma_{\frak
m_0}(N))$ is Artinian. So we may assume that $\Gamma_{\frak
m_0R}(N)=0$. Now, this fact implies that there exists an element
$x\in\frak m_0$ which is a non-zerodivisor of $M$ and then there
exists a short exact sequence $0\To N\stackrel{x.}\To N\To
N/xN\To 0$ of graded $R$-modules. Application of the functor
$H_{R_+}^i(M,-)$ to the above exact sequence induces the
following exact sequence
$$H_{R_+}^i(M,N)\stackrel{x.}\To H_{R_+}^i(M,N)\To
H_{R_+}^i(M,N/xN)\To H_{R_+}^{i+1}(M,N).$$ Since $R_0$ is of
dimension one, $N/xN$ is $\frak m_0$-torsion and so Lemma
\ref{2.2} implies that $H_{R_+}^i(M,N/xN)$ is Artinian for each
$i$. Now, using [BFT, Lemma 2.2], $R_0/\frak
m_0\otimes_{R_0}H_{R_+}^i(M,N)/xH_{R_+}^i(M,N)$ is Artinian. On
the other hand, application of the functor $R_0/\frak
m_0\otimes_{R_0}-$ to the above long exact sequence implies the
following isomorphism $R_0/\frak
m_0\otimes_{R_0}H_{R_+}^i(M,N)\cong R_0/\frak
m_0\otimes_{R_0}H_{R_+}^i(M,N)/xH_{R_+}^i(M,N)$; and hence the
assertion follows.
\end{proof}

\medskip

\begin{proposition}\label{2.8}
Let dim$(R_0)\leq 1$. Then we have the following conditions.\\
(i) The graded $R$-module $\Gamma_{\frak m_0R}(H_{R_+}^i(M,N))$ is
Artinian for each $i\in\mathbb{N}_0$.\\
 (ii) The graded $R$-module $H_{\frak m_0R}^1(H_{R_+}^i(M,N))$ is
Artinian for each $i\in \mathbb{N}_0$.
\end{proposition}
\begin{proof}
If dim$(R_0)=0$, then $R_0$ is Artinian. In this case any finitely
generated $R$-module is Artinian, and then for each $i$, the
module $H_{R_+}^i(M,N)$ is Artinian. Thus $\Gamma_{\frak
m_0R}(H_{\frak m_0}^1(H_{R_+}^i(M,N)))$ is Artinian and $H_{\frak
m_0}^1(H_{R_+}^i(M,N))=0$ for each $i$ and so (i) and (ii) are
clear in this case. Now, assume that dim$(R_0)=1$. (i). By
applying the functor $H_{R_+}^i(M,-)$ to the exact sequence $0\To
\Gamma_{\frak m_0R}(N)\To N\To N/\Gamma_{\frak m_0R}(N)\To 0$,
and applying the functor $\Gamma_{\frak m_0R}(-)$ to the induced
exact functor, we can conclude that $\Gamma_{\frak
m_0R}(H_{R_+}^i(M,N))$ is Artinian if and only if $\Gamma_{\frak
m_0R}(H_{R_+}^i(M,N/\Gamma_{\frak m_0R}(N)))$ is Artinian and so
we may assume that $\Gamma_{\frak m_0R}(N)=0$. Now, let
$x\in\frak m_0$ be a non-zerodivisor of $N$. Then there is an
exact sequence $0\To N\stackrel{x.}\To N\To N/xN\To 0$ of graded
$R$-modules. Application of the functor $H_{R_+}^i(M,-)$ to this
sequence induces the following exact sequence
$$H_{R_+}^{i-1}(M,N/xN)\To H_{R_+}^i(M,N)\stackrel{x.}\To
H_{R_+}^i(M,N).$$ We note that $N/xN$ is $\frak m_0$-torsion and
so by Lemma \ref{2.2}, $H_{R_+}^{i-1}(M,N/xN)$ is Artinian and
then $(0:_{H_{R_+}^i(M,N)}x)$ is Artinian. This implies that
$\Gamma_{\frak m_0}((0:_{H_{R_+}^i(M,N)}x)=(0:_{\Gamma_{\frak
m_0R}(H_{R_+}^i(M,N))}x)$ is Artinian. Now, since $\Gamma_{\frak
m_0R}(H_{R_+}^i(M,N))$ is $x$-torsion, by using Melkesson's Lemma,
it is Artinian. (ii). We proceed the assertion by induction on
$i$. If $i=0$, then $H_{\frak m_0R}^1(\Gamma_{R_+}(M,N))=H_{\frak
m}^1(\Gamma_{R_+}(M,N)).$ We note that the last term is Artinian
because $\Gamma_{R_+}(M,N)$ is finitely generated. Suppose,
inductively that the result has been proved for all values smaller
than $i$ and so we prove it for $i$. Let $y\in\frak m_0$ be a
system of parameter of $\frak m_0$. As $M$ is finitely generated,
for some positive integer $t$ there exists a short exact sequence
$0\To K\To R^t\To M\To 0$ of $R$-modules. In view of Lemma
\ref{2.3}, if we apply the functor $H_{R_+}^i(-,N)$ to the above
exact sequence, we get the following exact sequence
$$H_{R_+}^{i-1}(K,N)\stackrel{\alpha}\To H_{R_+}^i(M,N)\To
H_{R_+}^i(R^t,N)\stackrel{\beta}\To H_{R_+}^i(K,N).$$ Consider
$A:={\rm Im}(\alpha)$, $B:={\rm Ker}(\beta)$ and $C:={\rm
Im}(\beta)$. Application of the functor $H_{yR}^i$ to the above
exact sequence gives the epimorphism
$H_{yR}^1(H_{R_+}^{i-1}(K,N))\twoheadrightarrow H_{yR}^1(A)$, the
monomorphism $\Gamma_{yR}(C)\rightarrowtail
\Gamma_{yR}(H_{R_+}^i(K,N))$, and the exact sequence
$\Gamma_{yR}(C)\To H_{yR}^1(B)\To
H_{yR}^1(H_{R_+}^i(R^t,N))\hspace{0.3cm} (\ddag).$ By using
induction hypotheses $H_{yR}^1(H_{R_+}^{i-1}(K,N))=H_{\frak m_0R
}^1(H_{R_+}^{i-1}(K,N))$ is Artinian and so is $H_{yR}^1(A)$. On
the other hand since, by (i), the module
$\Gamma_{yR}(H_{R_+}^i(K,N))$ is Artinain, the module
$\Gamma_{yR}(C)$ is Artinian. Using [BFT, Theorem 2.5], the
module $H_{yR}^1(H_{R_+}^i(R^t,N))$ is Artinian and then the
exact sequence $\ddag$ and the previous arguments imply that
$H_{yR}^1(B)$ is Artinian. Now, since both $H_{yR}^1(A)$ and
$H_{yR}^1(B)$ are Artinian, one can easily deduce that
$H_{yR}^1(H_{R_+}^i(M,N))=H_{\frak m_0R}^1(H_{R_+}^i(M,N))$ is
Artinian.
\end{proof}

\medskip

\begin{proposition}\label{2.9}
Let dim$(R_0)\leq 1$. Then $H_{R_+}^p(M,H_{\frak m_0R}^1(N))$ is
Artinian for each $p\in \mathbb{N}_0$.
\end{proposition}
\begin{proof}
If dim$(R_0)=0$, then $H_{\frak m_0R}^1(N)=0$ and so the result is
clear in this case. Now, assume that dim$(R_0)=1$. By the
Grothendieck spectral sequence (see [R, Theorem 11.38]), for each
$p,q\in\mathbb{N}_0$, there is
$$E_2^{p, q}:=H_{R_+}^p(M,H_{\frak m_0R}^q(N))\underset{p}\Longrightarrow H_{\frak
m}^{p+q}(M,N).$$ As dim$(R_0)=1$, we have $H_{\frak m_0R}^q(N)=0$
for all $q>1$ and then $E_2^{p, q}=0$ for all $q\neq 0,1$. Thus we
can apply the dual of [W, Ex. 5.2.2] to get the following exact
sequence $$E_2^{p+1, 0}\To H_{\frak m}^{p+1}(M,N)\To E_2^{p, 1}\To
E_2^{p+2,0}\To H_{\frak m}^{p+2}(M,N).$$ It is easy to see that
$H_{\frak m}^{p+1}(M,N)$ and
$E_2^{p+2,0}=H_{R_+}^{p+2}(M,\Gamma_{\frak m_0R}(N))=H_{\frak m
}^{p+2}(M,\Gamma_{\frak m_0R}(N))$ are Artinian. Thus the above
exact sequence implies that $E_2^{p,1}=H_{R_+}^p(M,H_{\frak
m_0R}^1(N))$ is Artinian.
\end{proof}

\medskip

\begin{proposition}\label{2.10}
Let dim$(R_0)\leq 1$. Then $H_{\frak m_0R}^j(M,H_{R_+}^i(N))$ is
Artinian for each $j,i\in \mathbb{N}_0$.
\end{proposition}
\begin{proof}
If dim$(R_0)=0$, then each finitely generated $R$-module is $\frak
m_0$-torsion. Thus $H_{R_+}^i(N)$ is Artinian and so is $\frak
m_0$-torsion. Then for each $j$, there is an isomorphism $H_{\frak
m_0R}^j(M,H_{R_+}^i(N))\cong {\rm Ext}_R^j(M,H_{R_+}^i(N))$. One
can easily show that the last module is Artinian. Now, assume that
dim$(R_0)=1$. We proceed by induction on $j$. If $j=0$, then we
have $H_{\frak m_0R}^0(M,H_{R_+}^i(N))={\rm Hom}_R(M,\Gamma_{\frak
m_0R}(H_{R_+}^i(N)))$. By using [BFT, Theorem 2.5], the module
$\Gamma_{\frak m_0R}(H_{R_+}^i(N))$ is Artinian and so one can
easily show that ${\rm Hom}_R(M,\Gamma_{\frak
m_0R}(H_{R_+}^i(N)))$ is Artinian. Now, we assume that $j>0$ and
the result has been proved for all values smaller than $j$ and we
prove it for $j$. Since $M$ is finitely generated, for some
positive integer $t$, there is an exact sequence $0\To K\To
R^t\To M\To 0$ of $R$-module. In view of Lemma \ref{2.3}, if we
apply the functor $H_{\frak m_0R}^j(-,H_{R_+}^i(N))$ to the above
exact sequence, we have the following exact sequence
$$H_{\frak m_0R}^{j-1}(K,H_{R_+}^i(N))\To H_{\frak
m_0R}^j(M,H_{R_+}^i(N))\To H_{\frak m_0R}^j(R^t,H_{R_+}^i(N)).$$
We note that by induction hypotheses, the module $H_{\frak
m_0R}^{j-1}(K,H_{R_+}^i(N))$ is Artinian and $H_{\frak
m_0R}^j(R^t,H_{R_+}^i(N))=0$ for all $j>1$ and also $H_{\frak
m_0R}^1(R^t,H_{R_+}^i(N))$ is Artinian by [BFT, Theorem 2.5]. Now,
in view of the above exact sequence, we get our assertion.
\end{proof}

\bibliographystyle{plain}


\section{introduction

Binomial coefficients constitute an important class of numbers that arise naturally in mathematics, namely as coefficients in the expansion of the polynomial $(x+y)^n$. Accordingly, they appear in various mathematical areas. An elementary property of binomial coefficients is that $\binom{n}{m}$ is divisible by a prime $p$ for all $1<m<n$ if and only if $n$ is a power of $p$. A much more technical result is due to Lucas, which asserts that
\[\binom{n}{m}\equiv\binom{n_0}{m_0}\binom{n_1}{m_1}\cdots\binom{n_k}{m_k}\pmod p,\]
in which $n=n_0+n_1p+\cdots+n_kp^k$ and $m=m_0+m_1p+\cdots+m_kp^k$  the $p$-adic expansions of the non-negative integers $n$ and $m$, respectively. We note that $0\leq m_i,n_i<p$, for all $i=0,\ldots,k$. In 1819, Babbage  \cite{Bab} revealed the following congruences for all odd prime $p$:
\[\binom{2p-1}{p-1}\equiv1\pmod{p^2}.\]
In 1862, \textit{ Wolstenholme} \cite{Wolstenholme} strengthened the identity of Babbage by showing that the same congruence holds modulo $p^3$ for all prime $p\geq5$. This identity was further generalized by Ljunggren in 1952 to $\binom{np}{mp}\equiv\binom{n}{m}\pmod{p^3}$ and even more to $\binom{np}{mp}/\binom{n}{m}\equiv1\pmod{p^q}$ by Jacobsthal for all positive integers $n>m$ and primes $p\geq5$, in which $p^q$ is any power of $p$ dividing $p^3mn(n-m)$. Note that the number $q$ can be replaced by a large number if $p$ divides $B_{p-1}$, the $(p-3)$'th Bernoulli number. Arithmetic properties of binomial coefficients are studied extensively in the literature and we may refer the interested reader to \cite{3} for an account of Wolstenholme's theorem. Recently,  \textit{Guo} and \textit{Krattenthaler} \cite{KRA} studied a similar problem and proved the following conjecture of \textit{Sun} \cite{Sun3}.
\begin{theorem}
Let $a$ and $b$ be positive integers. If $bn+1$ divides $\binom{an+bn}{an}$ for all sufficiently large positive integers $n$, then each prime factor of $a$ divides $b$. In other words, if $a$ has a prime factor not dividing $b$, then there are infinitely many positive integers $n$ for which $bn+1$ does not divide $\binom{an+bn}{an}$.
\end{theorem}

They also stated several conjectures among which are the following, which we
aim to give full proofs for two conjectures and a partial answer for one of them.
\begin{conjecture}[{\cite[Conjecture 7.1]{KRA}}]\label{Con1}
Let $a>b$ be positive integers, $\alpha,\beta$ be any integers and $p$ be a prime satisfying $\gcd(p,a)=1$. Then there exist infinitely many positive integers $n$ for which
\[\binom{an+\alpha}{bn+\beta}\equiv r\pmod p\]
for all integers $r$.
\end{conjecture}
\begin{conjecture}[{\cite[Conjecture 7.2]{KRA}}]\label{Con2}
For any odd prime $p$, there are no positive integers $a>b$ such that
\[\binom{an}{bn}\equiv0\pmod{pn-1}\]
for all $n\geq1$.
\end{conjecture}
\begin{conjecture}[{\cite[Conjecture 7.3]{KRA}}]\label{Con3}
For any positive integer $m$, there exist positive integers $a$ and $b$ such that $am>b$ and
\[\binom{amn}{bn}\equiv0\pmod{an-1}\]
for all $n\geq1$.
\end{conjecture}

Moreover, we show that for any positive integer $m$, there are positive integers $a$ and $b$ such that
${amn \choose bn}\equiv 0\quad (\mbox{\rm mod~} an-a)$ for all $n\geqslant 1$.

\section{Conjecture  \ref{Con2}}
Our first result is a more precise version of Conjecture \ref{Con2} in this case that $a\not\equiv 0~  (\mbox{\rm mod~} p)$ and we obtain some divisibility property of binomial coefficients.
\begin{theorem}
For any odd prime $p$, there are no positive integers $a>b$ with $a\not\equiv 0~  (\mbox{\rm mod~} p)$ such that
\[{an \choose bn}\equiv 0\quad (\mbox{\rm mod~} pn-1),\]
for all $n\geqslant 1$.
\end{theorem}
\begin{proof}
There are two cases.

\noindent\textbf{Case I}. $a\not\equiv 0~  (\mbox{\rm mod~} p)$ and $b\not\equiv 0~  (\mbox{\rm mod~} p)$.

There is an $1\leqslant s\leqslant p-1$ such that $sb\equiv 1~ (\mbox{\rm mod~} p)$. We may write
\begin{eqnarray*}
sa&=& pQ+r,\quad 1\leqslant r\leqslant p-1\\
sb&=&pQ'+1.
\end{eqnarray*}
Choose $t$ such that $st\equiv -1~(\mbox{\rm mod~} p)$. Thus there is a $k$ with $st=kp-1$. We claim that
\[(pn+t)(p+s)=pK-1\mid{aK\choose bK},\]
where $K=pn+ns+t+k$. By Dirichlet's theorem, there are infinitely many primes of the form $pn+t$. If $pn+t$ is prime, Lucas' theorem implies that
\begin{eqnarray*}
{aK\choose bK}&=&{a(pn+ns+t+k)\choose b(pn+ns+t+k)}\\
&=&{a(pn+t)+a(ns+k)\choose b(pn+t)+b(ns+k)}\\
&=&{a(pn+t)+Q(pn+t)+rn+ak-Qt\choose b(pn+t)+Q'(pn+t)+n+bk-Q't}\\
&\equiv&{a+Q\choose b+Q'}{rn+ak-Qt\choose n+bk-Q't}\quad(\mbox{\rm mod~}pn+t),
\end{eqnarray*}
since for sufficiently large $n$ we have $rn+ak-Qt,n+bk-Q't<pn+t$.

Now we have
\begin{eqnarray*}
s(n+bk-Q't)&=&sn+(pQ'+1)k-Q'(pk-1)\\
&=&sn+k+Q'\\
&\leqslant& srn+rk+Q\\
&\leqslant& srn+(pQ+r)k-Q(pk-1)=s(rn+ak-Qt).
\end{eqnarray*}
Whence ${rn+ak-Qt\choose n+bk-Q't}\neq 0$.

\noindent\textbf{Case II}. $a\not\equiv 0~  (\mbox{\rm mod~} p)$ and $b\equiv 0~  (\mbox{\rm mod~} p)$.

We should have
\[0\equiv {aK\choose bK}\equiv{a+Q\choose b+Q'}{rn+ak-Qt\choose bk-Q't}\quad(\mbox{\rm mod~}pn+t),\]
where $K=pn+t+k$. That is impossible for sufficiently large $n$.
\end{proof}
In the next theorem we aim at considering the case $a=cp$ and $b=pk+r$, where $1\leqslant r\leqslant p-1$ and we give a partial answer for Conjecture  \ref{Con2} in this case.

We know that for each prime number $p$ and $\varepsilon>0$ there is a real number $M_p(\varepsilon)$ such that for each $x\geqslant M_p(\varepsilon)$ there is a prime number $q$ in the interval $(x,(1+\varepsilon) x)$ with $q\equiv -1~(\mbox{\rm mod~} p)$ \cite{Har}.
Moreover, there is a real number $M'_p(\varepsilon)$ such that for each $x\geqslant M'_p(\varepsilon)$ there are at least two prime numbers $q,q'$ in the interval $(x,(1+\varepsilon) x)$ with $q,q'\equiv -1~(\mbox{\rm mod~} p)$.

In the following we may assume $b< c(p-r)$, since if $b\geqslant c(p-r)$ then ${pcn \choose bn}={pcn\choose b'n}$, where $b'=pc-b$. We have $b'=pk'+r'$, where $k'=c-k-1, r'=p-r$ and $b'<c(p-r')$.
\begin{theorem}\label{main}
Let $p$ be an odd prime, $1\leqslant r\leqslant p-1$ and $\gamma=\frac{p^2r+p^2+r^2-pr}{p^2(p+1)}$.
\begin{itemize}
\item[i.] If $pk+r\leqslant cp(1-\gamma)$ then there are no positive integers $c\geqslant M_p(\frac{(p-r)^2}{pr(p+1)})$ and $k$ such that
\[{pcn\choose (pk+r)n}\equiv 0\quad(\mbox{\rm mod~} pn-1).\]
for all $n\geqslant 1$.
\item[ii.] If $cp(1-\gamma)< pk+r<c(p-r)$ and $r\leqslant \frac{p-3}2$ then there are no positive integers $k\geqslant 2 M'_p(\frac{p-(2r+1)}{p+1})$ and $c$ such that
\[{pcn\choose (pk+r)n}\equiv 0\quad(\mbox{\rm mod~} pn-1).\]
for all $n\geqslant 1$.
\end{itemize}
\end{theorem}
\begin{proof}
\noindent{i}. Put $b=pk+r$. We have $-\frac{b}{c}\geqslant (\gamma-1)p$. Thus
\[\frac{\frac{p(c-k)}r-1}c=\frac{p(c-k)-r}{rc}=\frac{p}r-\frac{b}{rc}\geqslant\frac{p}r+\frac{\gamma p}{r}-\frac{p}{r}=1+\frac{(p-r)^2}{pr(p+1)}>1.\]
Now since $c\geqslant M_p(\frac{(p-r)^2}{pr(p+1)})$, there is a prime number $pn-1$ with
\[ c<pn-1<\frac{p(c-k)}r-1.\]
This implies the result, since $k\leqslant rn+k\leqslant c<pn-1$ and Lucas' theorem implies
\[ {pcn\choose (pk+r)n}= {c(pn-1)+c\choose k(pn-1)+rn+k}\equiv{c\choose k}{c\choose rn+k}\quad(\mbox{\rm mod~} pn-1).\]
\noindent{ii}. For $\alpha=\frac{p+1}{2(p-r)}$ we have
\[\frac{k}{\alpha k}=\frac{2(p-r)}{p+1}=1+\frac{p-(2r+1)}{p+1}>1\]
and since $\alpha k\geqslant M'_p(\frac{p-(2r+1)}{p+1})$,
there are two prime numbers $pm-1,pn-1$ with $\alpha k<pm-1<pn-1<k$. We have
\[k=\frac{b-r}{p}<\frac{c(p-r)-r}{p}=c-\frac{r(c+1)}{p}<c.\]
Furthermore,
\[rn+k<r\cdot \frac{k+1}{p}+k=\frac{rk+b}{p}<\frac{rk+c(p-r)}{p}<\frac{rc+c(p-r)}{p}=c.\]
Moreover,
\[\frac{c}{k}<\frac{b}{k(1-\gamma)p}=\frac{kp+r}{kp\cdot\frac{(p^2+r)(p-r)}{p^2(p+1)}}\leqslant\frac{p+1}{p-r},\]
where the last inequality is true since $k\geqslant p$. We can therefore deduce that
\[pn-1< k<c<2\cdot\frac{\frac{p+1}{p-r}}{2}k=2\alpha k<2(pm-1).\]
We have $c+1\leqslant 2(pm-1)<2(pn-1)$.
Write $c=(pn-1)+R$ and $rn+k=(pn-1)+R'$. We know that $pn-1>R>R'$. Now Lucas' theorem implies
\[{pcn\choose (pk+r)n}= {c(pn-1)+(pn-1)+R\choose k(pn-1)+(pn-1)+R'}\equiv{c+1\choose k+1}{R\choose R'}\quad(\mbox{\rm mod~} pn-1).\]
The latter is not congruent to 0, since
\[\lfloor \frac{c+1}{pn-1}\rfloor-\lfloor \frac{k+1}{pn-1}\rfloor-\lfloor \frac{c-k}{pn-1}\rfloor\leqslant 1-1-0=0.\]
\end{proof}
\begin{lemma}\label{beta} Let $p$ be an odd prime, $1\leqslant r\leqslant p-2, j=\lfloor\frac{p}{p-r}\rfloor$ and $\alpha=\frac{p}{(p-r)(j+1)}$. Then there is an $0<\varepsilon(p,r)<1$ such that
\[\alpha<\frac{p+\varepsilon(p,r)}{(p-r)(j+1)}<\frac{\frac{r}{p-r}}{j-1+\frac{r}{p}}.\]
\end{lemma}
\begin{proof}
A simple verification shows that
\[\alpha<\frac{\frac{r}{p-r}}{j-1+\frac{r}{p}}\]
if and only if  $p-r\nmid p$ or equivalently $r\neq p-1$. This implies the existence of $\varepsilon(p,r)$.
\end{proof}
On the other hand, let $c=j(pn-1)+R, 0\leqslant R\leqslant pn-2$ and $rn+k=(pn-1)+R', 0\leqslant R'\leqslant pn-2$ and suppose $pn-1=\theta k$, where $\alpha<\theta<\beta$. Then by Lemma~\ref{beta},
\begin{eqnarray*}
R'+j\theta k&=& k-(pn-1)+rn+j\theta k\\
&=& k-\theta k+r\cdot\frac{\theta k+1}{p}+j\theta k\\
&=&  k(1+(-1+\frac{r}{p}+j)\theta)+\frac{r}{p}\\
&\leqslant&  k(1+(-1+\frac{r}{p}+j)\beta)+\frac{r}{p}\\
&=&  k(1+(j-1+\frac{r}{p})\beta)+\frac{r}{p}\\
&<&  k(1+\frac{r}{p-r})+\frac{r}{p}\\
&<&\frac{p}{p-r}k+\frac{r}{p-r}\\
&<&c.
\end{eqnarray*}
Hence
\[R=c-j(pn-1)=c-j\theta k> R'.\]
This shows that
\[\lfloor \frac{c}{pn-1}\rfloor-\lfloor \frac{rn+k}{pn-1}\rfloor-\lfloor \frac{c-(rn+k)}{pn-1}\rfloor= j-1-(j-1+\lfloor\frac{R-R'}{pn-1}\rfloor)=0.\]
\section{Conjecture \ref{Con3} }

In this section, using only properties of the $p$-adic valuation we give an inductive proof of Conjecture 7.3 of \cite{KRA}. For $n \in \mathbb{N}$ and a prime $p$, the $p$-adic valuation of $n$, denoted by $\nu_p(n)$ is the highest power of $p$ that divides $n$. The expansion of $n \in \mathbb{N}$ in base p is written as $n=n_0+n_1p+\ldots+n_kp^k$ with integers $0\leqslant n_i\leqslant p-1$ and $n_k\neq 0$. \textit{Legendre's classical formula} for the factorials $\nu_p(n!)=\sum_{i=1}^{\infty}\lfloor \frac{n}{p^i}\rfloor$ appears in elementary textbooks.
\begin{theorem}
For any positive integer $m$, there are positive integers $a$ and $b$ such that $am>b$ and
\[{amn \choose bn}\equiv 0\quad (\mbox{\rm mod~} an-1)\]
for all $n\geqslant 1$.
\end{theorem}
\begin{proof}
Let $p_1=2<p_2=3<p_3=5<\ldots$ be the sequence of prime numbers. Choose $t$ such that $p_t>3m$ and put
\begin{eqnarray*}
a&=&6p_3\ldots p_t,\\
b&=&4p_3\ldots p_t.
\end{eqnarray*}
Let $n$ be a positive integer and $q^\alpha\mid an-1$ for some prime number $q$. We aim at showing that $q^\alpha\mid{amn\choose bn}$. This of course proves that $an-1\mid{amn\choose bn}$.

Write $bn$ in base $q$ in the form $\sum_{j=0}^N r_jq^j$, where $N=\alpha-1$ or $\alpha$ since $bn\geqslant q^{\alpha-1}$. At first we show that $m<r_0$. We have
\[r_0\equiv bn=4p_3\ldots p_t n\equiv 2\cdot 3^*\cdot 6p_3\ldots p_t n=2\cdot 3^* an\equiv 2\cdot 3^* \quad (\mbox{\rm mod~} q),\]
where $3^*$ is the inverse of $3$ mod $q$. We know that
\[3^*=\left\{\begin{array}{ll}
\frac{q+1}{3} &  \mbox{if~} 3\mid q+1\\
\frac{2q+1}{3} & \mbox{if~} 3\mid q+2
\end{array}\right. \]
Note that $3^*$ exists since $q\neq 3$. We thus have
\[r_0=2\cdot 3^*=\left\{\begin{array}{ll}
2\cdot\frac{q+1}{3}>\frac{q}{3} &  \mbox{if~} 3\mid q+1\\
2\cdot\frac{2q+1}{3}-q=\frac{q+2}{3}>\frac{q}{3} & \mbox{if~} 3\mid q+2
\end{array}\right. \]
We have $\gcd(q,p_1p_2\ldots p_t)=1$. Hence $q>p_t>3m$. This shows that $m<r_0$. We therefore have
\[\lfloor\frac{bn-m}{q^i}\rfloor=\lfloor\frac{\sum_{j=0}^N r_jq^j-m}{q^i}\rfloor=\lfloor\sum_{j=i}^N r_jq^{j-i}+\frac{\sum_{j=1}^{i-1}r_jq^j+r_0-m}{q^i}\rfloor=\sum_{j=i}^N r_jq^{j-i}=\lfloor\frac{bn}{q^i}\rfloor.\]
Now let $an-1=kq^\alpha$, where $\gcd(k,q)=1$. We evaluate the $q$-adic valuation $v_q({amn\choose bn})$. If $N=\alpha$ then
\begin{eqnarray*}
v_q\big({amn\choose bn}\big)&\geqslant&\sum_{i=1}^\alpha\big(\lfloor\frac{amn}{q^i}\rfloor-\lfloor\frac{bn}{q^i	}\rfloor-\lfloor\frac{(am-b)n}{q^i}\rfloor\big)\\
&\geqslant&\sum_{i=1}^\alpha \big(mkq^{\alpha-i}-\lfloor\frac{bn}{q^i	}\rfloor-\lfloor\frac{(am-b)n}{q^i}\rfloor\big)\\
&=&\sum_{i=1}^\alpha \big(mkq^{\alpha-i}-\lfloor\frac{bn}{q^i	}\rfloor-\lfloor\frac{mkq^\alpha+m-bn}{q^i}\rfloor\big)\\
&=&\sum_{i=1}^\alpha \big(mkq^{\alpha-i}-\lfloor\frac{bn}{q^i	}\rfloor-mkq^{\alpha-i}-\lfloor\frac{m-bn}{q^i}\rfloor\big)\\
&=&\sum_{i=1}^\alpha \big(-\lfloor\frac{bn}{q^i}\rfloor-\lfloor-\frac{bn-m}{q^i}\rfloor\big)\\
&=&\sum_{i=1}^\alpha \big(-\lfloor\frac{bn}{q^i}\rfloor+\lfloor\frac{bn-m}{q^i}\rfloor+1\big)\\
&=&\sum_{i=1}^\alpha 1=\alpha,\\
\end{eqnarray*}
since $\frac{bn-m}{q^i}$ is not an integer.

On the other hand, if $N=\alpha-1$ then
\begin{eqnarray*}
v_q\big({amn\choose bn}\big)&=&mk+\sum_{i=1}^{\alpha-1}\big(\lfloor\frac{amn}{q^i}\rfloor-\lfloor\frac{bn}{q^i	}\rfloor-\lfloor\frac{(am-b)n}{q^i}\rfloor\big)\\
&\geqslant&mk+\alpha-1\geqslant\alpha.
\end{eqnarray*}
Thus $q^\alpha\mid{amn\choose bn}$.

\end{proof}

\begin{theorem}
For any positive integer $m$, there are positive integers $a$ and $b$ such that
\[{amn \choose bn}\equiv 0\quad (\mbox{\rm mod~} an-a)\]
for all $n\geqslant 1$.
\end{theorem}
\begin{proof}
Let $p_1=2<p_2=3<p_3=5<\ldots$ be the sequence of prime numbers. For a positive integer $t$ put
\[b=ap_3\ldots p_t.\]
 Let $n$ be a positive integer and $q^\alpha\mid an-a$ for some prime number $q$. It is sufficient $q^\alpha\mid{amn\choose bn}$, this concludes the proof.
Let $b=r_0 + r_1q+ \ldots +r_{\alpha}q^{\alpha}$ is the $q$-adic expansions of $b$ where $0\leq r_i \leq q-1$. We have  $\gcd(q,p_1p_2\ldots p_t)=1$ and $r_0 \equiv b\quad (\mbox{\rm mod~} q)$. Now, let $an=a+kq^\alpha$ where $\gcd(k,q)=1$. We evaluate the $q$-adic valuation $v_q({amn\choose bn})$. We have
\begin{eqnarray*}
v_q\big({amn\choose bn}\big)&=&v_q\big(\frac{(amn)!}{(bn)!(amn-bn)!}\big)\\
&=&\sum_{i=1}^\alpha\big(\lfloor\frac{amn}{q^i}\rfloor-\lfloor\frac{bn}{q^i	}\rfloor-\lfloor\frac{anm-bn}{q^i}\rfloor\big)\\
&=&\sum_{i=1}^\alpha\big(\lfloor\frac{mkq^\alpha+ma}{q^i}\rfloor-\lfloor\frac{anp_1p_2\ldots p_t}{q^i	}\rfloor-\lfloor\frac{anm-anp_1p_2\ldots p_t}{q^i}\rfloor\big)\\
&=&\sum_{i=1}^\alpha\big(\lfloor\frac{am}{q^i}\rfloor-\lfloor\frac{b}{q^i	}\rfloor-\lfloor\frac{am-b}{q^i}\rfloor\big)\\
\end{eqnarray*}
So, it is sufficient to show for any $m \in \mathbb{Z^+}$ the inequality
\begin{eqnarray}\label{eq}
\lfloor\frac{am}{q^i}\rfloor-\lfloor\frac{b}{q^i	}\rfloor-\lfloor\frac{am-b}{q^i}\rfloor\geqslant 0
\end{eqnarray}
Let $\frac{ma}{q^\alpha}=s+r$ and $\frac{b}{q^\alpha}=s^{'}+r^{'}$ where $s, s^{'} \in \mathbb{Z^+}$ and $0\leqslant r, r^{'} \leqslant1$
, then $\lfloor\frac{am}{q^i}\rfloor-\lfloor\frac{b}{q^i}\rfloor=s+s'$ and $\lfloor\frac{am-b}{q^i}\rfloor=s+s'$ or $s+s'-1$. Therefore \ref{eq} holds and this concludes the proof.
\end{proof}
\section{Conjecture \ref{Con1}}
Maxim Vsemirnov \cite{Max} proved that the conjecture \ref{Con1} is not true for $p=5$. He also  proved the following theorem:
\begin{theorem}
Let $p=5, a=4, b=2$. If $(\alpha,\beta)\in\{(0,0), (1,0),(1,1)\}$ then
\[{4n+\alpha \choose 2n+\beta}\equiv 0,1\hspace{0.2cm} \text{or}\hspace{0.2cm} 4\quad (\mbox{\rm mod~} 5);\]
If $(\alpha,\beta)\in\{(2,1), (3,1),(3,2)\}$ then
\[{4n+\alpha \choose 2n+\beta}\equiv 0,2\hspace{0.2cm} \text{or}\hspace{0.2cm} 3\quad (\mbox{\rm mod~} 5);\]
\end{theorem}
In the following, we give a proof for a special case of Conjecture \ref{Con1}
We know that if $\gcd(x,y)=1$ then there is an integer $1\leqslant x'\leqslant y-1$ such that $y\mid xx'-1$. We denote this $x'$ by $\mbox{Inv}_y(x)$. Moreover, for an integer $x$ we denote the $p$-adic valuation of $x$ by $v_p(x)$.
\begin{theorem}
Let $a$ and $b$ be positive integers with $a>b$, let $\alpha$ and $\beta$ be integers and let $d=\gcd(a,b), c=\frac{a}{d}, e=\gcd(p-1,a)$. Furthermore, let $p$ be a prime such that $p>a+2b$. Then
\begin{itemize}
\item[i.] if $e< c$ or $v_2(a)\leqslant v_2(p-1)$ then for each $r=0,1,\ldots,p-1$, there are infinitely many positive integers $n$ such that
\[{an+\alpha \choose bn+\beta}\equiv r\quad (\mbox{\rm mod~} p);\]
\item[ii.] if $e\geqslant c$ and $v_2(a)>v_2(p-1)$ then for each
\[r\notin\{(2\mu-1)e+p+\alpha-2+r': 0\leqslant r'\leqslant e-c, \lceil\frac{e+2-p-\alpha}{2e}\rceil\leqslant\mu\leqslant\lceil\frac{c+1-\alpha}{2e}\rceil\},\]
there are infinitely many positive integers $n$ such that
\[{an+\alpha \choose bn+\beta}\equiv r\quad (\mbox{\rm mod~} p).\]
\end{itemize}
\end{theorem}
\begin{proof}
By Euler's totient theorem, we have $p^{\varphi(a)}\equiv1~ (\mbox{\rm mod~} a)$, since $\gcd(p,a)=1$. For an arbitrary positive integer $N$, put $u=N\varphi(a)$. Thus
\[p^{ui}\equiv1~(\mbox{\rm mod~} a), \quad i\in\mathbb{N}.\]
In particular, there is an $m$ such that $p^u-1=am$. Thus $m=-\mbox{Inv}_p(a)$. Put $t=(p-1)-r$. Write $c-t-\alpha=\mu e+\rho$, where $0\leqslant \rho\leqslant e-1$.
Note that $e\mid c-t-\alpha-\rho$.
Suppose
\[\varepsilon=\left\{\begin{array}{ll}
0 & \mbox{if~} \rho\leqslant c-2\\
1 & \mbox{otherwise~}
\end{array}\right. \]
If $e<c$ then put
\begin{eqnarray*}
K&=&\frac{c-t-\alpha-\rho}{e}\cdot\big(p\mbox{Inv}_{\frac{a}{e}}(\frac{p(p-1)}e)\big)\\&&+(c-t-\alpha-\rho)am\mbox{Inv}_p(a+1)-(\beta-1)a^2m\mbox{Inv}_p(b(a+1))+Lpa,
\end{eqnarray*}
where $L$ is sufficiently large so that $K>1$. Note that $\varepsilon=0$ in this case, since $\rho\leqslant e-1\leqslant c-2$.

If $e\geqslant c$ and $v_2(a)\leqslant v_2(p-1)$ then put
\begin{eqnarray*}
K&=&\frac{c-t-\alpha-\rho}{e}\cdot\big(p\mbox{Inv}_{\frac{a}{e}}(\frac{p(p-1)(1+\varepsilon)}e)\big)\\&&+(c-t-\alpha-\rho)am\mbox{Inv}_p(a+1)-(\beta-1)a^2m\mbox{Inv}_p(b(a+1))+Lpa,
\end{eqnarray*}
where $L$ is sufficiently large so that $K>1$. Note that $\mbox{Inv}_{\frac{a}{e}}(1+\varepsilon)$ exists, since $\frac{a}{e}$ is odd in this case.

Finally, if $e\geqslant c$ and $v_2(a)> v_2(p-1)$ then put
\begin{eqnarray*}
K&=&\frac{c-t-\alpha-\rho}{(1+\varepsilon)e}\cdot\big(p\mbox{Inv}_{\frac{a}{(1+\varepsilon)e}}(\frac{p(p-1)}e)\big)\\&&+(c-t-\alpha-\rho)am\mbox{Inv}_p(a+1)-(\beta-1)a^2m\mbox{Inv}_p(b(a+1))+Lpa,
\end{eqnarray*}
where $L$ is sufficiently large so that $K>1$. Note that $\frac{c-t-\alpha-\rho}{e}$ is even by our assumption on $r$ in this case.

In each of the above cases we have
\begin{eqnarray*}
K(p-1)(1+\varepsilon)&\equiv& c-t-\alpha-\rho~(\mbox{mod~}a),\\
mb\big(K(p-1)(a+1+\varepsilon)-(c-t-\alpha-\rho)\big)&\equiv& \beta-1~(\mbox{mod~}p).
\end{eqnarray*}
Now choose
\[M=K(p-1)(d(c-1)+1)-(c-1)+\rho,\]
and
\begin{eqnarray*}
\mathbb{I}_2&=&\{M-k(c-1): k=0,1,\ldots, K(p-1)(d+\varepsilon)-1\},\\
 \mathbb{I}_1&=&\{1,2,\ldots,M\}\setminus\mathbb{I}_2.
\end{eqnarray*}
We have
\begin{eqnarray*}
&&p^{u(M+1)}-t-\sum_{i\in\mathbb{I}_1}p^{ui}-\sum_{i\in\mathbb{I}_2}2p^{ui}-\alpha\\
&\equiv& 1-t-(M-K(p-1)(d+\varepsilon))-2K(p-1)(d+\varepsilon)-\alpha\\
&=&1-t-\alpha-K(p-1)(a+1+\varepsilon)+(c-1)-\rho\\
&\equiv& c-t-\alpha-\rho-K(p-1)(1+\varepsilon)\\
&\equiv& 0 \quad(\mbox{mod~}a).
\end{eqnarray*}
Hence, there is a positive integer $n$ such that
\[an+\alpha=p^{u(M+1)}-t-\sum_{i\in\mathbb{I}_1}p^{ui}-\sum_{i\in\mathbb{I}_2}2p^{ui}.\]
Write $an+\alpha$ in base $p$ as the form $\sum_{s=0}^{u(M+1)}a_sp^s$.  Then we have
\[a_s=\left\{\begin{array}{ll}
p-1-t & \mbox{if~} s=0\\
p-2 &  \mbox{if~} s=ui \mbox{~for some~}i\in\mathbb{I}_1\\
p-3 &  \mbox{if~} s=ui \mbox{~for some~}i\in\mathbb{I}_2\\
p-1 & \mbox{otherwise~}
\end{array}\right. \]
We now aim at finding digits of $bn+\beta$ in base $p$. If $bn+\beta=\sum_{s=0}^{u(M+1)}b_sp^s$ then
$b_s$ is the remainder of $\lfloor\frac{bn+\beta}{p^s}\rfloor$ mod $p$. In fact, we need to find $b_s$ for $s=0,u,2u,\ldots, Mu$.

We now have
\begin{eqnarray*}
bn+\beta&=&\frac{b}{a}\big(p^{u(M+1)}-t-\sum_{i\in\mathbb{I}_1}p^{ui}-
\sum_{i\in\mathbb{I}_2}2p^{ui}\big)-\frac{b}{a}\alpha+\beta \\
&=&\frac{b}{a}\big(p^{u(M+1)}-1-\sum_{i\in\mathbb{I}_1}(p^{ui}-1)-\sum_{i\in\mathbb{I}_2}2(p^{ui}-1)\big)\\
&&+\frac{b}{a}(1-t-(M-K(p-1)(d+\varepsilon))-2K(p-1)(d+\varepsilon)-\alpha)+\beta\\
&=&\frac{b}{a}\big(p^{u(M+1)}-1-\sum_{i\in\mathbb{I}_1}(p^{ui}-1)-\sum_{i\in\mathbb{I}_2}2(p^{ui}-1)\big)\\
&&+\beta-\frac{b}{a}\big(c-t-\alpha-\rho-K(p-1)(a+1+\varepsilon)\big).\\
\end{eqnarray*}
Thus
\begin{eqnarray*}
bn+\beta&\equiv&-mb\big(p^{u(M+1)}-1-\sum_{i\in\mathbb{I}_1}(p^{ui}-1)-\sum_{i\in\mathbb{I}_2}2(p^{ui}-1)\big)\\
&&+\beta-mb\big(K(p-1)(a+1+\varepsilon)-(c-t-\alpha-\rho)\big)\\
&\equiv&\beta-(\beta-1)\equiv 1~(\mbox{mod~}p).
\end{eqnarray*}
This shows that $b_0=1$. Given $s$, for $j=1,2$ let $I_{s,j}$ be the number of $i\in\mathbb{I}_j$ with $i\geqslant s$.
For $s\in\mathbb{I}_j$ we have
\begin{eqnarray*}
\lfloor\frac{bn+\beta}{p^{us}}\rfloor&=&\lfloor\frac{b}{a}\big(p^{u(M+1-s)}-1-\sum_{s\leqslant i\in\mathbb{I}_1}(p^{u(i-s)}-1)-\sum_{s\leqslant i\in\mathbb{I}_2}(2p^{u(i-s)}-2)\\
&&-\sum_{s>i\in\mathbb{I}_1}\frac{1}{p^{u(s-i)}}-\sum_{s>i\in\mathbb{I}_2}\frac{2}{p^{u(s-i)}}-\frac{t}{p^{us}}-I_{s,1}-2I_{s,2}+1\big)+\frac{\beta}{p^{us}}\rfloor\\
&=&\frac{b}{a}\big(p^{u(M+1-s)}-1-\sum_{s\leqslant i\in\mathbb{I}_1}(p^{u(s-i)}-1)-\sum_{s\leqslant i\in\mathbb{I}_2}(2p^{u(s-i)}-2)\big)\\
&&+\lfloor\frac{b}{a}\big(-\sum_{s>i\in\mathbb{I}_1}\frac{1}{p^{u(s-i)}}-\sum_{s>i\in\mathbb{I}_2}\frac{2}{p^{u(s-i)}}-\frac{t}{p^{us}}-I_{s,1}-2I_{s,2}+1\big)+\frac{\beta}{p^{us}}\rfloor\\
&\equiv& -mb(-1+I_{s,1}+2I_{s,2}-j)-\lfloor\frac{b}{a}(-1+I_{s,1}+2I_{s,2})\rfloor-1\quad(\mbox{mod~} p).
\end{eqnarray*}
Let $I_{s,1}+I_{s,2}-1=cq_s+r_s$, where $0\leqslant r_s<c$. Then for $s\in\mathbb{I}_j$ we have
\[b_{su}=mb(j-r_s)-\lfloor\frac{br_s}{a}\rfloor-1\equiv m(a\lfloor\frac{br_s}{a}\rfloor+a-b(r_s-j))\quad(\mbox{mod~}p).\]
Let us evaluate $r_s$ for $s\in\mathbb{I}_j$. If $j=2$ then $s=M-k(c-1)$ for some $k=0,1,\ldots, K(p-1)(d+\varepsilon)-1$. Thus
\[I_{s,1}=M-(M-k(c-1))+1-(k+1),\quad I_{s,2}=k+1.\]
So
\[cq_s+r_s=k(c-1)+1+(k+1)-1\equiv1\quad(\mbox{mod~}c).\]
Hence $r_s=1$, whenever $s\in\mathbb{I}_2$. Note that we have $K(p-1)(d+\varepsilon)$ times occurrence of $r_s=1$.

Moreover, if $j=1$ then $s=M-k(c-1)-s'$ for some $k=0,1,\ldots,K(p-1)(d+\varepsilon)-1$ and $s'=1,2,\ldots,c-2$. Thus
\[I_{s,1}=M-(M-k(c-1)-s')+1-(k+1),\quad I_{s,2}=k+1.\]
So
\begin{eqnarray*}
cq_s+r_s&=&k(c-1)+s'+1+(k+1)-1\equiv s'+1\quad(\mbox{mod~}c).
\end{eqnarray*}
Hence $r_s=2,\ldots,c-1$, whenever $s\in\mathbb{I}_1$. Note that we have $K(p-1)(d+\varepsilon-1)$ times occurrence of $r_s=\rho+2-\varepsilon(c-1),\ldots,c-1$ and $K(p-1)(d+\varepsilon)$ times occurrence of $r_s=2,\ldots,\rho+1-\varepsilon(c-1)$.

Now we show that if $s\in\mathbb{I}_1$ then $b_{su}+1\not\equiv 0~(\mbox{mod~}p)$ and if $s\in\mathbb{I}_2$ then $b_{su}+1,b_{su}+2\not\equiv 0~(\mbox{mod~}p)$.

Let $s\in\mathbb{I}_j$. Then
\[b_{su}+1\equiv m(a\lfloor\frac{br_s}{a}\rfloor-b(r_s-j))\quad(\mbox{mod~}p).\]
Now if $p\mid b_{su}+1$ then $p\mid a\lfloor\frac{br_s}{a}\rfloor-b(r_s-j)$. The latter holds if and only if $a\lfloor\frac{br_s}{a}\rfloor-b(r_s-j)=0$, since
\[|b(r_s-j)-a\lfloor\frac{br_s}{a}\rfloor|\leqslant a(\frac{br_s}{a}-\lfloor\frac{br_s}{a}\rfloor)+jb\leqslant a+2b<p\]
Thus we should have $a\mid b(r_s-j)$ which implies that $c\mid r_s-j$. This is a contradiction, since $r_s<c$ and $r_s\neq j$ whenever $s\in\mathbb{I}_j$.

Let $s\in\mathbb{I}_2$. Then
\[b_{su}+2\equiv m(a\lfloor\frac{br_s}{a}\rfloor-a-b(r_s-2))\quad(\mbox{mod~}p).\]
We know that $r_s=1$ whenever $s\in\mathbb{I}_2$. Thus if $p\mid b_{su}+2$ then we should have $p\mid a-b$. The latter is impossible since $p>a-b$.

We therefore have
\begin{eqnarray*}
{an+\alpha \choose bn+\beta}&\equiv&{p-1-t\choose b_0}\prod_{s\in\mathbb{I}_1}(b_{su}+1)\prod_{s\in\mathbb{I}_2}(b_{su}+1)(b_{su}+2)\\
&\equiv&-(1+t)\prod_{r_s=2}^{\rho+1-\varepsilon(c-1)}(b_{su}+1)^{K(p-1)(d+\varepsilon)}\prod_{r_s=\rho+2-\varepsilon(c-1)}^{c-1}(b_{su}+1)^{K(p-1)(d+\varepsilon-1)}\\
&&\cdot(mb)^{K(p-1)(d+\varepsilon)}(m(b-a))^{K(p-1)(d+\varepsilon)}\\
&\equiv&-(1+t)\\
&\equiv&-(1+(p-1)-r)\\
&\equiv& r\quad(\mbox{mod~}p).
\end{eqnarray*}
Note that there are infinitely many such $n$, since $N$ was arbitrary.
\end{proof}
\section{acknowledgments}
The authors would like to thank the anonymous referee for her/his careful reading and invaluable suggestions. This paper was written during the first author sabbatical period in the Department of Mathematics at the Vienna University. The authors wish to special
thanks to professor Christian Krattentheler and M. Farrokhi D. G for their helpful advices.