Interval Decomposition of Persistence Modules over a Principal Ideal Domain
Persistence modules of pointwise free and finitely-generated modules over a principal ideal domain (PID) admit an interval decomposition if and only if the cokernel of every structure map is free.