Abstract
Factor systems are a tool for working on the extension problem of algebraic structures such as groups, Lie algebras, and associative algebras. Their applications are numerous and well-known in these common settings. We construct algebra analogues to a series of results from W. R. Scott’s Group Theory, which gives an explicit theory of factor systems for the group case. Here ranges over Leibniz, Zinbiel, diassociative, and dendriform algebras, which we dub “the algebras of Loday,” as well as over Lie, associative, and commutative algebras. Fixing a pair of algebras, we develop a correspondence between factor systems and extensions. This correspondence is strengthened by the fact that equivalence classes of factor systems correspond to those of extensions. Under this correspondence, central extensions give rise to 2-cocycles while split extensions give rise to (nonabelian) 2-coboundaries.
Acknowledgements
The author would like to thank Ernest Stitzinger for the many helpful discussions.
Notes
1 It was from this computation that the axioms of factor systems were chosen.