Two enumeration principles for free algebras. (English) Zbl 0547.08008

Two enumeration principles for finite free algebras in locally finite varieties, based respectively on essential dependence and linearity, are discussed and illustrated. A concept of linearly essential dependence of an algebraic operation on its arguments is then introduced, enabling these two principles to be combined. The technique obtained is applied to varieties of commutative Moufang loops. In particular, the free commutative exponent 3 Moufang loop of nilpotence 4 with \(n\) generators is shown to have cardinality \(3^{d(n)}\), where \[ d(n) = n + \binom{n}{3} + 4 \binom{n}{4} + 14 \binom{n}{5} + 30\binom{n}{6} +20\binom{n}{7}. \]


08B20 Free algebras
20N05 Loops, quasigroups
Full Text: EuDML