1: \begin{abstract}

2:   We consider extensions of non-singular maps which are exact, respectively 

3:   K-mixing, or at least have a decomposition into positive-measure exact, 

4:   respectively K-mixing, components. The fibers of the extension spaces have 

5:   countable (finite or infinite) cardinality and the action on them is assumed 

6:   surjective or bijective. We call these systems, respectively, 

7:   \emph{fiber-surjective} and \emph{fiber-bijective} extensions. Technically, they 

8:   are skew products, though the point of view we take here is not the one

9:   generally associated with skew products. Our main results are an Exact and a 

10:   K-mixing Decomposition Theorem. The latter can be used to show that a large 

11:   number of periodic Lorentz gases (the term denoting here general group 

12:   extensions of Sinai billiards, including Lorentz tubes and slabs, in any 

13:   dimension) are K-mixing.

14:   

15:   \bigskip\noindent 

16:   \textbf{Mathematics Subject Classification (2020):} 37A40, 37A35;

17:   37C83, 37D25, 37A20.

18:   

19:   \bigskip\noindent

20:   \textbf{Keywords:} Extensions of dynamical systems, exactness, K-property, 

21:   decomposition theorem, skew products, Lorentz gas, Lorentz tube, Sinai

22:   billiard.

23:   

24: \end{abstract}

25: