Minimal permutation representations of finite simple exceptional groups of typesG 2 andF 4

A minimal permutation representation of a group is a faithful permutation representation of least degree. Well-studied to date are the minimal permutation representations of finite sporadic and classical groups for which degrees, point stabilizers, as well as ranks, subdegrees, and double stabilizers, have been found. Here we attempt to provide a similar account for finite simple ezceptional groups of types G₂ and F₄. Supported by RFFR grant No. 96-01-01893, the program “Universities of Russia,” and by International Science Foundation and Government of Russia grant No. RPC300. Translated fromAlgebra i Logika, Vol. 35, No. 6, pp. 663–684, November–December, 1996.     

Minimal permutation representations of finite simple exceptional twisted groups

A minimal permutation representation of a group is its faithful permutation representation of least degree. Here the minimal permutation representations of finite simple exceptional twisted groups are studied: their degrees and point stabilizers, as well as ranks, subdegrees, and double stabilizers, are found. We can thus assert that, modulo the classification of finite simple groups, the aforesaid parameters are known for all finite simple groups. Supported by RFFR grant No. 96-01-01893, through the program “Universities of Russia”, and by grant No. RPC300 of ISF and the Government of Russia. Translated fromAlgebra i Logika, Vol. 37, No. 1, pp. 17–35, January–February, 1998.     

Parabolic permutation representations of the group2 E 6(q 2)

For the twisted group of Lie type² E ₆(q ²), we calculate the ranks, degrees, subdegrees, and double stabilizers of the permutation representations related to parabolic maximal subgroups of nonminimal index. Translated fromMatematicheskie Zametki, Vol. 67, No. 6, pp. 899–912, June, 2000.     

Abstract isomorphisms of quasiminimal groups

A connected solvable algebraic group is called minimal if its center is trivial and it has no proper connected subgroups with trivial center. We show that abstract isomorphisms of minimal groups defined over fields of characteristic zero are standard. Supported by RFFR grants Nos. 96-01-01678 and 96-01-01675, and by the State Committee for Higher Education of Russia, grant No. 2. Translated fromAlgebra i Logika, Vol. 35, No. 5, pp. 567–586, September–October, 1996.     

Infinite groups with Abelian centralizers of involutions

The article contains two characterizations of projective linear groups PGL₂(P) over a locally finite field P of characteristic 2: the first is defined in terms of permutation groups, and the second, in terms of a structure of involution centralizers. One of the two is used to prove the existence of infinite groups which are recognizable by the set of their element orders. In memory of Viktor A. Gorbunov Supported by RFFR grant No. 99-01-00550. Translated fromAlgebra i Logika, Vol. 39, No. 1, pp. 74–86, January–February, 2000.     

A method of proving interpolation in paraconsistent extensions of the minimal logic

The interpolation property in extensions of Johansson’s minimal logic is investigated. The construction of a matched product of models is proposed, which allows us to prove the interpolation property in a number of known extensions of the minimal logic. It is shown that, unlike superintuitionistic, positive, and negative logics, a sum of J-logics with the interpolation property CIP may fail to possess _CIP, nor even the restricted interpolation property. Supported by RFBR grant No. 06-01-00358, by INTAS grant No. 04-77-7080, and by the Council for Grants (under RF President) and State Aid of Fundamental Science Schools, project NSh-4787.2006.1. __________ Translated from Algebra i Logika, Vol. 46, No. 5, pp. 627–648, September–October, 2007.     

A Biordered Set Representation of Regular Semigroups

In this paper, for an arbitrary regular biordered set E, by using biorder-isomorphisms between the w-ideals of E, we construct a fundamental regular semigroup WE called NH-semigroup of E, whose idempotent biordered set is isomorphic to E. We prove further that WE can be used to give a new representation of general regular semigroups in the sense that, for any regular semigroup S with the idempotent biordered set isomorphic to E, there exists a homomorphism from S to WE whose kernel is the greatest idempotent-separating congruence on S and the image is a full symmetric subsemigroup of WE. Moreover, when E is a biordered set of a semilattice Eo, WE is isomorphic to the Munn-semigroup TEo; and when E is the biordered set of a band B, WE is isomorphic to the Hall-semigroup WB.     

Universally equivalent solvable groups

Every group that is finitely presented in the varietyA ⁿ of solvable groups. and is universally equivalent to a free group F_r(A ⁿ) in this variety, is embedded in the Cartesian degree of F₂(A ⁿ). All subgroups on a set of two generators in that Cartesian degree which are universally equivalent to F₂(A ⁿ) are determined. Free solvable and nilpotent groups are proved universally equivalent. Supported by RFFR grant No. 99-01-00567, and through the RP “Universities of Russia. Fundamental Research.” Translated fromAlgebra i Logika, Vol. 39, No. 2, pp. 227–240, March–April, 2000.     

A characterization of some geometries of Lie type

For geometries associated with permutation representations of the groups of Lie type E ₆, E ₇, E ₈ on certain maximal parabolic subgroups (e.g. the stabilizers of root subgroups), axiom systems are given that characterize them in terms of points and lines.     

A characterization of finite nonsimple groups by the set of orders of their elements

It is proved that the permutation wreath product H of a simple Suzuki group Sz(2⁷) and a subgroup fo a symmetric group of degree 23, isomorphic to a Frobenius group of order 253, is (up to isomorphism) distinguished among all finite groups by the set of orders of its elements. Since H possesses a minimal normal subgroup N that contains an element of order equal to the exponent of N, this result furnishes a counterexample to one of the conjectures set forth by Shi [1]. In addition, we show that the direct square of a group Sz(2⁷) is also distinguished by the set of orders of its elements. Supported by RFFR grant No. 96-01-01893. Translated fromAlgebra i Logika, Vol. 36, No. 3, pp. 304–322, May–June, 1997.     

Δ 2 0 -copies of linear orderings

It is proved that, for any n ∈ ω, there exist countable linear orderings L_n whose Δ ₂ ⁰ -spectrum consists of exactly all non n-low Δ ₂ ⁰ -degrees. Properties of such orderings are examined, for n = 1 and n = 2. Supported by RFBR grant No. 02-01-00169 and by RF Ministry of Education grant No. E02-1.0-177. __________ Translated from Algebra i Logika, Vol. 45, No. 3, pp. 354–370, May–June, 2006.     

Locally nilpotent groups with the minimal condition on centralizers

It is proved that locally nilpotent groups with the minimal condition on centralizers are hypercentral, and that the Fitting subgroup of a group with the minimal condition on centralizers of normal subgroups is nilpotent. Supported by RFFR grant No. 96-01-00358. Translated fromAlgebra i Logika, Vol. 37, No. 3, pp. 270–278, May–June, 1998.     

Recognition of finite simple groupsL 3(2 m ) ANDU 3(2 m ) by their element orders

It is proved that a finite group isomorphic to a simple non-Abelian group L₃(2^m) or U₃(2^m) is, up to isomorphism, recognizable by a set of its element orders. On the other hand, for every simple group S=S₄(2^m), there exist infinitely many pairwise non-isomorphic groups G with w(G)=w(S). As a consequence, we present a list of all recognizable finite simple groups G, for which 4t ∉ ω(G) with t>1. Supported by RFFR grant No. 99-01-00550, by the National Natural Science Foundation of China (grant No. 19871066), and by the State Education Ministry of China (grant No. 98083). Translated fromAlgebra i Logika, Vol. 39, No. 5, pp. 567–585, September–October, 2000.     

s-Representations for involutions¶on affine Kac–Moody algebras are polar

Let denote the eigenspace decomposition of a twisted affine Kac–Moody algebra with respect to an involution , where is a twisted loop algebra, is the center and d is the scaling element of . We endow with the standard bilinear symmetrical form.Then with and carries a Lorentzian signature. Let denote the group that corresponds to , then the adjoint representation of on can be restricted to and this submanifold is isometrical to the Hilbert space E _ε, where is the decomposition of the twisted loop algebra with respect to the induced involutionρ₀.We thus obtain an affine representation on E _ε and we show that this representation is polar, i. e., there exists a submanifold that intersects all orbits, and intersects them orthogonally. Received: 16 February 2000 RID=" ID="Supported by a DFG grant.     

Embedding and Maximal Regular Differential Operators in Sobolev-Lions Spaces

This study focuses on vector-valued anisotropic Sobolev-Lions spaces associated with Banach spaces E0, E. Several conditions are found that ensure the continuity and compactness of embedding operators that are optimal regular in these spaces in terms of interpolations of spaces E0 and E. In particular, the most regular class of interpolation spaces Eα between E0, E depending on α and the order of space are found and the boundedness of differential operators D^α from this space to Eα-valued Lp,γ spaces is proved. These results are applied to partial differential-operator equations with parameters to obtain conditions that guarantee the maximal Lp,γ regularity and R-positivity uniformly with respect to these parameters.     

Irreducible Algebraic Sets in Metabelian Groups

We present the construction for a u-product G₁ ○ G₂ of two u-groups G₁ and G₂, and prove that G₁ ○ G₂ is also a u-group and that every u-group, which contains G₁ and G₂ as subgroups and is generated by these, is a homomorphic image of G₁ ○ G₂. It is stated that if G is a u-group then the coordinate group of an affine space Gⁿ is equal to G ○ F_n, where F_n is a free metabelian group of rank n. Irreducible algebraic sets in G are treated for the case where G is a free metabelian group or wreath product of two free Abelian groups of finite ranks. __________ Translated from Algebra i Logika, Vol. 44, No. 5, pp. 601–621, September–October, 2005. Supported by RFBR grant No. 05-01-00292, by FP “Universities of Russia” grant No. 04.01.053, and by RF Ministry of Education grant No. E00-1.0-12.     

The property of being equationally Noetherian for some soluble groups

Let B be a class of groups A which are soluble, equationally Noetherian, and have a central series A = A₁ ⩾ A₂ ⩾ … A_n ⩾ … such that ⋂A_n = 1 and all factors A_n/A_n+1 are torsion-free groups; D is a direct product of finitely many cyclic groups of infinite or prime orders. We prove that the wreath product D ≀ A is an equationally Noetherian group. As a consequence we show that free soluble groups of arbitrary derived lengths and ranks are equationally Noetherian. Supported by RFBR grant No. 05-01-00292. __________ Translated from Algebra i Logika, Vol. 46, No. 1, pp. 46–59, January–February, 2007.     

Δ-spaces

We introduce the notion of a Δ-space and argue that a complete subcategory of the categoryTOP ₀of all topological T₀-spaces, defined by Δ-spaces, is a subdirectly closed subcategory ofTOP ₀that contains many of the known denotational semantic categories of topological spaces as subdirectly closed subcategories. As a consequence, the affirmative answer is given to Scott’s question which inquires whether the category of bifinite domains is a complete subdirectly closed subcategory ofEQU. Supported jointly by RFFR grant No. 96-0-00976 and by DFG grant No. 436-11312670. Translated fromAlgebra i Logika, Vol. 38, No. 6, pp. 667–679, November–December, 1999.     

Characterizations of finite groups by sets of orders of their elements

For a finite group G, ω(G) denotes the set of orders of its elements. If ω is a subset of the set of natural numbers, h(ω) stands for the number of pairwise nonisomorphic finite groups G for which ω(G)=ɛ. We prove that h(ω(G))=1, if G is isomorphic to S₉, S₁₁, S₁₂, S₁₃, or A₁₂, and h(ω(G))=2 if G is isomorphic to S₂(6) or to O ₈ ⁺ (2). 01 Supported by RFFR grant No. 96-01-01893. Translated fromAlgebra i Logika, Vol. 36, No. 1, pp. 37–53, January–February, 1997.     

Cayley graphs of the group ℤ4 and limits for minimal vertex-primitive graphs of HA-type

We point out a countable set of pairwise nonisomorphic Cayley graphs of the group ℤ⁴ that are limit for finite minimal vertex-primitive graphs admitting a vertex-primitive automorphism group containing a regular Abelian normal subgroup. Supported by RFBR grant No. 06-01-00378. __________ Translated from Algebra i Logika, Vol. 47, No. 2, pp. 203–214, March–April, 2008.