Two statements about infinite products that are not quite true

dc.creatorBergman, George M.
dc.date2005-08-12
dc.date.accessioned2026-07-07T08:07:08Z
dc.date.available2026-07-07T08:07:08Z
dc.descriptionHard to summarize concisely; here are the high points. The first two statements below are ring-theoretic; in these R is a nontrivial ring, R^ω, and \bigoplus_ωR are the direct product, respectively direct sum, of countably many copies of R; the remaining two statements are in the context of general algebra (a.k.a. universal algebra): (i) There exist nontrivial rings R for which one has surjective homomorphisms \bigoplus_ωR -> R^ω-- but in such cases, R^ωis in fact finitely generated as a left R-module. (ii) There exist nontrivial rings R for which one has surjective homomorphisms R^ω-> \bigoplus_ωR -- but in such cases, R must have DCC on finitely generated right ideals. (iii) The full permutation group S on an infinite set Ωhas the property that the |Ω|-fold direct product of copies of S is generated over its diagonal subgroup by a single element. (iv) Whenever an algebra S in the sense of universal algebra has the property that the countable direct product S^ωis finitely generated over its diagonal subalgebra (or even when the corresponding property holds with an ultrapower in place of this direct product), S has some of the other strange properties known to hold for infinite symmetric groups (cf. math.GR/0401304).
dc.description22 pages. Version at http://math.berkeley.edu/~gbergman/papers will be updated more frequently than arXiv copy
dc.identifierhttps://arxiv.org/abs/math/0508222
dc.identifierhttp://arxiv.org/abs/math/0508222
dc.identifierContemporary Mathematics v.420 (2006) 35-58
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/130839
dc.subjectRings and Algebras
dc.subjectPrimary: 08B25, 16D70, Secondary: 03C20, 03C20, 16P70, 16S50, 20B30, 20M20, 22A05
dc.titleTwo statements about infinite products that are not quite true
dc.typetext

Files

Collections