Independent axiomatizability of quasi-varieties of soluble groups

DOI10.1007/BF01978829MaRDI QIDQ1803009zbMATH OpenOpenAlexFDO

Authors Alexander Ivanovich Budkin

Publication date 29 June 1993

Published in Algebra and Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01978829

zbMATH Keywords

coversindependent axiomatizabilityindependent bases of quasi-identitieslattice of quasi-varietiesquasi-varieties of groups

Mathematics Subject Classification ID

Lattices of varieties (08B15) Quasivarieties (08C15) Applications of logic to group theory (20A15) Quasivarieties and varieties of groups (20E10) Solvable groups, supersolvable groups (20F16)

Review text

The question of independent axiomatizability was studied in various classes of algebraic systems; in the present paper it will be studied in the context of quasi-varieties of groups. Let \(\mathcal A\) be the class of all abelian groups, \(L_ q\) the lattice of the quasi-varieties in which all groups are soluble. It is natural to ask for the existence of independent bases of quasi-identities of the quasi-varieties which are covers of the quasi-variety \(\mathcal A\) in the lattice \(L_ q\). In this paper we find all covers of the quasi-variety \(\mathcal A\) in the lattice \(L_ q\). For each of these covers we solve the question of existence of an independent basis of quasi-identities.

Recommendations

• Independent axiomatizability of quasivarieties of generalized solvable groups
• Independent axiomatizability of quasivarieties of torsion-free nilpotent groups
• Independent axiomatization of varieties of lattice ordered groups
• Existence of independent quasi-equational bases
• On the independent axiomatizability of quasivarieties of universal algebras

Cites work

• A Note on the Implicational Class Generated by a Class of Structures
• Density Questions in Algebraic Number Theory
• Finiteness Conditions for Soluble Groups
• scientific article; zbMATH DE number 3137403 (Why is no real title available?)
• scientific article; zbMATH DE number 3912608 (Why is no real title available?)
• scientific article; zbMATH DE number 3712200 (Why is no real title available?)
• scientific article; zbMATH DE number 52254 (Why is no real title available?)
• scientific article; zbMATH DE number 3496231 (Why is no real title available?)
• scientific article; zbMATH DE number 4000203 (Why is no real title available?)
• scientific article; zbMATH DE number 3801788 (Why is no real title available?)
• Varieties of groups

Cited in

(12)

• Independent axiomatizability of quasivarieties of generalized solvable groups
• Quasiequational bases of Cantor algebras
• On the independent axiomatizability of quasivarieties of universal algebras
• On the \(\omega\)-independence of quasivarieties of nilpotence groups
• On sufficient conditions for \(Q\)-universality
• \( \omega \)-independent bases for quasivarietes of torsion-free groups
• Bi-interpretability and QFA structures: study of some soluble groups and commutative rings. (Bi-interprétabilité et structures QFA : étude de groupes résolubles et des anneaux commutatifs
• On the independent axiomatizability of quasivarieties of nilpotent groups
• Independent axiomatization of varieties of lattice ordered groups
• scientific article; zbMATH DE number 1873419 (Why is no real title available?)
• Independence of the axioms of hypergroup over the group
• The quasivariety lattice of torsion-free soluble groups.

This page was built for publication: Independent axiomatizability of quasi-varieties of soluble groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1803009)