Direct product is cancellative up to order statistics-equivalence
(Redirected from Direct product is cancellative for order statistics-equivalence)
Statement
Suppose are finite groups. Suppose and are Order statistics-equivalent finite groups (?), and suppose that the External direct product (?) is order statistics-equivalent to the external direct product . Then, is order statistics-equivalent to .