We investigate the following question: if and are products of finite cyclic groups, when does there exist an isomorphism which preserves the union of coordinate hyperplanes (equivalently, so that has some coordinate zero if and only if has some coordinate zero)? We show that if such an isomorphism exists, then and have the same cyclic factors; if all cyclic factors have order larger than , the map is diagonal up to permutation, hence sends coordinate hyperplanes to coordinate hyperplanes. Thus one can recover the coordinate hyperplanes from knowledge of their union. This result is well-adapted for application to invariants with a certain multiplicativity property. As a model application, we show using twisted signatures that there exists a family of compact 4-manifolds with with the property that if and only if the factors may be identified (up to permutation), and that the induced map on first homology is (up to permutation) represented by a diagonal matrix.

生成讲解博客的中文版本

生成AI智能校验的中文版本