Abstract
Weakly Schreier split extensions are a reasonably large, yet well-understood class of monoid extensions, which generalise some aspects of split extensions of groups. This short note provides a way to define and study similar classes of split extensions in general algebraic structures (parameterised by a term \(\theta \)). These generalise weakly Schreier extensions of monoids, as well as general extensions of semi-abelian varieties (using the \(\theta \) appearing in their syntactic characterisation). Restricting again to the case of monoids, a different choice of \(\theta \) leads to a new class of monoid extensions, more general than the weakly Schreier split extensions.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In the category of groups, the group A in a split extension can be obtained from X, B and an action of B on X by the semidirect product construction. The theory of split extensions of groups is important for understanding the structure of groups, building new groups from old ones, and doing homological algebra. An analogous theory can be developed for any semi-abelian variety [2, 3, 6].
Monoids fail to form a semi-abelian variety, since not all split extensions are well-behaved. However, restricting to the class of Schreier split extensions results in a theory which keeps the desirable properties of extensions of groups (see [4, 5, 18]). If we relax the conditions somewhat, yet more general classes of monoid extensions can be considered including that of weakly Schreier split extensions [1, 9].
Definition 1.1
A weakly Schreier split extension of monoids is a diagram
where k is the kernel of p, s is a section of p and such that for every \(a \in A\) there is an \(x \in X\) such that \(k(x) \cdot sp(a) = a\). The split extension is Schreier if each x is unique.
These extensions were characterised in [7] and were later studied in [14, 16] as ‘semibiproducts’, where a certain retraction map q of the kernel map k is considered as part of the structure.
There has been some interest in extending the notion of Schreier extensions to other varieties of algebra (see [11, 17]), though this has not yet been carried out for weakly Schreier extensions. The aim of this paper is to provide a very general definition of weakly Schreier split extension for pointed varieties that recovers the usual theory for monoids, as well as for general semi-abelian varieties. Our notion is parameterised by a term \(\theta \) and by taking a different choice of \(\theta \) we can also obtain a more general class of monoid extensions with similar properties.
In a Schreier split extension of monoids , the middle monoid A always has the cartesian product \(X \times B\) as its underlying set (but possibly with a different multiplication). Weakly Schreier extensions generalise these by allowing the underlying set of A to be a certain subset (or equivalently a certain quotient) of \(X \times B\). We will show in Example 4.2 that the new class of monoid extensions we define is general enough to include cases where the cardinality of A is strictly larger than \(X \times B\).
In the final section we show that equipping a category of algebras with the class of \(\theta \)-weakly-Schreier split extensions always gives an S-protomodular category in the weak sense of [1].
2 Background and motivation
Group extensions are among the most important concepts in group theory: they allow us to decompose complex groups into simpler parts and to use knowledge about these parts to tell us things about the larger group. Indeed, the ability to decompose groups in this way is the primary motivation for the famous classification of finite simple groups (see [10]).
An important class of extensions is given by split extensions.
Definition 2.1
A split extension of groups is a diagram
where p is a quotient map, k is the kernel of p and s is a section of p.
Given the kernel group X and the quotient group B in a split extension, the group A is always given by a semidirect product \(X \rtimes B\), which has underlying set \(X \times B\) and multiplication given by \((x_1,b_1) \cdot (x_2,b_2) = (x_1 \alpha (b_1,x_2), b_1 b_2)\) where \(\alpha :B \times X \rightarrow X\) is a group action associated to the extension. Such a classification is useful for building up groups from smaller ones.
There are also a number of ‘homological’ lemmas that can be proved for group extensions. The following result can be useful for establishing properties of group homomorphisms between groups that can be decomposed as semidirect products.
Lemma 2.2
(Split Short Five Lemma). Consider the following commutative diagram of groups where the top and bottom rows are split extensions.
If f and h are both (a) injective, (b) surjective, or (c) isomorphisms, then so is g.
Since group extensions are so useful, there is a strong desire to generalise the concept and the associated results to other algebraic structures. A broad setting in which extensions can be studied is that of pointed protomodular categories (see [2]). However, we will be concerned, not with general such categories, but only with varieties of algebras whose categories satisfy this condition.
These were characterised in [3] as those varieties with a unique constant 0, an \((n+1)\)-ary term \(\theta \), and n binary operations \(\alpha _1,\dots ,\alpha _n\) such that the equations \(\alpha _i(x,x) = 0\) and \(\theta (\alpha _1(x,y),\dots ,\alpha _n(x,y),y) = x\) hold. We call these semi-abelian varieties, but they had previously been studied under the name classically ideal determined varieties in [19].
One important class of algebras that we would like to be able to handle is that of monoids. However, monoids do not form a semi-abelian variety. One problem is that general (split) extensions of monoids are not well-behaved. For example, results such as the Split Short Five Lemma do not generally hold for monoids. Nonetheless, there are classes of monoid extension that still behave very similarly to group extensions. The notion of S-protomodular category was introduced to describe this situation (see [5]).
The ‘S’ in S-protomodular refers to a class of split epimorphisms (equipped with their sections) which are used in the ‘good’ split extensions. The motivating example is the class corresponding to Schreier split extensions of monoids (see Definition 1.1).
Like split extensions of groups, Schreier split extensions can be characterised in terms of a notion of semidirect product and satisfy the Split Short Five lemma. However, there are many important instances of monoid extensions that are not Schreier (for example, see [8]). Therefore, the larger class of weakly Schreier split extensions has also been studied recently (see [7]).
There is a natural desire to unify the theory of extensions of semi-abelian algebras with that of (weakly) Schreier extensions of monoids, and to be able to handle a wider range of algebraic structures. We will show how to do this, and in the process we will also obtain an even larger class of monoid extensions for which a useful kind of ‘semidirect product’ can be described.
3 \(\theta \)-weakly-Schreier extensions
Let \(\mathcal {V}\) be a variety of algebras with a unique constant 0 and a given \((n+1)\)-ary term \(\theta \) such that \(\theta (0,\dots ,0,x) = x\). The category \(\mathbb {C}_\mathcal {V}\) of such algebras is a pointed category with zero morphisms given by the constant 0 maps. In such a category, kernels, and hence split extensions, can be defined.
Definition 3.1
We say a split extension in \(\mathbb {C}_\mathcal {V}\) is \(\theta \)-weakly-Schreier if there exist n functions \(q_1,\dots ,q_n:A \rightarrow X\) such that \(\theta (kq_1(a),\dots ,kq_n(a),sp(a)) = a\). We may always assume \(q_i(0) = 0\).
Note that these \(q_i\) functions are not required to be homomorphisms. In the case of monoids with \(\theta (x,y) = x + y\), this reduces to the usual definition of a weakly Schreier extension (assuming the axiom of choice).
Recall that a semi-abelian variety has a unique constant 0, an \((n+1)\)-ary term \(\theta \), and n binary operations \(\alpha _1,\dots ,\alpha _n\) such that
-
\(\alpha _i(x,x) = 0\),
-
\(\theta \left( \alpha _1(x,y),\dots ,\alpha _n(x,y),y\right) = x\).
This \(\theta \) satisfies our above condition, since
In this case every split extension is \(\theta \)-weakly-Schreier by taking
Note that \(\alpha _i(a,sp(a))\) indeed lies in the kernel of p, since we have
The paper [6] describes the semidirect product for semi-abelian varieties. We can use a similar approach to construct the middle algebra A of a \(\theta \)-weakly-Schreier split extension in our more general setting.
Consider a \(\theta \)-weakly-Schreier split extension . We define a function \(\psi :A \rightarrow X^n \times B\) by
and a function \(\phi :X^n \times B \rightarrow A\) by
Note that here and elsewhere we omit the brackets around the arguments of the functions to avoid the proliferation of brackets.
These functions induce maps between the above extension and the ‘trivial’ split extension of pointed sets where \(\iota _{X^n}(\textbf{x}) = (\textbf{x},0)\), \(\pi _B(\textbf{x},b) = b\) and \(\iota _B(b) = (0,\dots ,0,b)\). (Here we write \(\textbf{x}\) for the tuple of elements \((x_1,\dots ,x_n)\).) In the following diagram \(\phi _X\) and \(\psi _X\) are obtained from \(\phi \) and \(\psi \) from the universal property of the kernel. It is easy to see that the other relevant squares commute by the definition of \(\psi \) and \(\phi \) and the assumption on \(\theta \).
Note that \(\phi \psi = \textrm{id}_A\), since \(\phi (\psi (a)) = \theta (kq_1(a),\dots ,kq_n(a),sp(a)) = a\) by the \(\theta \)-weakly-Schreier condition.
On the other hand, we find that the \(i\text {th}\) component of \(\psi \phi (x_1,\dots ,x_n,b)\) is equal to \(q_i(\theta (k x_1,\dots ,k x_n,s b))\) for \(i = 1,\dots ,n\), while the last component is \(ps(b) = b\). Thus, A maps bijectively onto the subset Y of \(X^n \times B\) given by
The operations on A can then be transported along this bijection so that an m-ary operation \(\omega \) can be computed in Y by
and
If \(\omega \) and \(\theta \) commute then the first formula simplifies to
In particular, the 0 in Y is simply \((0,\dots ,0,0)\). However, in general there is not anything more that we can do to simplify this further.
The corresponding extension is where the kernel map \(k'\) is given by \(k'(x) = \psi k(x) = (q_1k(x),\dots ,q_nk(x),0)\). This map can also be defined without reference to the \(q_i\) maps: for \((\textbf{y},0) \in Y\) note that \((\textbf{y},0) = k'(x)\) if and only if \(\phi (\textbf{y},0) = \phi k'(x)\). But \(\phi k'(x) = k(x)\) and \(\phi (\textbf{y},0) = \theta (k(y_1),\dots ,k(y_n),0) = k \theta (\textbf{y},0)\), so that we have \((\textbf{y},0) = k'(x)\) if and only if \(\theta (\textbf{y},0) = x\). Hence, \(k'(x)\) is the unique element \((\textbf{y},0) \in Y\) such that \(\theta _X(\textbf{y},0) = x\). Also note that, by the definition of \(\psi \), transporting the \(q_i\) maps along the isomorphism, simply gives the restrictions of the product projections \(\pi _i:X^n \times B \rightarrow X\).
In summary, we have the following proposition.
Proposition 3.2
A \(\theta \)-weakly-Schreier extension is isomorphic to an extension , where Y is certain subset of \(X^n \times B\) and \(k'(x)\) is the unique element \((\textbf{y},0) \in Y\) such that \(\theta _X(\textbf{y},0) = x\).
Suppose the maps \(q_1,\dots ,q_n\) witness the \(\theta \)-weakly-Schreier condition. For each basic operation \(\omega \) in the variety we define a map \(\mathbf {\gamma }_\omega :(X^n \times B)^m \rightarrow X^n\) by
The maps \(\mathbf {\gamma }_\omega \) for composite terms \(\omega \) can be defined in terms of these as necessary.
Then Y is given by
or, equivalently, by
equipped with operations \(\omega _Y\) defined by
Remark 3.3
In fact, as can be seen by simply expanding the definitions, we can define the subset \(Y \subseteq X^n \times B\) using \(\mathbf {\gamma }_\omega \) for any term \(\omega \) satisfying \(\omega (\textbf{0},x) = x\) in the variety. This is sometimes more convenient if \(\theta \) is built out of many operations.
We might now ask what conditions we need to impose on arbitrary \(\mathbf {\gamma }_\omega \) maps for this construction to give a valid \(\theta \)-weakly-Schreier extension.
-
Firstly, we need to impose conditions on the \(\mathbf {\gamma }_\omega \) such that defining axioms of the algebra hold (when restricted to \(Y \subseteq X^n \times B\)).
-
Secondly, we must ensure well-definedness of \(k'\) by requiring that for all \(x \in X\) there is a unique \(\textbf{y} \in X^n\) such that \((\textbf{y},0) \in Y\) and \(\theta _X(\textbf{y},0) = x\), or equivalently such that \(\mathbf {\gamma }_\theta (\textbf{0},\textbf{y},0) = \textbf{y}\) and \(\theta _X(\textbf{y},0) = x\).
-
Next we guarantee that \(k'\) is a homomorphism. Note that since \(k'\) is bijective onto the restriction of its codomain to \(\{\,(\textbf{y},b) \in Y \mid b = 0\,\}\), it suffices to ensure the inverse \((\textbf{y},0) \mapsto \theta _X(\textbf{y},0)\) is a homomorphism. This holds when \(\theta _X(\mathbf {\gamma }_\omega (\textbf{x}^1,0,\dots ,\textbf{x}^m,0),0) = \omega _X(\theta _X(\textbf{x}^1,0),\dots ,\theta _X(\textbf{x}^m,0))\) for all \(\textbf{x}^1,\dots ,\textbf{x}^m\) such that \(\mathbf {\gamma }_\theta (\textbf{0},\textbf{x}^i,0) = \textbf{x}^i\). It then follows from the definition of \(k'\) that it is a kernel: clearly \(\pi _B k' = 0\), while if \((\textbf{y},0) \in Y\) then setting \(x = \theta _X(\textbf{y},0)\) we have \(k'(x) = \textbf{y}\).
-
Finally, we add a condition that forces the extension to be \(\theta \)-weakly-Schreier (with the product projections as the \(q_i\) maps). This means \(\mathbf {\gamma _\theta }(k'(x_1),\dots ,k'(x_n),\iota _B(b)) = (x_1,\dots ,x_n)\) for \((x_1,\dots ,x_n,b) \in Y\). It is more convenient to write this in terms of the elements \(\textbf{y}^i\) such that \((\textbf{y}^i,0) = k'(x_i)\). Then each \(x_i = \theta _X(\textbf{y}^i,0)\) and so the condition becomes
$$\begin{aligned}\mathbf {\gamma _\theta }\left( \textbf{y}^1,0,\dots ,\textbf{y}^n,0,\textbf{0},b\right) = \left( \theta _X\left( \textbf{y}^1,0\right) ,\dots ,\theta _X\left( \textbf{y}^n,0\right) \right) \end{aligned}$$for all \(\textbf{y}^1,\dots ,\textbf{y}^n \in X^n\) such that \(\mathbf {\gamma }_\theta (\textbf{0},\textbf{y}^i,0) = \textbf{y}^i\) and
$$\begin{aligned}\mathbf {\gamma }_\theta \left( \textbf{0},\theta _X\left( \textbf{y}^1,0\right) ,\dots ,\theta _X\left( \textbf{y}^n,0\right) ,b\right) = \left( \theta _X\left( \textbf{y}^1,0\right) ,\dots ,\theta _X\left( \textbf{y}^n,0\right) \right) .\end{aligned}$$
4 Examples
We have already noted that the case of semi-abelian varieties is captured by this theory.
Another core example is, of course, that of weakly Schreier extensions of monoids. These are simply \(\theta \)-weakly-Schreier extensions with \(\theta \) being the monoid operation \(\theta (x,y) = x + y\). Our characterisation agrees with that in [7], though our approach is more similar to that taken in [14].
Remark 4.1
Note that we might ask if Schreier extensions of monoids have a generalisation to general algebras. This would mean requiring that the \(q_i\) maps be unique. This is equivalent to asking the map \(\phi :X^n \times B \rightarrow A\) to be injective (and hence bijective). However, do note that for \(n \ge 2\) this seldom holds even for semi-abelian varieties. For example, observe that Heyting semilattices form a semi-abelian variety for \(n = 2\) with \(\theta (x,y,z) = (x \Rightarrow z) \wedge y\) (see [13]) and consider the extension of Heyting semilattices given by
with section defined by \([0] \mapsto 0\) and \([1] \mapsto 1\). If \(q_1(x) = x \Rightarrow sp(a)\), then any map \(q_2\) such that \(q_2(1) = 1\) and \(q_2(a) = a\) witnesses the weakly Schreier condition. See [6, Theorem 4.2] or [12, Corollary 3.2] for a characterisation of the semi-abelian varieties for which every split extension is Schreier in this sense.
Schreier split extensions of unital magmas were studied in [11]. Taking \(\theta \) to be the magma operation we recover a more general class of ‘weakly Schreier’ split extensions of magmas. The Schreier extensions satisfy an additional condition \(q_1(\theta (k x,s b)) = x\), as explained in [15, pg 6], that forces the underlying set of the middle magma to be the cartesian product of the other two (as in Remark 4.1).
Our main new example is again monoids, but this time with \(\theta \) given by the ternary term \(\theta (x,y,z) = x + z + y\). In this case, an extension is \(\theta \)-weakly-Schreier if and only if there are \(q_1,q_2 :A \rightarrow X\) such that \(a = kq_1(a) + sp(a) + kq_2(a)\). This is a strictly more general class than the usual class of weakly Schreier split extensions of monoids, which corresponds to requiring \(q_2 \equiv 0\).
In particular, we note that in contrast to what happens with the usual notion of weakly Schreier extensions, the middle monoid A here can have a cardinality strictly larger than that of \(X \times B\).
Example 4.2
Suppose A is given by the following multiplication table.
Let \(X = B = \{0,1\}\) with saturating addition, let k be the obvious inclusion, let p be defined by
and suppose \(s:1 \mapsto 2\). This split extension is \(\theta \)-weakly-Schreier with
Note that \(|A| = 5\), while \(|X \times B| = 4\).
For this class of monoid extension we can use associativity to say more about the ‘action’ given by \(\mathbf {\gamma }_+\). Given an extension, this is defined as
Now suppose we set \(u = s b^1 + k(x_2^1 + x_1^2) + s b^2\). By the \(\theta \)-weakly-Schreier condition this can be expressed as \(u = kq_1(u) + sp(u) + kq_2(u) = kq_1(u) + s(b^1+b^2) + kq_2(u)\). We then find
In this way \(\mathbf {\gamma }_+\) can be decomposed into four simpler maps. Set
Then
Finally, in this case it is convenient to define Y to be
It is then routine to compute the axioms \(\sigma _{1,2}(b,x,b')\) and \(\tau _{1,2}(x,b,x')\) to obtain a characterisation of this class of extensions, though we will omit the details.
5 Properties of these extensions
Schreier split extensions of monoids are very well-behaved and were the inspiration for the notion of an S-protomodular category [5]. An S-protomodular category has a class of split epimorphisms whose corresponding split extensions behave similarly to general split extensions in a protomodular category. In [1] Bourn defines a slightly weaker notion of S-protomodularity by omitting a certain completeness condition. This weaker definition captures weakly Schreier extensions of monoids. Our \(\theta \)-weakly-Schreier extensions also give rise to weakly S-protomodular categories in this sense.
Proposition 5.1
Let \(\mathcal {V}\) be a pointed variety with term \(\theta \) as above. The category \(\mathbb {C}_\mathcal {V}\) of these algebras together equipped with the class \(\Sigma \) of split epimorphisms coming from \(\theta \)-weakly-Schreier extensions is a weakly \(\Sigma \)-protomodular category.
Proof
Certainly the category \(\mathbb {C}_\mathcal {V}\) is finitely complete and pointed. We require that for every \((p,s) \in \Sigma \), \(\ker p\) and s are jointly extremal-epimorphic, that \(\Sigma \) contains all isomorphisms, and that \(\Sigma \) is stable under pullback.
The first condition is immediate from the definition of \(\theta \)-weakly-Schreier property. For the second, note that if p and s are mutual inverses, then \(\theta (k(0),\dots ,k(0),sp(a)) = \theta (0,\dots ,0,a) = a\) by the assumption on \(\theta \) and hence taking \(q_1 = \dots = q_n \equiv 0\) we have \((p,s) \in \Sigma \).
For pullback stability, consider the diagram
where \((A \times _{\scriptscriptstyle B} B', f', p')\) is the pullback of f and p and the bottom row is a \(\theta \)-weakly-Schreier extension. Note that by the universal property of the pullback \(s'\) is the unique section of \(p'\) such that \(f's' = sf\). We see that X is the kernel of \(p':(a,b') \mapsto b'\) since \((a,0) \in A \times _{\scriptscriptstyle B} B'\) if only if \(p(a) = f(0) = 0\).
If \(q_1,\dots ,q_n:A \rightarrow X\) are the associated maps for the bottom extension, we define maps \(q'_1,\dots ,q'_n :A \times _{\scriptscriptstyle B} B' \rightarrow X\) by \(q'_i:(a,b') \mapsto q_i(a)\). Then
as required. \(\square \)
Note that this weak form of \(\Sigma \)-protomodularity does not imply an analogue of the Split Short Five Lemma. However, we do have the following result for surjections generalising the case of weakly Schreier extensions of monoids.
Lemma 5.2
Let \(\mathbb {C}\) be a pointed weakly \(\Sigma \)-protomodular category and consider a morphism of extensions from the distinguished class \(\Sigma \) as in the following diagram.
If f and h are extremal epimorphisms, then so is g.
Proof
By the condition on \(\Sigma \), the maps \(k_2\) and \(s_2\) are jointly extremal-epimorphic. Since \(\mathbb {C}\) has pullbacks, extremal epimorphisms are closed under composition. In fact, it can be shown that composites of jointly extremal-epimorphic maps with extremal epimorphisms are still jointly extremal-epimorphic. Thus, \(k_2 f = g k_1\) and \(s_2 h = g s_1\) are jointly extremal-epimorphic. It follows that g is extremal-epimorphic, as required. \(\square \)
Finally, in good cases we would probably expect products \(X \times B\) to give rise to \(\theta \)-weakly-Schreier split extensions. By pullback stability, this holds if and only if the extension \(X \xrightarrow {\textrm{id}} X \rightarrow 1\) is a \(\theta \)-weakly-Schreier extension. This holds whenever there are maps \(q_1,\dots ,q_n:X \rightarrow X\) such that \(\theta (q_1(x),\dots , q_n(x),0) = x\) for all \(x \in X\). We note that this condition is satisfied in all our examples, but fails for the variety of left-unital magmas (taking \(\theta \) to be the product).
Data availability statement
Data sharing not applicable to this article as datasets were neither generated nor analysed.
References
Bourn, D.: Partial Mal’tsevness and partial protomodularity. arXiv:1507.02886v1 (2015)
Bourn, D., Janelidze, G.: Protomodularity, descent, and semidirect products. Theory Appl. Categ. 4(2), 37–46 (1998)
Bourn, D., Janelidze, G.: Characterization of protomodular varieties of universal algebras. Theory Appl. Categ. 11(6), 143–447 (2003)
Bourn, D., Martins-Ferreira, N., Montoli, A., Sobral, M.: Schreier split epimorphisms between monoids. Semigroup Forum 88(3), 739–752 (2014)
Bourn, D., Martins-Ferreira, N., Montoli, A., Sobral, M.: Monoids and pointed \(S\)-protomodular categories. Homol. Homotopy Appl. 18(1), 151–172 (2016)
Clementino, M.M., Montoli, A., Sousa, L.: Semidirect products of (topological) semi-abelian algebras. J. Pure Appl. Algebra 219(1), 183–197 (2015)
Faul, P.F.: A characterization of weakly Schreier extensions of monoids. J. Pure Appl. Algebra 225(2), 106489 (2021)
Faul, P.F.: \(\lambda \)-semidirect products of inverse monoids are weakly Schreier extensions. Semigroup Forum 102(2), 422–436 (2021)
Faul, P.F.: A survey of Schreier-type extensions of monoids. Semigroup Forum 104(3), 519–539 (2022)
Gorenstein, D.: Finite Simple Groups: An Introduction to Their Classification. Springer, New York (2013)
Gran, M., Janelidze, G., Sobral, M.: Split extensions and semidirect products of unitary magmas. Comment. Math. Univ. Carolin. 60(4), 509–527 (2019)
Gray, J.R.A., Martins-Ferreira, N.: On algebraic and more general categories whose split epimorphisms have underlying product projections. Appl. Categ. Struct. 23(3), 429–446 (2015)
Johnstone, P.: A note on the semiabelian variety of Heyting semilattices. In: Janelidze, G., Pareigis, B., Tholen, W. (eds.) Galois Theory, Hopf Algebras, and Semiabelian Categories, Fields Institute Communications, vol. 43, pp. 317–318. American Mathematical Society (2004)
Martins-Ferreira, N.: Semi-biproducts in monoids. arXiv:2002.05985 (2020)
Martins-Ferreira, N.: On semibiproducts of magmas and semigroups. arXiv:2208.12704 (2022)
Martins-Ferreira, N.: Pointed semibiproducts of monoids. Theory Appl. Categ. 39(6), 172–185 (2023)
Martins-Ferreira, N., Montoli, A., Sobral, M.: Semidirect products and crossed modules in monoids with operations. J. Pure Appl. Algebra 217(2), 334–347 (2013)
Patchkoria, A.: Crossed semimodules and Schreier internal categories in the category of monoids. Georgian Math. J. 5(6), 575–581 (1998)
Ursini, A.: On subtractive varieties. I. Algebra Univ. 31, 204–222 (1994)
Funding
Open access funding provided by FCT|FCCN (b-on).
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Additional information
Communicated by Presented by E. Aichinger.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The first author acknowledges financial support from the Centre for Mathematics of the University of Coimbra (UIDB/00324/2020, funded by the Portuguese Government through FCT/MCTES). The second author’s work is supported by Fundação para a Ciência e a Tecnologia FCT/MCTES (PIDDAC) through the following Projects: Associate Laboratory ARISE LA/P/0112/2020; UIDP/04044/2020; UIDB/04044/2020; PAMI - ROTEIRO/0328/2013 (N\(^\circ \) 022158); MATIS (CENTRO-01-0145-FEDER-000014-3362); Generative.Thermodynamic; by CDRSP and ESTG from the Polytechnic Institute of Leiria.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Manuell, G., Martins-Ferreira, N. Weakly Schreier extensions for general algebras. Algebra Univers. 84, 22 (2023). https://doi.org/10.1007/s00012-023-00823-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00012-023-00823-7