Premium
On the Countable Recognition of Finitary Groups
Author(s) -
Wehrfritz B. A. F.
Publication year - 1997
Publication title -
journal of the london mathematical society
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 1.441
H-Index - 62
eISSN - 1469-7750
pISSN - 0024-6107
DOI - 10.1112/s0024610797004924
Subject(s) - finitary , mathematics , countable set , nilpotent , abelian group , group (periodic table) , combinatorics , simple (philosophy) , discrete mathematics , pure mathematics , philosophy , chemistry , organic chemistry , epistemology
A stage in the classification of the periodic simple finitary linear groups by J. I. Hall and others, is a partial reduction to the countable case; specifically a simple group is isomorphic to a finitary linear group if and only if its countable subgroups are isomorphic to finitary linear groups. It is natural to ask, how common is it for a group to have a faithful finitary linear (or possibly only skew linear) representation, whenever each of its countable subgroups has such a representation? In very recent work F. Leinen and O. Puglisi have shown that periodic primitive finitary linear groups are countably recognizable, see [ 4 ]. It is easy to see that every abelian group is isomorphic to a finitary linear group, for example over the subfield of the complexes C generated by all roots of unity. Thus the first non‐obvious case, at the opposite extreme to the simple groups (and also in some sense to the primitive groups), is that of the nilpotent groups. We show the following, which, it should be noted, covers the case of periodic nilpotent groups.