On independent varieties and some related notions
PAOLI, FRANCESCO;LEDDA, ANTONIO
2013-01-01
Abstract
We investigate the relation of independence between varieties, as well as a generalisation of such which we call strict quasi-independence. Concerning the former notion, we specify a procedure for constructing an independent companion of a given solvable subvariety of a congruence modular variety; we show that joins of independent varieties inherit Mal'cev properties from the joinands; we investigate independence in 3- and 4-permutable varieties; we provide a more economical axiomatisation for the join of two independent varieties than the ones available in the literature. We also explore the latter notion, showing inter alia that joins of strictly quasi-independent varieties inherit the congruence extension property and the strong amalgamation property from the joinands, and conversely. An application section investigates independent varieties of Boolean algebras with operators (in particular, Akishev and Goldblatt's bounded monadic algebras) and of groups. In particular, a complete characterisation of independent varieties of groups is givenFile | Size | Format | |
---|---|---|---|
Independent varieties versione bozza.pdf Solo gestori archivio
Type: versione post-print
Size 437.63 kB
Format Adobe PDF
|
437.63 kB | Adobe PDF | & nbsp; View / Open Request a copy |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.