can be strongly embedded into category of semigroups
We will consider unital rings A with free additive group, and want to construct (in ZFC) for each natural number k a family of -free A-modules G which are separable as abelian groups with special decompositions. Recall that an A-module G is -free if every subset of size is contained in a free submodule (we will refine this in Definition 3.2); and it is separable as an abelian group if any finite subset of G is contained in a free direct summand of G. Despite the fact that such a module G is...
We develop a general axiomatic theory of algebraic pairs, which simultaneously generalizes several algebraic structures, in order to bypass negation as much as feasible. We investigate several classical theorems and notions in this setting including fractions, integral extensions, and Hilbert's Nullstellensatz. Finally, we study a notion of growth in this context.
The relative cohomology of the contact Lie superalgebra with coefficients in the space of differential operators acting on tensor densities on , is calculated in N. Ben Fraj, I. Laraied, S. Omri (2013) and the generating -cocycles are expressed in terms of the infinitesimal super-Schwarzian derivative -cocycle , which is invariant with respect to the conformal subsuperalgebra of . In this work we study the supergroup case. We give an explicit construction of -cocycles of the group...