Isomorphisms between lattices of almost normal subgroups

A subgroupH of a groupG is said to bealmost normal inG if it has only finitely many conjugates inG. The setan(G) of almost normal subgroups ofG is a sublattice of the lattice of all subgroups ofG. Isomorphisms between lattices of almost normal subgroups ofFC-soluble groups are considered in this paper. In particular, properties of images of normal subgroups under such an isomorphism are investigated.     

Quasinormalität in topologischen Gruppen

LetQ be a subgroup of the locally compact groupG. Q is called a topologically quasinormal subgroup ofG, ifQ is closed and for each closed subgroupA ofG. We prove: If the compact elements ofG form a proper subgroup, compact topologically quasinormal subgroups ofG are subnormal of defect 2. IfG is connected, compact topologically quasinormal subgroups ofG are normal. IfG/G ₀ is compact, connected topologically quasinormal subgroups ofG are normal.     

Topologisch quasinormale Untergruppen zusammenhängender lokalkompakter Gruppen

A closed subgroupQ of a topological groupG is called topologically quasinormal (tqn) inG if holds for every closed subgroupA ofG. We show that every tqn subgroup of a connected locally compact group is actually a normal subgroup. Besides we prove: a homogeneous spaceG/H of a connected Lie groupG with the property that every non-trivial one-parameter orbit is dense has dimension at most one.     

A lattice theoretic characterization of prefrattini subgroups

Consider an interval [H,G] in the lattice of subgroups of a finite soluble groupG. We define a certain set of subgroups in the lattice [H,G], and prove that they are conjugate inG. ForH=1 one gets the prefrattini subgroups ofG.     

Some remarks on subgroups determined by certain ideals in integral group rings

LetG be a group,ZG the integral group ring ofG andI(G) its augmentation ideal. Subgroups determined by certain ideals ofZG contained inI(G) are identified. For example, whenG=HK, whereH, K are normal subgroups ofG andH∩K⊆ζ(H), then the subgroups ofG determined byI(G)I(H)I(G), andI ³(G)I(H) are obtained. The subgroups of any groupG with normal subgroupH determined by (i)I ²(G)I(H)+I(G)I(H)I(G)+I(H)I²(G), whenH′⊆[H,G,G] and (ii)I(G)I(H)I(G) when degH ²(G/H′, T)≤1, are computed. the subgroup ofG determined byI ⁿ(G)+I(G)I(H) whenH is a normal subgroup ofG withG/H free Abelian is also obtained     

Semigroup actions on homogeneous spaces

LetG be a connected semi-simple Lie group with finite center andS⊄G a subsemigroup with interior points. LetG/L be a homogeneous space. There is a natural action ofS onG/L. The relationx≤y ify ∈Sx, x, y ∈G/L, is transitive but not reflexive nor symmetric. Roughly, a control set is a subsetD ⊄G/L, inside of which reflexivity and symmetry for ≤ hold. Control sets are studied inG/L whenL is the minimal parabolic subgroup. They are characterized by means of the Weyl chambers inG meeting intS. Thus, for eachw ∈W, the Weyl group ofG, there is a control setD _w .D ₁ is the only invariant control set, and the subsetW(S)={w:D _w =D ₁} turns out to be a subgroup. The control sets are determined byW(S)/W. The following consequences are derived: i)S=G ifS is transitive onG/H, i.e.Sx=G/H for allx ∈G/H. HereH is a non discrete closed subgroup different fromG andG is simple. ii)S is neither left nor right reversible ifS #G iii)S is maximal only if it is the semigroup of compressions of a subset of some minimal flag manifold. Research partially supported by CNPq grant n^o 50.13.73/91-8     

Non-overlapping control systems on Lie groups

LetG be a Lie group with Lie algebraL(G) and let Ω be a non-empty subset ofL(G). If Ω is interpreted as the set of controls, then the set of elements attainable from the identity for the system Ω is a subsemigroup ofG. A system Ω is called anon-overlapping control system if any element attainable for Ω is only attainable at one time. In this paper, we show that a compact convex generating nonoverlapping control systems on a connected Lie group must be contained inX+E for someX∈L(G)\E, where E is a subspace of codimension one containing the commutator, and the homomorphism from the attainable semigroup intoR ⁺ extends continuously to the whole group in the case of solvable Lie groups. This work is done under the support of TGRC-KOSEF.     

Finite dimensional representations and subgroup actions on homogeneous spaces

LetH be an ℝ-subgroup of a ℚ-algebraic groupG. We study the connection between the dynamics of the subgroup action ofH onG/G _ℤ and the representation-theoretic properties ofH being observable and epimorphic inG. We show that ifH is a ℚ-subgroup thenH is observable inG if and only if a certainH orbit is closed inG/G _ℤ; that ifH is epimorphic inG then the action ofH onG/G _ℤ is minimal, and that the converse holds whenH is a ℚ-subgroup ofG; and that ifH is a ℚ-subgroup ofG then the closure of the orbit underH of the identity coset image inG/G _ℤ is the orbit of the same point under the observable envelope ofH inG. Thus in subgroup actions on homogeneous spaces, closures of ‘rational orbits’ (orbits in which everything which can be defined over ℚ, is defined over ℚ) are always submanifolds.     

Representation theory and convexity

IfS=G Exp (iW) is a complex open Ol'shanskiî semigroup, whereW is an open elliptic cone, then we considerG-biinvariant domainsD=G Exp (iD _g)S. First we show that the representation ofG×G on eachG-biinvariant irreducible reproducing kernel Hilbert space in Hol(D) is a highest weight representation whose kernel is the character of a highest weight representation ofG. In the second part of the paper we explain how to construct biinvariant Kähler structures on biinvariant Stein domains and show by a certain Legendre transform that the so obtained symplectic manifolds are isomorphic to domains in the cotangent bundleT ^* (G).     

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     

Factorization in dedekind domains with finite class group

LetD be a Dedekind domain. It is well known thatD is then an atomic integral domain (that is to say, a domain in which each nonzero nonunit has a factorization as a product of irreducible elements). We study factorization properties of elements in Dedekind domains with finite class group. IfD has the property that any factorization of an elementα into irreducibles has the same length, thenD is called a half factorial domain (HFD, see [41]). IfD has the property that any factorization of an elementα into irreducibles has the same length modulor (for somer>1), thenD is called a congruence half factorial domain of orderr. In Section I we consider some general factorization properties of atomic integral domains as well as the interrelationship of the HFD and CHFD property in the Dedekind setting. In Section II we extend many of the results of [41], [42] and [36] concerning HFDs when the class group ofD is cyclic. Finally, in Section III we consider the CHFD property in detail and determine some basic properties of Dedekind CHFDs. IfG is any Abelian group andS any subset ofG−[0], then {G, S} is called a realizable pair if there exists a Dedekind domainD with class groupG such thatS is the set of nonprincipal classes ofG which contain prime ideals. We prove that for a finite abelian groupG there exists a realizable pair {G, S} such that any Dedekind domain associated to {G, S} is CHFD for somer>1 but not HFD if and only ifG is not isomorphic toZ ₂,Z ₂,Z ₂ ⊕Z ₂, orZ ₃ ⊕Z ₃. The first author received support under the John M. Bennett Fellowship at Trinity University and also gratefully acknowledges the support of The University of North Carolina at Chapel Hill.     

Maximality of compression semigroups

LetG be a connected semisimple Lie group andr an involution onG. Further letL be an open subgroup of the groupG ^r ofr-fixed points andP⊂-G a parabolic subgroup. The semigroupS(L,P)∶={g∈G∶gLP⊂-LP} is called the compression semigroup of theL-orbit of the base point in the flag manifoldG/P. We show that compression semigroups for open orbits and regular symmetric pairs are maximal semigroups. Supported by a DFG Heisenberg-grant.     

On the heredity of Hun and Hungarian property

Denote byD(S) the convolution semigroup of compact-regular probability measures on a topological semigroupS. Hincin's classical decomposition theorems are extended to finite point processes on a completely regular topological space and to the convolution semigroupsD(D(G)), D(D(D(G))),... whereG is a locally compact Hausdorff group. The paper applies the Hun-Hungarian semigroup theory approach of Ruzsa and Székely; the proofs also follow this abstract setting.     

Regular and normal closure operators and categorical compactness for groups

For a class of groupsF, closed under formation of subgroups and products, we call a subgroupA of a groupG F-regular provided there are two homomorphismsf, g: G » F, withF F, so thatA = {x G |f(x) =g(x)}.A is calledF-normal providedA is normal inG andG/A F. For an arbitrary subgroupA ofG, theF-regular (respectively,F-normal) closure ofA inG is the intersection of allF-regular (respectively,F-normal) subgroups ofG containingA. This process gives rise to two well behaved idempotent closure operators.A groupG is calledF-regular (respectively,F-normal) compact provided for every groupH, andF-regular (respectively,F-normal) subgroupA ofG × H, ₂(A) is anF-regular (respectively,F-normal) subgroup ofH. This generalizes the well known Kuratowski-Mrówka theorem for topological compactness.In this paper, theF-regular compact andF-normal compact groups are characterized for the classesF consisting of: all torsion-free groups, allR-groups, and all torsion-free abelian groups. In doing so, new classes of groups having nice properties are introduced about which little is known.     

<Emphasis Type="Italic">G</Emphasis>-covering subgroup systems for the classes of supersoluble and nilpotent groups

LetF be a class of groups andG a group. We call a set Σ of subgroups ofG aG-covering subgroup system for the classF (or directly aF-covering subgroup system ofG) ifG ∈F whenever every subgroup in Σ is inF. In this paper, we provide some nontrivial sets of subgroups of a finite groupG which are simultaneouslyG-covering subgroup systems for the classes of supersoluble and nilpotent groups. Research of the first author is supported by the NNSF of China (Grant No. 10171086) and QLGCF of Jiangsu Province and a Croucher Fellowship of Hong Kong. Research of the second author is partially supported by a UGC (HK) grant #2060176 (2001/2002).     

Conjugacy classes of maximal nilpotent subgroups

It is shown that in an arbitrary finite groupG, any two maximal nilpotent subgroups ofG whose intersection contains its own centralizer inG, are conjugate inG.     

On the factor sets of measures and local tightness of convolution semigroups over Lie groups

It is shown that for a large class of Lie groups (called weakly algebraic groups) including all connected semisimple Lie groups the following holds: for any probability measure on the Lie group the set of all two-sided convolution factors is compact if and only if the centralizer of the support of inG is compact. This is applied to prove that for any connected Lie groupG, any homomorphism of any real directed (submonogeneous) semigroup into the topological semigroup of all probability measures onG is locally tight.     

Distinguished extensions of a lattice-ordered group

Any lattice-ordered group (l-group for short) is essentially extended by its lexicographic product with a totally ordered group. That is, anl-homomorphism (i.e., a group and lattice homomorphism) on the extension which is injective on thel-group must be injective on the extension as well. Thus nol-group has a maximal essential extension in the categoryIGp ofl-groups withl-homomorphisms. However, anl-group is a distributive lattice, and so has a maximal essential extension in the categoryD of distributive lattices with lattice homomorphisms. Adistinguished extension of onel-group by another is one which is essential inD. We characterize such extensions, and show that everyl-groupG has a maximal distinguished extensionE(G) which is unique up to anl-isomorphism overG.E(G) contains most other known completions in whichG is order dense, and has mostl-group completeness properties as a result. Finally, we show that ifG is projectable then E(G) is the -completion of the projectable hull ofG.Presented by M. Henriksen.     

Finite arithmetic subgroups ofGL n,III

LetG be an algebraic group inGL _n (C) defined over Q, andK an algebraic number field with the maximal orderO _k . If the groupG(O _k ) of rational points ofG inM _n (O _k ) is a finite group and if it satisfies a certain condition, which is satisfied, for example, whenK is a nilpotent extension of Q and 2 is unramified, thenG(O _k ) is generated by roots of unity inK andG(Z). Dedicated to the memory of Professor K G Ramanathan     

Topological prime radical of a group

In this paper, we consider two approaches toward the definition of a topological prime radical of a topological group. In the first approach, the prime quasi-radical η(G) is defined as the intersection of all closed prime normal subgroups of a topological group G. Its properties are investigated. In the second approach, we consider the set η′(G) of all topologically strictly Engel elements of a topological group G. Its properties are investigated. It is proved that η′(G) is a radical in the class of all topological groups possessing a basis of neighborhoods of the identity element consisting of normal subgroups. __________ Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 10, No. 4, pp. 15–22, 2004.