6533b7d9fe1ef96bd126c405

RESEARCH PRODUCT

Languages associated with saturated formations of groups

Xaro Soler-escrivàJean-eric PinAdolfo Ballester-bolinches

subject

Group formationGeneral MathematicsFinite monoid[INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]0102 computer and information sciences01 natural sciencesregular languageRegular languageÁlgebra0101 mathematicsValenciaMathematicsFinite groupbiologyApplied Mathematics010102 general mathematicsACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.3: Formal LanguagesRegular languagebiology.organism_classificationAlgebra010201 computation theory & mathematicsMSC 68Q70 20D10 20F17 20M25finite groupsaturated formationformationsFinite automata

description

International audience; In a previous paper, the authors have shown that Eilenberg's variety theorem can be extended to more general structures, called formations. In this paper, we give a general method to describe the languages corresponding to saturated formations of groups, which are widely studied in group theory. We recover in this way a number of known results about the languages corresponding to the classes of nilpotent groups, soluble groups and supersoluble groups. Our method also applies to new examples, like the class of groups having a Sylow tower.; Dans un article précédent, les auteurs avaient montré comment étendre le théorème des variétés d'Eilenberg à des structures plus générales, les formations. Dans cet article, nous donnons une méthode générale pour décrire les langages correspondant à des formations saturées de groupe, qui sont beaucoup étudiées en théorie des groupes. Nous retrouvons de cette façon les résultats connus sur les langages correspondant aux classes des groupes nilpotents, résolubles, et superrésolubles. Notre méthode s'applique aussi à de nouveaux exemples, telles que la classe des groupes ayant une tour de Sylow.

10.1515/forum-2012-0161https://hal.archives-ouvertes.fr/hal-01248004/document