TY - JOUR
T1 - On universal and EPI-universal locally nilpotent groups
AU - Göbel, R.
AU - Shelah, S.
AU - Wallutis, S. L.
PY - 2003
Y1 - 2003
N2 - In this paper we are mainly concerned with the class ℒscript N sign of all locally nilpotent groups. Using similar arguments as in [2] we first show that there is no universal group in ℒscript N signλ if λ is a cardinal such that λ = λא0; here we call a group G universal (in ℒscript N signλ) if any group H ∈ ℒscript N signλ can be embedded into G, where ℒscript N signλ denotes the class of all locally nilpotent groups of cardinality at most λ. However, our main interest is in the construction of torsion-free epi-universal groups in ℒscript N signλ, where G ∈ ℒscript N sign λ is said to be epi- universal if any group H ∈ ℒscript N signλ is an epimorphic image of G. Thus we give an affirmative answer to a question of Plotkin. To prove the torsion-freeness of the constructed locally nilpotent group we adjust the well-known commutator collecting process due to P. Hall to our situation. Finally, we briefly discuss how to apply the methods we used for the class ℒscript N sign to other canonical classes of groups to construct epi-universal objects.
AB - In this paper we are mainly concerned with the class ℒscript N sign of all locally nilpotent groups. Using similar arguments as in [2] we first show that there is no universal group in ℒscript N signλ if λ is a cardinal such that λ = λא0; here we call a group G universal (in ℒscript N signλ) if any group H ∈ ℒscript N signλ can be embedded into G, where ℒscript N signλ denotes the class of all locally nilpotent groups of cardinality at most λ. However, our main interest is in the construction of torsion-free epi-universal groups in ℒscript N signλ, where G ∈ ℒscript N sign λ is said to be epi- universal if any group H ∈ ℒscript N signλ is an epimorphic image of G. Thus we give an affirmative answer to a question of Plotkin. To prove the torsion-freeness of the constructed locally nilpotent group we adjust the well-known commutator collecting process due to P. Hall to our situation. Finally, we briefly discuss how to apply the methods we used for the class ℒscript N sign to other canonical classes of groups to construct epi-universal objects.
UR - http://www.scopus.com/inward/record.url?scp=0347588284&partnerID=8YFLogxK
U2 - 10.1215/ijm/1258488149
DO - 10.1215/ijm/1258488149
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:0347588284
SN - 0019-2082
VL - 47
SP - 223
EP - 236
JO - Illinois Journal of Mathematics
JF - Illinois Journal of Mathematics
IS - 1-2
ER -