Paper «The abelian kernel of an inverse semigroup» published in Mathematics

The following paper has been published:
El siguiente artículo ha sido publicado:
El següent article ha sigut publicat:

Adolfo Ballester-Bolinches, Vicent Pérez-Calabuig.
The abelian kernel of an inverse semigroup.
Mathematics, 8(8):1219 (12 pages), 2020.

doi:10.3390/math8081219

Abstract

The problem of computing the abelian kernel of a finite semigroup was first solved by Delgado describing an algorithm that decides whether a given element of a finite semigroup S belongs to the abelian kernel. Steinberg extended the result for any variety of abelian groups with decidable membership. In this paper, we used a completely different approach to complete these results by giving an exact description of the abelian kernel of an inverse semigroup. An abelian group that gives this abelian kernel was also constructed.

2020 Mathematics Subject Classification: 20M10, 20M17

Keywords: finite semigroup; abelian kernels; profinite topologies; partial automorphisms; extension problem

Paper «On large orbits of supersoluble subgroups of linear groups» published in J. Lond. Math. Soc. (2)

The following paper has been published:
El siguiente artículo ha sido publicado:
El següent article ha sigut publicat:

H. Meng, A. Ballester-Bolinches, and R. Esteban-Romero.
On large orbits of supersoluble subgroups of linear groups.
J. Lond. Math. Soc. (2), 101(2):490–504, 2020.

doi:10.1112/jlms.12266

Abstract

We prove that if G is a finite soluble group, V is a finite faithful completely reducible G-module, and H is a supersoluble subgroup of G, then H has at least one regular orbit on VV.

2020 Mathematics Subject Classification: 20C15, 20D10, 20D45

Keywords: linear group, regular orbit, supersoluble group

Paper «On large orbits of actions of finite soluble groups: applications» published in Recent advances in pure and applied mathematics

The following paper has been published:
El siguiente artículo ha sido publicado:
El següent article ha sigut publicat:

Adolfo Ballester-Bolinches, Ramon Esteban-Romero, and H. Meng.
On large orbits of actions of finite soluble groups: applications.
Recent advances in pure and applied mathematics. Based on contributions presented at the Second Joint Meeting Spain-Brazil in Mathematics, Cádiz, Spain, December 11–14, 2018, pages 105–113. Cham: Springer, 2020.

doi:10.1007/978-3-030-41321-7_8

Abstract

The main aim of this survey paper is to present two orbit theorems and to show how to apply them to obtain a result that can be regarded as a significant step towards the solution of Gluck’s conjecture on large character degrees of finite soluble groups. We also show how to apply them to solve questions about intersections of some conjugacy families of subgroups of finite soluble groups.

2020 Mathematics Subject Classification: 20C15, 20D10, 20D20, 20D45

Keywords: finite groups, soluble groups, linear groups, regular orbits, formations, prefrattini subgroups, system normalisers

Paper «The number of maximal subgroups and probabilistic generation of finite groups» published in Int. J. Group Theory

The following paper has been published:
El siguiente artículo ha sido publicado:
El següent article ha sigut publicat:

Adolfo Ballester-Bolinches, Ramón Esteban-Romero, Paz Jiménez-Seral, Hangyang Meng.
The number of maximal subgroups and probabilistic generation of finite groups.
Int. J. Group Theory, 9(1):31–42, 2020.

doi:10.22108/ijgt.2019.114469.1521

Abstract

In this survey we present some significant bounds for the‎ ‎number of maximal subgroups of a given index of a finite group‎. ‎As a‎ ‎consequence‎, ‎new bounds for the number of random‎ ‎generators needed to generate a finite d-generated group with high‎ ‎probability which are significantly tighter than the ones obtained in‎ ‎the paper of Jaikin-Zapirain and Pyber (Random generation of finite‎ ‎and profinite groups and group enumeration‎, Ann. Math.‎, 183 (2011) 769–814) are obtained‎. ‎The results of‎ ‎Jaikin-Zapirain and Pyber‎, ‎as well as other results of Lubotzky‎, ‎Detomi‎, ‎and Lucchini‎, ‎appear as particular cases of our theorems‎.

2020 Mathematics Subject Classification: 20P05

Keywords: finite group; maximal subgroup; probabilistic generation; primitive group

Paper «On σ-subnormality criteria in finite σ-soluble groups» published in Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Mat. RACSAM

The following paper has been published:
El siguiente artículo ha sido publicado:
El següent article ha sigut publicat:

A. Ballester-Bolinches, S. F. Kamornikov, M. C. Pedraza-Aguilera, and V. Pérez-Calabuig.
On σ-subnormality criteria in finite σ-soluble groups.
Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Mat. RACSAM, 114(2):Paper No. 94, 9, 2020.

doi:10.1007/s00009-019-1444-5

Abstract

Let σ = {σi : iI} be a partition of the set ℙ of all prime numbers. A subgroup X of a finite group G is called σ-subnormal in G if there is a chain of subgroups X = X0X1 ⊆⋯⊆ Xn = G where for every j=1,…,n the subgroup Xj-1 is normal in Xj or Xj/CoreXj(Xj-1) is a σi-group for some iI. In the special case that σ is the partition of ℙ into sets containing exactly one prime each, the σ-subnormality reduces to the familiar case of subnormality. In this paper some σ-subnormality criteria for subgroups of σ-soluble groups, or groups in which every chief factor is a σi-group, for some iI, are showed.

2020 Mathematics Subject Classification: 20D10, 20D20

Keywords: finite group; σ-solubility; σ-nilpotency; σ-subnormal subgroup; factorised group

Paper «Congruence-based proofs of the recognizability theorems for free many-sorted algebras» published in J. Logic Comput.

The following paper has been published:
El siguiente artículo ha sido publicado:
El següent article ha sigut publicat:

J. Climent Vidal and E. Cosme Llópez.
Congruence-based proofs of the recognizability theorems for free many-sorted algebras.
J. Logic Comput., 30(2):561–633, 2020.

doi:10.1093/logcom/exz032

Abstract

We generalize several recognizability theorems for free single-sorted algebras to free many-sorted algebras and provide, in a uniform way and without using either regular tree grammars or tree automata, purely algebraic proofs of them based on congruences.

Keywords: free many-sorted algebra, recognizability, congruence

Paper «On factorised finite groups» published in Mediterr. J. Math.

The following paper has been published:
El siguiente artículo ha sido publicado:
El següent article ha sigut publicat:

A. Ballester-Bolinches, Y. Li, M. C. Pedraza-Aguilera, Ning Su.
On factorised finite groups.
Mediterr. J. Math., 17(2):Paper No. 65, 7, 2020.

doi:10.1007/s00009-020-1500-1

Abstract

A subgroup H of a finite group G is called ℙ-subnormal in G if either H = G or it is connected to G by a chain of subgroups of prime indices. In this paper, some structural results of finite groups which are factorised as the product of two ℙ-subnormal subgroups is showed.

2020 Mathematics Subject Classification: 20D10, 20D25

Keywords: finite group; factorised group; w-supersoluble group; ℙ-subnormal subgroup

Paper «An elementary proof of a theorem of Graham on finite semigroups» published in Mathematics

The following paper has been published:
El siguiente artículo ha sido publicado:
El següent article ha sigut publicat:

Adolfo Ballester-Bolinches and Vicent Pérez-Calabuig
An elementary proof of a theorem of Graham on finite semigroups.
Mathematics, 8(1):105 (5 pages), 2020.

doi:10.3390/math8010105

Abstract

The purpose of this note is to give a very elementary proof of a theorem of Graham that provides a structural description of finite 0-simple semigroups and its idempotent-generated subsemigroups.

2010 Mathematics Subject Classification: 20M10, 20M17

Keywords: finite semigroup; regular semigroup; 0-simple semigroup

Paper «A characterization of the n-ary many-sorted closure operators and a many-sorted Tarski irredundant basis theorem» in Quaest. Math.

The following paper has been published:
El siguiente artículo ha sido publicado:
El següent article ha sigut publicat:

J. Climent Vidal, E. Cosme Llópez.
A characterization of the $n$-ary many-sorted closure operators and a many-sorted Tarski irredundant basis theorem.
Quaest. Math., 42:1427-1444, 2019.

doi: 10.2989/16073606.2018.1532931

Abstract:

A theorem of single-sorted algebra states that, for a closure space (A, J ) and a natural number n, the closure operator J on the set A is n-ary if and only if there exists a single-sorted signature Σ and a Σ-algebra A such that every operation of A is of an arity ≤ n and J = SgA, where SgA is the subalgebra generating operator on A determined by A. On the other hand, a theorem of Tarski asserts that if J is an n-ary closure operator on a set A with n ≥ 2, then, for every i, j ∈ IrB(A, J ), where IrB(A, J ) is the set of all natural numbers which have the property of being the cardinality of an irredundant basis ( minimal generating set) of A with respect to J , if i < j and {i + 1, . . . , j − 1} ∩ IrB(A, J ) = Ø, then j − i ≤ n − 1. In this article we state and prove the many-sorted counterparts of the above theorems. But, we remark, regarding the first one under an additional condition: the uniformity of the many-sorted closure operator.

2020 Mathematics Subject Classification: 06A15, 54A05.

Keywords: S-sorted set, delta of Kronecker, support of an S-sorted set, n-ary many-sorted closure operator, uniform many-sorted closure operator, irredundant basis with respect to a many-sorted closure operator.

Paper «On large orbits of subgroups of linear groups» published in Trans. Amer. Math. Soc.

The following paper has been published:
El siguiente artículo ha sido publicado:
El següent article ha sigut publicat:

H. Meng, A. Ballester-Bolinches y R. Esteban-Romero.
On large orbits of subgroups of linear groups.
Trans. Amer. Math. Soc., 372(4):2589-2612, 2019.

doi:10.1090/tran/7639

Abstract

The main aim of this paper is to prove an orbit theorem and to apply it to obtain a result that can be regarded as a significant step towards the solution of Gluck’s conjecture on large character degrees of finite solvable groups.

2010 Mathematics Subject Classification: 20C15, 20D20, 20D45

Keywords: Finite groups, solvable groups, linear groups, regular orbits, representations of groups