Associativity and the cosmash product in operadic varieties of algebras

DOI10.1215/00192082-10678862MaRDI QIDQ6183825zbMATH OpenOpenAlexFDO

Authors Ülo Reimaa, Tim Van der Linden, Corentin Vienne

Publication date 4 January 2024

Published in Illinois Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2206.12096, https://projecteuclid.org/journals/illinois-journal-of-mathematics/volume-67/issue-3/Associativity-and-the-cosmash-product-in-operadic-varieties-of-algebras/10.1215/00192082-10678862.full

zbMATH Keywords

commutatorscosmash productsoperadic variety of algebras

Mathematics Subject Classification ID

Automorphisms and endomorphisms of algebraic structures (08A35) Categories of algebras (08C05) Automorphisms, derivations, other operators (nonassociative rings and algebras) (17A36) Equational categories (18C05) Protomodular categories, semi-abelian categories, Mal'tsev categories (18E13) Algebraic operads, cooperads, and Koszul duality (18M70)

Abstract: In this article, we characterise the operadic variety of commutative associative algebras over a field via a (categorical) condition: the associativity of the so-called cosmash product. This condition, which is closely related to commutator theory, is quite strong: for example, groups do not satisfy it. However, in the case of commutative associative algebras, the cosmash product is nothing more than the tensor product; which explains why in this case it is associative. We prove that in the setting of operadic varieties of algebras over a field, it is the only example. Further examples in the non-operadic case are also discussed.

Review text

Varieties of nonassociative, non commutative algebras given by operadic identities are studied. This varieties are given a product, called the cosmash product, defined as the kernel of a certain map. This cosmash product is related to commutator theory. In general, this cosmash product is not associative; it is in the case of the variety of associative and commuative algebras, where it is the usual tensor product. It is proved here that the only case of operadic variety of algebras such that the cosmash product is the one of commutative and associative algebras. Complements on non operadic cases are also given.

Recommendations

• scientific article; zbMATH DE number 1004560
• scientific article; zbMATH DE number 19692
• Operads and varieties of algebras defined by polylinear identities
• Tensor products and entropic varieties
• On the decomposition of the variety of alternative algebras into a product of subvarieties

Cites work

• A characterisation of Lie algebras amongst anti-commutative algebras
• A characterisation of Lie algebras via algebraic exponentiation
• Algebraic exponentiation in general categories
• Algebraic operads
• Algebraically coherent categories
• Algebras with representable representations
• Categorical algebra
• Central reflections and nilpotency in exact Mal'tsev categories
• Centralizers in action accessible categories
• Encyclopedia of Types of Algebras 2010
• Groups with Multiple Operators
• scientific article; zbMATH DE number 1644418 (Why is no real title available?)
• scientific article; zbMATH DE number 5005693 (Why is no real title available?)
• scientific article; zbMATH DE number 3765986 (Why is no real title available?)
• scientific article; zbMATH DE number 2222236 (Why is no real title available?)
• scientific article; zbMATH DE number 2222247 (Why is no real title available?)
• Non-associative algebras
• Normalities and commutators
• On actions and strict actions in homological categories
• Quadratic functors on pointed categories
• Semi-abelian categories
• Smash product of pointed objects in lextensive categories
• The ternary commutator obstruction for internal crossed modules
• Varieties of algebras

Cited in

(4)

• The associative operad and the weak order on the symmetric groups
• scientific article; zbMATH DE number 2104636 (Why is no real title available?)
• Weak representability of actions of non-associative algebras
• Categorical-algebraic aspects of Heyting semilattices

This page was built for publication: Associativity and the cosmash product in operadic varieties of algebras

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