In this article we prove exactness of the homotopy sequence overconvergent $p$-adic fundamental groups for a smooth and projective morphism in characteristic $p$. We do so by first proving corresponding result rigid analytic varieties $0$, following dos Santos algebraic case. $p$, then proceed series reductions to case liftable family curves, where can apply result.

In this paper the notion of Rees short exact sequence for S-posets is introduced, and we investigate the conditions for which these sequences are left or right split. Unlike the case for S-acts, being right split does not imply left split. Furthermore, we present equivalent conditions of a right S-poset P for the functor Hom(P;-) to be exact.

As our second example we consider the case where TT is a differentiable submersion (in the usual sense) of codimension 1. Thus we assume that X, B are C°°-manifolds of dimensions n + 1 and n, respectively, and that TT is a regular differentiate map. Such a submersion is orientable if the induced line element field on X is orientable, and w will be called simple if w~(b) is connected for all bÇEB.

In this article, we show the existence of certain exact sequences with respect to two homology theories, called d-homology and extended d-homology. We present sufficient conditions for the existence of long exact extended d- homology sequence. Also we give some illustrative examples.