Direct product of subgroups of factors in direct product decomposition into cyclic groups
From Groupprops
Contents |
BEWARE! This term is nonstandard and is being used locally within the wiki. [SHOW MORE]
This article defines a subgroup property: a property that can be evaluated to true/false given a group and a subgroup thereof, invariant under subgroup equivalence. View a complete list of subgroup properties[SHOW MORE]
Definition
Suppose is a finitely generated abelian group. A subgroup
of
is termed a direct product of subgroups of factors in direct product decomposition into cyclic groups if there exists a decomposition of
as an internal direct product of cyclic groups:
and subgroups such that: