1: \begin{abstract}

2: Let $R$ be a Henselian DVR with finite residue field. 

3: Let $G$ be a 

4: finite type, flat $R$-group scheme (not necessarily commutative) with smooth generic fiber. We show that $H^1_{\fppf}(\Spec R,G)$ is finite. We then give an application of the global analogue of this finiteness result to PEL type integral models of Shimura varieties. 

5: \end{abstract}

6: