Formations, bihomorphisms and natural transformations
Let \(V\) be a variety of algebra. A \(V\)-formation is a function \(F:R\to B^A\), where \(R,A,B\in V\) and for any \(n\)-ary term \(\sigma\) and elements \(r_0,\ldots,r_{n-1}\in R, a_0,\ldots,a_{n-1}\in A\) \[ F[\sigma(r_0,\ldots,r_{n-1})][\sigma(a_0,\ldots,a_{n-1})]= \sigma[F(r_0)(a_0),\ldots,F(r_{n-1})(a_{n-1})]. \] The author gives several examples of \(V\)-formations in different varieties of algebras. He presents a classification of maps of the form \(F(r):A\to B\) for some fixed elements \(r\in F\) in some varieties of algebras such as the varieties of all meet-semilattices, distributive lattices, groups, rings, respectively. There are some special results of formations in congruence-modular varieties.
This page was built for publication: Formations, bihomorphisms and natural transformations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4487277)
