False. A left inverse would force to be injective: if , then . Take the surjective linear map given by . Since belongs to its kernel, every composite annihilates and cannot be the identity map on .
Define the smooth map
At its derivative in the direction is
The restriction to variations is the surjective linear map , since has full row rank. Thus is a regular value of . The regular level set theorem now shows that
is an embedded submanifold of , of dimension .
Right inverse Created 2026-10-05 Updated 2026-10-14
A right inverse of a function is a function satisfying . It forces to be a surjective function. A surjective linear map onto a finite-dimensional vector space has a linear right inverse: lift a basis of the target and extend by linearity.