An
injective R-linear map is a fundamental concept in linear algebra that often causes confusion for students. To simplify, imagine an injective map as a kind of function that never maps two different inputs to the same output.
Specifically, let \( \rho: M \rightarrow M' \) be an injective R-linear map. This means that \( \rho \) has some special properties:
- If we take two elements from our domain \( M \), let’s call them \( \alpha \) and \( \beta \) and add them together, \( \rho \) will respect this addition when applied to the result. So, \( \rho(\alpha + \beta) = \rho(\alpha) + \rho(\beta) \).
- If we take an element from \( M \) and scale it by a value from \( R \) (the ring, which we’ll dig into next), \( \rho \) will again respect this operation, so \( \rho(r\alpha) = r\rho(\alpha) \).
- Most importantly, since \( \rho \) is injective, if \( \rho(\alpha) = \rho(\beta) \) then it must be the case that \( \alpha = \beta \) — this is what injectivity means in this context.
Using these properties, we can prove various important results in linear algebra, including statements about the linear independence of images under \( \rho \).