Skip to main content
4 of 5
added 20 characters in body
Jianrong Li
  • 6.2k
  • 2
  • 21
  • 34

Reference request: conditions for the cardinality of the kernel of a linear map from $\mathbb{Z}_m^n \to \mathbb{Z}_m^k$ is a power of $m$

Let $\mathbb{Z}_m = \mathbb{Z}/m\mathbb{Z}$. Let $A$ be an $k \times n$ matrix over $\mathbb{Z}_m$. Let $f: \mathbb{Z}_m^n \to \mathbb{Z}_m^k$ be a linear map defined by $f(x) = Ax$, $x \in \mathbb{Z}_m^n$. Are there some references about the condition such that $|\ker(f)|=m^p$ for some positive integer $p$?

For example, the kernel of the map $f: \mathbb{Z}_4 \to \mathbb{Z}_4$ given by $f(x) = 2x$ is $\ker(f) = \{0, 2\}$. Therefore $|\ker(f)|$ is not a positive integer power of $4$.

Let $f: \mathbb{Z}_m^4 \to \mathbb{Z}_m^2$ be a linear map given by $f(x) = (2x_1-x_3-x_4, x_2-x_3-x_4)^T$. In this case, $|\ker(f)| = m^2$. Thank you very much.

Jianrong Li
  • 6.2k
  • 2
  • 21
  • 34