Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context Β· Original author HTML
Lemma 4.6.
Suppose , and are snc models, with
dominating and dominating .
- (a)
If is surjective, then
so is .
- (b)
If is injective and
is surjective, then
is injective.
- (c)
If and
are both surjective, then
so is .
- (d)
If and
are both injective, then
so is .