We establish the Rabinowitz-type global bifurcation theorem and the Dancer-type unilateral global bifurcation theorem for
, where
is a
map and locally proper with
for
,
and
are real Banach spaces with
. Let
be the closure of the set of nontrivial solutions of
. We shall show that, if
is a Fredholm operator with index
for all
and
has an odd crossing number at
, then
possesses a maximal component
emanating from
, such that either
is unbounded or contains some
with
. Furthermore, if
for some
, then
possesses two maximal sub-continua
emanating from
, such that either
and
are both unbounded or
. As one of applications, we obtain the unilateral global bifurcation result for an overdetermined elliptic problem. In addition, we give an example which satisfies all the assumptions of in our theorems but it doesn’t meet the classic Crandall–Rabinowitz transversality condition.