We study a class M of cyclically presented groups that includes both finite and infinite groups and is defined by a certain combinatorial condition on the defining relations. This class includes many finite metacyclic generalized Fibonacci groups that have been previously identified in the literature. By analysing their shift extensions we show that the groups in the class M are are coherent, subgroup separable, satisfy the Tits alternative, possess finite index subgroups of geometric dimension at most two, and that their finite subgroups are all metacyclic. Many of the groups in M are virtually free, some are free products of metacyclic groups and free groups, and some have geometric dimension two. We classify the finite groups that occur in M, giving extensive details about the metacyclic structures that occur, and we use this to prove an earlier conjecture concerning cyclically presented groups in which the relators are positive words of length three. We show that any finite group in the class M that has fixed point free shift automorphism must be cyclic.(3) onto the cyclic subgroup of order n, generated by t, that is given by ν f (t) = t and ν f (y) = t f .Proof. Working in the free group F with basis x 0 , . . . , x n−1 , we are given that G ∼ = G n (w) where w is the product of two f -blocks, so that w = θ a1 (Λ(r 1 , f )) δ · θ a2 (Λ(r 2 , f )) ǫ where r 1 , r 2 ≥ 0 and δ, ǫ = ±1. Up to cyclic permutation and inversion, we may assume that a 1 = 0 and δ = +1. Setting a = a 2 , the word w has the form w = Λ(r 1 , f ) · θ a (Λ(r 2 , f )) ǫ . Introducing x, y, t and setting x i = t i xt −i and y = xt f , the word w transforms to W = y r1 t −r1f · t a (y r2 t −r2f ) ǫ t −a and the shift extension G n (w) ⋊ θ Z n admits a presentation y, t | t n , W . If ǫ = +1, then the first claim follows by setting r = r 1 , s = −r 2 , A = a − r 1 f , and B = a + r 2 f , while if ǫ = −1, we set r = r 1 , s = r 2 , A = a + (r 2 − r 1 )f , and B = a. Conversely, given the retraction ν f : E → Z n , a standard Reidemeister-Schreier process (see e.g. [7, Theorem 2.3]) shows that ker ν f ∼ = G n (w) ∼ = G where w is the product of two f -blocks.Example 2 (Non-isomorphic cyclically presented groups sharing the same extension). The generalized Fibonacci group F (3, 6) is G 6 (x 0 x 1 x 2 x −1 3 ) and has extension E = F (3, 6) ⋊ θ Z 6 ∼ = t, x | t 6 , xtxtxtx −1 t −3 y=xt ∼ = t, y | t 6 , y 3 ty −1 t −3 .