The direct decompositions of a group $G$ with $G/Gβ$ finitely generated
HTML articles powered by AMS MathViewer
- by Francis Oger PDF
- Trans. Amer. Math. Soc. 347 (1995), 1997-2010 Request permission
Abstract:
We consider the class $\mathcal {C}$ which consists of the groups $M$ with $M/Mβ$ finitely generated which satisfy the maximal condition on direct factors. It is well known that any $\mathcal {C}$-group has a decomposition in finite direct product of indecomposable groups, and that two such decompositions are not necessarily equivalent up to isomorphism, even for a finitely generated nilpotent group. Here, we show that any $\mathcal {C}$-group has only finitely many nonequivalent decompositions. In order to prove this result, we introduce, for $\mathcal {C}$-groups, a slightly different notion of decomposition, that we call $J$-decomposition; we show that this decomposition is necessarily unique. We also obtain, as consequences of the properties of $J$-decompositions, several generalizations of results of R. Hirshon. For instance, we have $\mathbb {Z} \times G \cong \mathbb {Z} \times H$ for any groups $G$, $H$ which satisfy $M \times G \cong M \times H$ for a $\mathcal {C}$-group $M$.References
- Gilbert Baumslag, Residually finite groups with the same finite images, Compositio Math. 29 (1974), 249β252. MR 357615
- Gilbert Baumslag, Direct decompositions of finitely generated torsion-free nilpotent groups, Math. Z. 145 (1975), no.Β 1, 1β10. MR 399262, DOI 10.1007/BF01214492
- R. Hirshon, Cancellation of groups with maximal condition, Proc. Amer. Math. Soc. 24 (1970), 401β403. MR 251130, DOI 10.1090/S0002-9939-1970-0251130-X
- Ronald Hirshon, Some new groups admitting essentially unique directly indecomposable decompositions, Math. Ann. 194 (1971), 123β125. MR 286893, DOI 10.1007/BF01362539
- R. Hirshon, Some cancellation theorems with applications to nilpotent groups, J. Austral. Math. Soc. Ser. A 23 (1977), no.Β 2, 147β165. MR 447410, DOI 10.1017/s1446788700018152
- R. Hirshon, Cancellation and Hopficity in direct products, J. Algebra 50 (1978), no.Β 1, 26β33. MR 463303, DOI 10.1016/0021-8693(78)90171-0
- Ronald Hirshon, The equivalence of $\times ^{t}C\approx \times ^{t}D$ and $J\times C\approx J\times D$, Trans. Amer. Math. Soc. 249 (1979), no.Β 2, 331β340. MR 525676, DOI 10.1090/S0002-9947-1979-0525676-3
- Ronald Hirshon, Direct decompositions of groups with finitely generated commutator quotient group, J. Austral. Math. Soc. Ser. A 28 (1979), no.Β 3, 315β320. MR 557281, DOI 10.1017/S144678870001226X
- Ron Hirshon, Some properties of direct products, J. Algebra 115 (1988), no.Β 2, 352β365. MR 943261, DOI 10.1016/0021-8693(88)90263-3
- R. Hirshon, On uniqueness of direct decompositions of groups into directly indecomposable factors, J. Pure Appl. Algebra 63 (1990), no.Β 2, 155β160. MR 1043746, DOI 10.1016/0022-4049(90)90022-A
- J. M. Tyrer Jones, On isomorphisms of direct powers, Word problems, II (Conf. on Decision Problems in Algebra, Oxford, 1976), Studies in Logic and the Foundations of Mathematics, vol. 95, North-Holland, Amsterdam-New York, 1980, pp.Β 215β245. MR 579945
- Francis Oger, Cancellation of abelian groups of finite rank modulo elementary equivalence, Math. Scand. 67 (1990), no.Β 1, 5β14. MR 1081284, DOI 10.7146/math.scand.a-12315
- Francis Oger, Cancellation and elementary equivalence of finitely generated finite-by-nilpotent groups, J. London Math. Soc. (2) 44 (1991), no.Β 1, 173β183. MR 1122978, DOI 10.1112/jlms/s2-44.1.173 R. Remak, Uber die Zerlegung der endlichen Gruppen in direkte unzerleg bare Factoren, J. Reine Angew. Math. 139 (1911), 293-308.
- R. B. Warfield Jr., Genus and cancellation for groups with finite commutator subgroup, J. Pure Appl. Algebra 6 (1975), no.Β 2, 125β132. MR 372053, DOI 10.1016/0022-4049(75)90002-X
Additional Information
- © Copyright 1995 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 347 (1995), 1997-2010
- MSC: Primary 20E34; Secondary 20E07, 20F18
- DOI: https://doi.org/10.1090/S0002-9947-1995-1282895-8
- MathSciNet review: 1282895