A quasivariety lattice of torsion-free soluble groups

Let L _q (qG) be a lattice of quasivarieties contained in a quasivariety generated by a group G. It is proved that if G is a torsion-free finitely generated group in AB\mathcal{AB} _pk , where p is a prime, p ≠ 2, and k ∈ N, which is a split extension of an Abelian group by a cyclic group, then the lattice L _q (qG) is a finite chain.     

On some groups all subgroups of which are nearly pronormal

A subgroup H of a group G is called nearly pronormal in G if, for every subgroup L of the group G that contains H, the normalizer N _L (H) is contranormal in L. We prove that if G is a (generalized) solvable group in which every subgroup is nearly pronormal, then all subgroups of G are pronormal. __________ Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 59, No. 10, pp. 1331–1338, October, 2007.     

On the lattice formed by all normal subloops of a finite loop

All normal subloops of a loopG form a modular latticeL _n (G). It is shown that a finite loopG has a complemented normal subloop lattice if and only ifG is a direct product of simple subloops. In particular,L _n (G) is a Boolean algebra if and only if no two isomorphic factors occurring in a decomposition ofG are abelian groups. The normal subloop lattice of a finite loop is a projective geometry if and only ifG is an elementary abelianp-group for some primep.     

The unitary group over the integers of an unramified local field

Let L be a lattice over the integers of a local field F which has a nontrivial involution. Then U⁺(L) (the subgroup of rotations of the unitary group U(L)) is generated by unitary transvections and quasitransvections contained in U⁺(L) (Theorem 7.8). Let g be a tableau. Then the mixed commutator subgroup of U⁺(L) and U(g) (the congruence subgroup of U⁺(L) corresponding to g) equals E(g) (the subgroup generated by unitary transvections and quasitransvections with orders contained in g) (Theorem 7.7). Finally, let G be a subgroup of U⁺(L) with _o(G) = g, then G is a normal subgroup of U⁺(L) if and only if U(g) G E(g).     

On discrete subgroups containing a lattice in a horospherical subgroup

We showed in [Oh] that for a simple real Lie groupG with real rank at least 2, if a discrete subgroup Γ ofG contains lattices in two opposite horospherical subgroups, then Γ must be a non-uniform arithmetic lattice inG, under some additional assumptions on the horospherical subgroups. Somewhat surprisingly, a similar result is true even if we only assume that Γ contains a lattice in one horospherical subgroup, provided Γ is Zariski dense inG.     

A Boolean algebra of characteristic subgroups of a finite group

We construct a “natural” sublattice L(G) of the lattice of all of those subgroups of a finite group G that contain the Frattini subgroup F(G){\Phi(G)} . We show that L(G) is a Boolean algebra, and that its members are characteristic subgroups of G. If F(G){\Phi(G)} is trivial, then L(G) is exactly the set of direct factors U of G such that U and G/U have no common nontrivial homomorphic image.     

Homomorphisms between the chevalley groups over any fields of characteristic zero

Given an irreducible root system ∑, let G(F,L) denote the Cheval- ley group over a field F corresponding to a lattice L between the root lattice and the weight lattice of ∑,. We will determine all nontnvial homomorphisms from G(k,L ₁) to G(K,L ₂when k and K are any fields of characteristic zero, and we will verify that any nontrivial homomorphism from G(k,L ₁) to G(K,L ₂are induced by a field homomorphism from k to K by multiplying an automorphism of G(K,L ₂.     

Recognition by noncommuting graph of finite simple groups L 4(q)

Let G be a nonabelian group. We define the noncommuting graph ∇(G) of G as follows: its vertex set is G\Z(G), the set of non-central elements of G, and two different vertices x and y are joined by an edge if and only if x and y do not commute as elements of G, i.e., [x, y] ≠ 1. We prove that if L ∈ {L ₄(7), L ₄(11), L ₄(13), L ₄(16), L ₄(17)} and G is a finite group such that ∇(G) ≅ ∇(L), then G ≅ L.     

On the grading numbers of direct products of chains

For a finite lattice L, denote by $\text{l}{}^1\text{(L)}$ and $\text{l}{}_1\text{(L)}$ respectively the upper length and lower length of L. The grading number g(L) of L is defined as $\text{g(L) = l}{}^1\text{(}\text{Sub}\text{(L))-l}{}_1\text{(}\text{Sub}\text{(L))}$ where Sub(L) is the sublattice-lattice of L. We show that if K is a proper homomorphic image of a distributive lattice L, then $\text{l}{}_1\text{(}\text{Sub}\text{(K)) < l}{}_1\text{(}\text{Sub}\text{(L))}$; and derive from this result, formulae for $\text{l}{}_1\text{(}\text{Sub}\text{(L))}$ and g(L) where L is a product of chains.     

On the structure of some infinite dimensional linear groups

If G is a group and if the upper hypercenter, Z, of G is such that G∕Z is finite then a recent theorem shows that G contains a finite normal subgroup L such that G∕L is hypercentral. The purpose of the current paper is to obtain a version of this result for subgroups G of GL(F,A), when A is an infinite dimensionalF-vector space.     

Distributivity conditions for lattices of dominions in quasivarieties of Abelian groups

Let ℳ be any quasivariety of Abelian groups, L_q(ℳ) be a subquasivariety lattice of ℳ, dom _G ^ℳ be the dominion of a subgroup H of a group G in ℳ, and G/dom _G ^ℳ (H) be a finitely generated group. It is known that the set L(G, H, ℳ) = {dom _G ^N (H)| N ∈ L_q(ℳ)} forms a lattice w.r.t. set-theoretic inclusion. We look at the structure of dom _G ^ℳ (H). It is proved that the lattice L(G,H,ℳ) is semidistributive and necessary and sufficient conditions are specified for its being distributive. __________ Translated from Algebra i Logika, Vol. 45, No. 4, pp. 484–499, July–August, 2006.     

Deformations of complex structures on Γ/SL 2(C)

LetG be a connected complex semisimple Lie group. Let Γ be a cocompact lattice inG. In this paper, we show that whenG isSL ₂(C), nontrivial deformations of the canonical complex structure onX exist if and only if the first Betti number of the lattice Γ is non-zero. It may be remarked that for a wide class of arithmetic groups Γ, one can find a subgroup Γ′ of finite index in Γ, such that Γ′/[Γ′,Γ′] is finite (it is a conjecture of Thurston that this is true for all cocompact lattices inSL(2, C)). We also show thatG acts trivially on the coherent cohomology groupsH ⁱ(Γ/G, O) for anyi≥0.     

On the subgroup index problem in finite groups

We address the subgroup index problem in a given finite subgroup lattice L = ℓ(G) which is P-indecomposable and determine out of the structure of L the existence in G of a subgroup [(D)\tilde]\tilde D invariant for all automorphisms of L, with a cyclic complement R in G and where for any pair X ≤ Y of subgroups of [(D)\tilde]\tilde D the index |Y: X| can be computed using only structural properties of L. As a consequence, we show that in such an L all the terms of the Fitting series of G can be determined, as well as an upper bound of the order of G can be computed out of L as long as G has no cyclic Hall direct factor.     

Generalized Group Algebras of Locally Compact Groups

This article studies the homological properties of generalized group algebra L ¹(G, A) of a locally compact group G over a Banach algebra A with an identity of norm 1. It is shown that if L ¹(G, A) is right continuous then G is finite and A is right continuous. It is also shown that L ¹(G, A) is right self-injective if and only if G is finite and A is right self-injective.     

Two classes of finite groups whose Chermak-Delgado lattice is a chain of length zero

It is an open question in the study of Chermak-Delgado lattices precisely which finite groups G have the property that 𝒞𝒟(G) is a chain of length 0. In this note, we determine two classes of groups with this property. We prove that if G = AB is a finite group, where A and B are abelian subgroups of relatively prime orders with A normal in G, then the Chermak-Delgado lattice of G equals {AC_B(A)}, a strengthening of earlier known results.     

When a line graph associated to annihilating-ideal graph of a lattice is planar or projective

Let (L,∧, ∨) be a finite lattice with a least element 0. AG(L) is an annihilating-ideal graph of L in which the vertex set is the set of all nontrivial ideals of L, and two distinct vertices I and J are adjacent if and only if I ∧ J = 0. We completely characterize all finite lattices L whose line graph associated to an annihilating-ideal graph, denoted by L(AG(L)), is a planar or projective graph.     

Groups containing a strongly embedded subgroup

An involution v of a group G is said to be finite (in G) if vv ^g has finite order for any g ∈ G. A subgroup B of G is called a strongly embedded (in G) subgroup if B and G\B contain involutions, but B ∩ B ^g does not, for any g ∈ G\B. We prove the following results. Let a group G contain a finite involution and an involution whose centralizer in G is periodic. If every finite subgroup of G of even order is contained in a simple subgroup isomorphic, for some m, to L ₂(2 ^m ) or Sz(2 ^m ), then G is isomorphic to L ₂(Q) or Sz(Q) for some locally finite field Q of characteristic two. In particular, G is locally finite (Thm. 1). Let a group G contain a finite involution and a strongly embedded subgroup. If the centralizer of some involution in G is a 2-group, and every finite subgroup of even order in G is contained in a finite non-Abelian simple subgroup of G, then G is isomorphic to L ₂(Q) or Sz(Q) for some locally finite field Q of characteristic two (Thm. 2). Supported by RFBR (project No. 08-01-00322), by the Council for Grants (under RF President) and State Aid of Leading Scientific Schools (grant NSh-334.2008.1), and by the Russian Ministry of Education through the Analytical Departmental Target Program (ADTP) “Development of Scientific Potential of the Higher School of Learning” (project Nos. 2.1.1.419 and 2.1.1./3023). (D. V. Lytkina and V. D. Mazurov) Translated from Algebra i Logika, Vol. 48, No. 2, pp. 190–202, March–April, 2009.     

On Π-Supplemented Subgroups of a Finite Group

A subgroup H of a finite group G is said to satisfy Π-property in G if for every chief factor L/K of G, |G/K: N_G/K(HK/K ∩ L/K)| is a π(HK/K ∩ L/K)-number. A subgroup H of G is called Π-supplemented in G if there exists a subgroup T of G such that G = HT and H ∩ T ≤ I ≤ H, where I satisfies Π-property in G. In this article, we investigate the structure of a finite group G under the assumption that some primary subgroups of G are Π-supplemented in G. The main result we proved improves a large number of earlier results.     

Strong Arens irregularity of Beurling algebras with a locally convex topology

Let G be a locally compact group with a weight function ω. Recently, we have shown that the Banach space L₀^∞ (G,1/ω) can be identified with the strong dual of L¹(G, ω)equipped with some locally convex topologies τ. Here we use this duality to introduce an Arens multiplication on (L¹(G, ω), τ)**, and prove that the topological center of (L¹(G, ω), τ)** is (L¹(G, ω); this enables us to conclude that (L¹(G, ω), τ) is Arens regular if and only if G is discrete. We also give a characterization for Arens regularity of L₀^∞ (G, 1/ω)¹. Received: 8 March 2005     

Multiplicities of the integrable discrete series: The case of a nonuniform lattice in an R-rank one semisimple group

Let G be a noncompact connected simple Lie group of split-rank 1. Assume that G possesses a compact Cartan subgroup so that the discrete series for G is not empty. Let Γ be a nonuniform lattice in G. In this paper, we give an explicit formula for the multiplicity with which an integrable discrete series representation of G occurs in the space of cusp forms in L²(G/Γ).