Relative numerical quotient algebra #
Direct sums, saturated family-relation quotients, image factorizations, and finite-index overlattice predicates for additive commutative groups.
Direct sums, saturated family-relation quotients, image factorizations, and finite-index overlattice predicates for additive commutative groups.