Algebras with representable representations

DOI10.1017/S0013091521000304MaRDI QIDQ5159381zbMATH OpenOpenAlexFDO

Authors Xabier García-Martínez, M. Tsishyn, Tim Van der Linden

Publication date 27 October 2021

Published in Proceedings of the Edinburgh Mathematical Society (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2002.05924

zbMATH Keywords

action representabilityBeck modulederivationLie algebrarepresentation

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) Nonabelian homological algebra (category-theoretic aspects) (18G50)

Abstract: Just like group actions are represented by group automorphisms, Lie algebra actions are represented by derivations: up to isomorphism, a split extension of a Lie algebra $B$ by a Lie algebra $X$ corresponds to a Lie algebra morphism $BomathitDer(X)$ from $B$ to the Lie algebra $mathitDer(X)$ of derivations on $X$. In this article, we study the question whether the concept of a derivation can be extended to other types of non-associative algebras over a field $mathbbK$, in such a way that these generalised derivations characterise the $mathbbK$-algebra actions. We prove that the answer is no, as soon as the field $mathbbK$ is infinite. In fact, we prove a stronger result: already the representability of all abelian actions -- which are usually called representations or Beck modules -- suffices for this to be true. Thus we characterise the variety of Lie algebras over an infinite field of characteristic different from $2$ as the only variety of non-associative algebras which is a non-abelian category with representable representations. This emphasises the unique role played by the Lie algebra of linear endomorphisms $mathfrakgl(V)$ as a representing object for the representations on a vector space $V$.

Recommendations

• scientific article; zbMATH DE number 1009734
• Finite approximability and representability of Lie algebras
• Actor of a Lie-Leibniz algebra
• Matrix representations of infinite-dimensional Lie algebras
• scientific article; zbMATH DE number 4012848

Cites work

• A characterisation of Lie algebras amongst anti-commutative algebras
• A characterisation of Lie algebras via algebraic exponentiation
• A note on internal object action representability of 1-cat groups and crossed modules
• A note on the ``Smith is Huq condition
• A push forward construction and the comprehensive factorization for internal crossed modules
• Action accessibility for categories of interest
• Actor of a Lie-Leibniz algebra
• Algebraic exponentiation for categories of Lie algebras
• Algebraic exponentiation for Lie algebras
• Algebraic exponentiation in general categories
• Algebraically coherent categories
• Centralizers in action accessible categories
• Computing low dimensional Leibniz homology of some perfect Leibniz algebras
• Extensions, crossed modules and internal categories in categories of groups with operations
• Groups with Multiple Operators
• scientific article; zbMATH DE number 5119885 (Why is no real title available?)
• scientific article; zbMATH DE number 3765986 (Why is no real title available?)
• scientific article; zbMATH DE number 1141741 (Why is no real title available?)
• scientific article; zbMATH DE number 1950477 (Why is no real title available?)
• scientific article; zbMATH DE number 2222236 (Why is no real title available?)
• Identical relations in Lie algebras
• Internal crossed modules and Peiffer condition
• Obstruction theory in algebraic categories. I
• Semi-abelian categories
• Split extension classifiers in the category of cocommutative Hopf algebras
• The ternary commutator obstruction for internal crossed modules
• Universal strict general actors and actors in categories of interest

Cited in

(22)

• Algebras with inner MB-representation
• Some representations of TAF algebras
• Representable pseudo-interior algebras
• On some properties of Lie-centroids of Leibniz algebras
• On the capability of Hom-Lie algebras
• Action theory of alternative algebras
• Algebraic logoi
• scientific article; zbMATH DE number 125367 (Why is no real title available?)
• scientific article; zbMATH DE number 2147155 (Why is no real title available?)
• scientific article; zbMATH DE number 4116746 (Why is no real title available?)
• Representability of algebras finite over their centers.
• Algebraic exponentiation for Lie algebras
• Actor of a crossed module of dialgebras via tetramultipliers
• The Representation Type of Repetitive Algebras over the Real Number Field
• On the representability of actions of Leibniz algebras and Poisson algebras
• Associativity and the cosmash product in operadic varieties of algebras
• A characterisation of Lie algebras using ideals and subalgebras
• Weak representability of actions of non-associative algebras
• Coherent and ideal actions in ideally exact categories
• Action accessible and weakly action representable varieties of algebras
• Categorical-algebraic aspects of Heyting semilattices
• On Lie-holomorphs of Leibniz algebras

Describes a project that uses

Uses Software

• SINGULAR
• GitHub

This page was built for publication: Algebras with representable representations

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