A proof of Frankl’s union-closed sets conjecture for dismantlable lattices

For a lattice L, let Princ(L) denote the ordered set of principal congruences of L. In a pioneering paper, G. Grätzer characterized the ordered set Princ(L) of a finite lattice L; here we do the same for a countable lattice. He also showed that every bounded ordered set H is isomorphic to Princ(L) of a bounded lattice L. We prove a related statement: if an ordered set H with a least element is the union of a chain of principal ideals (equivalently, if 0 \({\in}\) H and H has a cofinal chain), then H is isomorphic to Princ(L) of some lattice L.     

Quasirecognition by prime graph of <Emphasis Type="Italic">L</Emphasis><Subscript>10</Subscript>(2)

Let G be a finite group. The prime graph of G is denoted by Γ(G). The main result we prove is as follows: If G is a finite group such that Γ(G) = Γ(L ₁₀(2)) then G/O ₂(G) is isomorphic to L ₁₀(2). In fact we obtain the first example of a finite group with the connected prime graph which is quasirecognizable by its prime graph. As a consequence of this result we can give a new proof for the fact that the simple group L ₁₀(2) is uniquely determined by the set of its element orders.     

Schur multipliers and the Lazard correspondence

Let G be a finite p-group of nilpotency class less than p?1, and let L be the Lie ring corresponding to G via the Lazard correspondence. We show that the Schur multipliers of G and L are isomorphic as abelian groups and that every Schur cover of G is in Lazard correspondence with a Schur cover of L. Further, we show that the epicenters of G and L are isomorphic as abelian groups. Thus the group G is capable if and only if the Lie ring L is capable.     

Thompson’s conjecture for the alternating group of degree 2<Emphasis Type="Italic">p</Emphasis> and 2<Emphasis Type="Italic">p</Emphasis>+1

For a finite group G denote by N(G) the set of conjugacy class sizes of G. In 1980s, J.G.Thompson posed the following conjecture: If L is a finite nonabelian simple group, G is a finite group with trivial center and N(G) = N(L), then G ? L. We prove this conjecture for an infinite class of simple groups. Let p be an odd prime. We show that every finite group G with the property Z(G) = 1 and N(G) = N(A _i ) is necessarily isomorphic to A _i , where i ∈ {2p, 2p + 1}.     

Characterization of the alternating groups by their order and one conjugacy class length

Let G be a finite group, and let N(G) be the set of conjugacy class sizes of G. By Thompson’s conjecture, if L is a finite non-abelian simple group, G is a finite group with a trivial center, and N(G) = N(L), then L and G are isomorphic. Recently, Chen et al. contributed interestingly to Thompson’s conjecture under a weak condition. They only used the group order and one or two special conjugacy class sizes of simple groups and characterized successfully sporadic simple groups (see Li’s PhD dissertation). In this article, we investigate validity of Thompson’s conjecture under a weak condition for the alternating groups of degrees p+1 and p+2, where p is a prime number. This work implies that Thompson’s conjecture holds for the alternating groups of degree p + 1 and p + 2.     

Periodic Groups Saturated with the Groups <Emphasis Type="Italic">L</Emphasis><Subscript>2</Subscript>(<Emphasis Type="Italic">p</Emphasis><Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>)

Given an indexing set I and a finite field K_α for each α ∈ I, let ? = {L₂(K_α) | α ∈ I} and \(\mathfrak{N} = \{ SL_2 (K_\alpha )|\alpha \in I\}\). We prove that each periodic group G saturated with groups in \(\Re (\mathfrak{N})\) is isomorphic to L₂(P) (respectively SL₂(P)) for a suitable locally finite field P.     

Intersections of Primary Subgroups in Nonsoluble Finite Groups Isomorphic to <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>(2<Superscript><Emphasis Type="Italic">m</Emphasis></Superscript>)

Given a finite group G with socle isomorphic to L _n (2 ^m ), we describe (up to conjugacy) all ordered pairs of primary subgroups A and B in G such that A ∩ B ^g ≠ 1 for all g ∈ g.     

<Emphasis Type="Bold">K</Emphasis><Subscript>0</Subscript> of Semiartinian Von Neumann Regular Rings. Direct Finiteness Versus Unit-Regularity

If R is a regular and semiartinian ring, it is proved that the following conditions are equivalent: (1) R is unit-regular, (2) every factor ring of R is directly finite, (3) the abelian group K _O(R) is free and admits a basis which is in a canonical one to one correspondence with a set of representatives of simple right R-modules. For the class of semiartinian and unit-regular rings the canonical partial order of K _O(R) is investigated. Starting from any partially ordered set I, a special dimension group G(I) is built and a large class of semiartinian and unit-regular rings is shown to have the corresponding K _O(R) order isomorphic to G(P r i m _R ), where P r i m _R is the primitive spectrum of R. Conversely, if I is an artinian partially ordered set having a finite cofinal subset, it is proved that the dimension group G(I) is realizable as K _O(R) for a suitable semiartinian and unit-regular ring R.     

On the finite prime spectrum minimal groups

Let G be a finite group. The set of all prime divisors of the order of G is called the prime spectrum of G and is denoted by π(G). A group G is called prime spectrum minimal if π(G) ≠ π(H) for any proper subgroup H of G. We prove that every prime spectrum minimal group all of whose nonabelian composition factors are isomorphic to the groups from the set {PSL ₂(7), PSL ₂(11), PSL ₅(2)} is generated by two conjugate elements. Thus, we extend the corresponding result for finite groups with Hall maximal subgroups. Moreover, we study the normal structure of a finite prime spectrum minimal group with a nonabelian composition factor whose order is divisible by exactly three different primes.     

On finite groups for which the lattice of <Emphasis Type="Italic">S</Emphasis>-permutable subgroups is distributive

Let p be a prime and let P be a Sylow p-subgroup of a finite nonabelian group G. Let bcl(G) be the size of the largest conjugacy classes of the group G. We show that if p is an odd prime but not a Mersenne prime or if P does not involve a section isomorphic to the wreath product \({Z_p \wr Z_p}\), then \({|P/O_p(G)| \leq bcl(G)}\).     

Intersections of two nilpotent subgroups in finite groups with socle <Emphasis Type="Italic">L</Emphasis><Subscript>2</Subscript>(<Emphasis Type="Italic">q</Emphasis>)

Given a finite group G with socle isomorphic to L ₂(q), q ≥ 4, we describe, up to conjugacy, all pairs of nilpotent subgroups A and B of G such that A ∩ B ^g ≠ 1 for all g ∈ G.     

Homomorphisms and principal congruences of bounded lattices. II. Sketching the proof for sublattices

A recent result of G. Czédli relates the ordered set of principal congruences of a bounded lattice L with the ordered set of principal congruences of a bounded sublattice K of L. In this note, I sketch a new proof.     

Finite simple groups that are not spectrum critical

Let G be a finite group. The spectrum of G is the set ω(G) of orders of all its elements. The subset of prime elements of ω(G) is called the prime spectrum and is denoted by π(G). A group G is called spectrum critical (prime spectrum critical) if, for any subgroups K and L of G such that K is a normal subgroup of L, the equality ω(L/K) = ω(G) (π(L/K) = π(G), respectively) implies that L = G and K = 1. In the present paper, we describe all finite simple groups that are not spectrum critical. In addition, we show that a prime spectrum minimal group G is prime spectrum critical if and only if its Fitting subgroup F(G) is a Hall subgroup of G.     

Groups Satisfying the Two-Prime Hypothesis with a Composition Factor Isomorphic to PSL<Subscript>2</Subscript>(<Emphasis Type="Italic">q</Emphasis>) for <Emphasis Type="Italic">q</Emphasis> ⩾ 7

Let G be a finite group and write cd(G) for the degree set of the complex irreducible characters of G. The group G is said to satisfy the two-prime hypothesis if for any distinct degrees a, b 2 cd(G), the total number of (not necessarily different) primes of the greatest common divisor gcd(a, b) is at most 2. We prove an upper bound on the number of irreducible character degrees of a nonsolvable group that has a composition factor isomorphic to PSL₂(q) for q ? 7.     

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.     

Recognition by spectrum of simple groups <Emphasis Type="Italic">C</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>(2)

It is proved that, if G is a finite group that has the same set of element orders as the simple group C _p (2) for prime p > 3, then G/O ₂(G) is isomorphic to C _p (2).     

On the Characterizability of the Automorphism Groups of Sporadic Simple Groups by Their Element Orders

For G a finite group, π _e (G) denotes the set of orders of elements in G. If Ω is a subset of the set of natural numbers, h(Ω) stands for the number of isomorphism classes of finite groups with the same set Ω of element orders. We say that G is k-distinguishable if h(π _e (G)) = k < ∞, otherwise G is called non-distinguishable. Usually, a 1-distinguishable group is called a characterizable group. It is shown that if M is a sporadic simple group different from M ₁₂, M ₂₂, J ₂, He, Suz, M ^c L and O′N, then Aut(M) is characterizable by its element orders. It is also proved that if M is isomorphic to M ₁₂, M ₂₂, He, Suz or O′N, then h(π _e (Aut(M))) ∈¸ {1,∞}.     

On Thompson’s conjecture for alternating and symmetric groups of degree greater than 1361

Let G be a finite group G, and let N(G) be the set of sizes of its conjugacy classes. It is shown that, if N(G) equals N(Alt _n ) or N(Sym _n ), where n > 1361, then G has a composition factor isomorphic to an alternating group Altm with m ≤ n and the interval (m, n] contains no primes.     

Representing some families of monotone maps by principal lattice congruences

For a lattice L with 0 and 1, let Princ(L) denote the set of principal congruences of L. Ordered by set inclusion, it is a bounded ordered set. In 2013, G. Grätzer proved that every bounded ordered set is representable as Princ(L); in fact, he constructed L as a lattice of length 5. For {0, 1}-sublattices \({A \subseteq B}\) of L, congruence generation defines a natural map Princ(A) \({\longrightarrow}\) Princ(B). In this way, every family of {0, 1}-sublattices of L yields a small category of bounded ordered sets as objects and certain 0-separating {0, 1}-preserving monotone maps as morphisms such that every hom-set consists of at most one morphism. We prove the converse: every small category of bounded ordered sets with these properties is representable by principal congruences of selfdual lattices of length 5 in the above sense. As a corollary, we can construct a selfdual lattice L in G. Grätzer's above-mentioned result.     

A perfect non-topologizable group

The first example of a group G whose automorphism group Aut (G) admits only discrete separated topology is presented in the paper. The group G is isomorphic to Aut (G) and all elements of the group G except for the unity satisfy some equation w(x) = 1.