Confined subgroups in periodic simple finitary linear groups

A subgroupX of the locally finite groupG is said to beconfined, if there exists a finite subgroupF≤G such thatX ^g∩F≠1 for allg∈G. Since there seems to be a certain correspondence between proper confined subgroups inG and non-trivial ideals in the complex group algebra ℂG, we determine the confined subgroups of periodic simple finitary linear groups in this paper. Dedicated to the memory of our friend and collaborator Richard E. Phillips     

Groups acting on finite dimensional spaces with finite stabilizers

It is shown that every H -group G of type admits a finite dimensional G-CW-complex X with finite stabilizers and with the additional property that for each finite subgroup H, the fixed point subspace X ^H is contractible. This establishes conjecture (5.1.2) of [9]. The construction of X involves joining a family of spaces parametrized by the poset of non-trivial finite subgroups of G and ultimately relies on the theorem of Cornick and Kropholler that if M is a -module which is projective as a -module for all finite then M has finite projective dimension. Received: April 30, 1997     

Groups with All Subgroups Pronormal-by-Finite

A subgroup X of a group G is called pronormal-by-finite if there exists a pronormal subgroup Y of G such that Y ≤ X and |X : Y| is finite. The structure of (generalized) soluble groups in which all subgroups are pronormal-by-finite is investigated. Among other results, it is proved in particular that a finitely generated soluble group with such property is central-by-finite, provided that it has no infinite dihedral sections.     

ALGEBRAIC HULLS OF ADJOINT FUNCTORS AS INJECTIVE HULLS

Abstract

For each adjoint functor U: A → X where X is an (?, M)-category having enough ?-projectives, we construct an (?, M)-algebraic hull E: (A, U) → (Â, Û), i.e., (Â, Û) is (epsiv; M)-algebraic and E has a certain denseness property. We show that there is a conglomerate of functors over X with respect to which the (? M)-algebraic categories are exactly the injective objects and characterize (? M)-algebraic hulls as injective hulls.     

On Certain Distributive Lattices of Subgroups of Finite Soluble Groups

In this paper, we prove the following result. Let ξ be a saturated formation and ∑ a Hall system of a soluble group G. Let X be a w-solid set of maximal subgroups of G such that ∑ reduces into each element of X. Consider in G the following three subgroups： the ξ-normalizer D of G associated with ∑; the X-prefrattini subgroup W = W（G, X） of G; and a hypercentrally embedded subgroup T of G. Then the lattice ζ（T, W, D） generated by T, D and W is a distributive lattice of pairwise permutable subgroups of G with the cover and avoidance property. This result remains true for the lattice ,ζ（V, W, D）, where V is a subgroup of G whose Sylow subgroups are also Sylow subgroups of hypercentrally embedded subgroups of G such that ∑ reduces into V.     

On Influence of Contranormal Subgroups on the Structure of Infinite Groups

Following Rose, a subgroup H of a group G is called contranormal, if G = H ^G . In certain sense, contranormal subgroups are antipodes to subnormal subgroups. It is well known that a finite group is nilpotent if and only if it has no proper contranormal subgroups. However, for the infinite groups this criterion is not valid. There are examples of non-nilpotent infinite groups whose subgroups are subnormal; in paricular, these groups have no contranormal subgroups. Nevertheless, for some classes of infinite groups, the absence of contranormal subgroups implies the nilpotency of the group. The current article is devoted to the search of such classes. Some new criteria of nilpotency in certain classes of infinite groups have been established.     

On sse-embedded subgroups of finite groups

Abstract

In this paper, we introduce the concept of sse-embedded subgroups of finite groups and present some new characterizations of solubility of finite groups using the sse-embedding property of subgroups. Furthermore, we discuss the sse-embedded subgroups in finite nonabelian simple groups. Some previously known results are generalized and unified.     

ADDITIVE PROPERTIES OF SETS OF REAL NUMBERS AND AN INFINITE GAME

Abstract

1. If X has strong measure zero aid if Y is contained in an F _σ, set of measure zero, then X + Y has measure zero (Proposition 9).

2. If X is a measure zero set with property s ₀ and Y is a Sierpinski set, then X + Y has property s ₀ (Theorem 12).

3. If X is a meager set with property s ₀ and Y is a Lusin set, then X + Y has property s ₀ (Theorem 17).

An infinite game is introduced, motivated by additive properties of certain classes of sets of real numbers.     

Maximal Complements in Finite Groups

Let G be a finite group with a non-Abelian minimal normal subgroup N which is a direct product of copies of the simple group X. A parametrization is given for the conjugacy classes of maximal subgroups of G which complement N in terms of certain homomorphisms taking values in Aut X.     

Tight subgroups in torsion-free Abelian groups

LetX be a torsion-free abelian group. We study the class of all completely decomposable subgroups ofX which are maximal with respect to inclusion. These groups are called tight subgroups ofX and we state sufficient conditions on a subgroup to be tight. In particular we consider tight subgroups of bounded completely decomposable groups. For those we show that every regulating subgroup is tight and we characterize the tight subgroups of finite index in almost completely decomposable groups. The second author was supported by a MINERVA fellowship.     

SPACES WITH WALLMAN EQUIVALENT INTERMEDIATE SPACES

Abstract

If every infinite closed subset of the Wallman compactification, WX, of a space X must contain at least one element of X, then for any space Y intermediate between X and WX the Wallman compactification WY is homeomorphic to WX. This extends a property which characterizes normality inducing spaces. In the case where X is not normal, however, this is not a characterization, since there are nonnormal spaces for which all intermediate spaces are Wallman equivalent, but have infinite closed subsets contained in WX/X.     

On the full automorphism group of a graph

While it is easy to characterize the graphs on which a given transitive permutation groupG acts, it is very difficult to characterize the graphsX with Aut (X)=G. We prove here that for the certain transitive permutation groups a simple necessary condition is also sufficient. As a corollary we find that, whenG is ap-group with no homomorphism ontoZ _p wrZ _p , almost all Cayley graphs ofG have automorphism group isomorphic toG.     

A Generalized Hughes Property of Finite Groups

Abstract

A Hughes cover for exponent p(pa prime number) of a finite group is a union of subgroups whose (non-empty) complement consists of elements of order p. A proper Hughes subgroup is an instance of a Hughes cover; and its parent group is soluble by a well-known result of Hughes and Thompson. More generally an earlier result of the authors shows that a group with a Hughes cover of fewer than psubgroups is soluble. This article treats the insoluble groups having a Hughes cover for exponent pwith exactly psubgroups: the almost simple groups with this property form a restricted class of projective special linear groups.     

The groups of the semigroup of compact subsets of a topological group

The compact subsets of a topological groupG form a semigroup,S(G), when multiplication is defined by set product. This semigroup is a topological semigroup when given the Vietoris topology. It would be expected that the subgroups ofS(G) should in some way be related to the groupG. This is the case. It is shown that the subgroups ofS(G) are both algebraically and topologically exactly the groups obtained as quotients of certain subgroups ofG. One consequence of this is that every subgroup ofS(G) is a topological group. Conditions are also given for these subgroups to be open or closed. Green's relations inS(G) have a particularly nice formulation. As a result, the relationsD andJ are equal inS(G). Moreover, the Schützenberger group of aD-class is a topological group that is topologically isomorphic to a quotient of certain subgroups ofG.     

Pairwise -connected Products of Certain Classes of Finite Groups

Abstract

Subgroups A and B of a finite group are said to be 𝒩-connected if the subgroup generated by elements x and y is a nilpotent group, for every pair of elements x in A and y in B. The behaviour of finite pairwise permutable and 𝒩-connected products are studied with respect to certain classes of groups including those groups where all the subnormal subgroups permute with all the maximal subgroups, the so-called SM-groups, and also the class of soluble groups where all the subnormal subgroups permute with all the Carter subgroups, the so-called C-groups.     

Amenability of Banach algebras of compact operators

In this paper we study conditions on a Banach spaceX that ensure that the Banach algebraК(X) of compact operators is amenable. We give a symmetrized approximation property ofX which is proved to be such a condition. This property is satisfied by a wide range of Banach spaces including all the classical spaces. We then investigate which constructions of new Banach spaces from old ones preserve the property of carrying amenable algebras of compact operators. Roughly speaking, dual spaces, predual spaces and certain tensor products do inherit this property and direct sums do not. For direct sums this question is closely related to factorization of linear operators. In the final section we discuss some open questions, in particular, the converse problem of what properties ofX are implied by the amenability ofК(X). BEJ supported by MSRVP at Australian National University; GAW supported by SERC grant GR-F-74332.     

Product of nilpotent subgroups

We will say that a subgroup X of G satisfies property C in G if C_G(X?X^g)\leqq X?X^g{\rm C}_{G}(X\cap X^{{g}})\leqq X\cap X^{{g}} for all g ? G{g}\in G. We obtain that if X is a nilpotent subgroup satisfying property C in G, then XF(G) is nilpotent. As consequence it follows that if N\triangleleft GN\triangleleft G is nilpotent and X is a nilpotent subgroup of G then C_G(N?X)\leqq XC_G(N\cap X)\leqq X implies that NX is nilpotent.¶We investigate the relationship between the maximal nilpotent subgroups satisfying property C and the nilpotent injectors in a finite group.     

Cartesian Closed Topological Categories and Tensor Products

The projective tensor product in a category of topological R-modules (where R is a topological ring) can be defined in Top, the category of topological spaces, by the same universal property used to define the tensor product of R-modules in Set. In this article, we extend this definition to an arbitrary topological category X and study how the Cartesian closedness of X is related to the monoidal closedness of the category of R-module objects in X. Mathematics Subject Classifications (2000) 18D15, 18D35, 18A40.     

Polynomials Contained in a Finite Number of Maximal Ideals

Abstract

Let R[X] be a polynomial ring in one variable over a commutative ring R. If (R,?) is a local ring then any Weierstrass polynomial in R[X] is contained only in the maximal ideal (?,X) of R[X]. We generalise this property of Weierstrass polynomials and investigate properties of polynomials contained in a finite number of maximal ideals in R[X].     

Weak continuity of Riemann integrable functions in Lebesgue-Bochner spaces

In general, Banach space-valued Riemann integrable functions defined on [0, 1] （equipped with the Lebesgue measure） need not be weakly continuous almost everywhere. A Banach space is said to have the weak Lebesgue property if every Riemann integrable function taking values in it is weakly continuous almost everywhere. In this paper we discuss this property for the Banach space LX^1 of all Bochner integrable functions from [0, 1] to the Banach space X. We show that LX^1 has the weak Lebesgue property whenever X has the Radon-Nikodym property and X＊ is separable. This generalizes the result by Chonghu Wang and Kang Wan [Rocky Mountain J. Math., 31（2）, 697-703 （2001）] that L^1[0, 1] has the weak Lebesgue property.