你即將離開本站

並前往https://staff.math.su.se/anders.mortberg/papers/fpmods.pdf

A Coq Formalization of Finitely Presented Modules - staff.math ...

is a surjection and M a matrix representing the m1 relations among the m0 generators of the module M. This means that M is the cokernel of M:.

確定！ 回上一頁

查詢 「cokernel surjective」的人也找了：

  1. Abelian category
    2.
  2. Cokernel
    3.
  3. Coproduct
    4.
  4. Kernel category
    5.
  5. Coimage
    6.
  6. Dual category
    7.
  7. Direct limit
    8.
  8. Image linear Algebra
    9.