$M$ noetherian, $f$ endomorphism of $M$, $\operatorname{coker}f$ has finite length, then $\operatorname{coker}f^n$ and $\ker f^n$ have finite length.
61674
Coker of powers of an endomorphism
154142
Finding a specific basis for an endomorphism
5699
The number of ring homomorphisms from $\mathbb{Z}_m$ to $\mathbb{Z}_n$
52088
Isomorphism of an endomorphism ring, how can $R\cong R^2$?
143884
A non-noetherian ring with noetherian spectrum
55243
When is the ring of continuous functions Noetherian?
68514
Let $M$ be a smooth manifold and let $N$ be a manifold with boundary. If $dF_{p}$ is an isomorphism, then $F\left(p\right)\in\mbox{int}M $.
45179
When does the isomorphism $G\simeq \ker(\phi)\times \operatorname{im}(\phi)$? hold?
30178
Homeomorphism $(\mathbb{CP}^1)^m/S_m \overset{\sim}{\to} \mathbb{CP}^m$?
95942
$k[x]/(x^n)$ module with finite free resolution is free
111348
Show that $\mathrm{S}_{m} \times \mathbb{N}^{m} \rightarrow \mathbb{N}^{m}$ defines an action of $\mathrm{S}_{m}$ on $\mathbb{N}^{m}$
12474
Does an injective endomorphism of a finitely-generated free R-module have nonzero determinant?
120035
Pattern in Isomorphisms between $\mathbb Z_m \times \mathbb Z_n$ and $\mathbb Z_{mn}$
149849
Let $F$ be a field and $f: \mathbb{Z} \to F$ be a ring epimorphism.
132311
T$\mathbb{S}^{n} \times \mathbb{R}$ is diffeomorphic to $\mathbb{S}^{n}\times \mathbb{R}^{n+1}$
109498
Linear maps $f: M_n \longrightarrow \mathbb{R}$ such that $f(AB) = f(BA)$
127886
Artin's lemma and some morphisms.