whether a given condition in a theorem is satisfied in general

Question

I have a theorem stating that "a semidirect product of a cyclic group of prime order by an abelian group satisfies a certain property". (The property is given in the theorem and according to the terminology of the text where the theorem is stated it is possible to identify that the cyclic subgroup of prime order is the normal subgroup).

Does that mean that the relevant property is satisfies by any semidirect product between two such groups? (i.e. regardless of what type of homomorphisms is defined when defining the semidirect product)

So if I see a semidirect product like $\mathbb{Z}_q \rtimes_{\varphi} \mathbb{Z}_{p^2}$, can I conclude that the result holds regardless of ${\varphi}$, where $p,q$ are distinct primes.

Thanks a lot in advance.

Answer 1

The answer is yes. It might just be safer to state "Every semidirect product ..."