Let K {\displaystyle {}K} be a field, and let n , m ∈ N + {\displaystyle {}n,m\in \mathbb {N} _{+}} with n ≤ m {\displaystyle {}n\leq m} . Define an injective group homomorphism