Model structuren-strongly Gorenstein projectivecotorsion pairLetbe either the category ofR-modules or the category of chain complexes ofR-modules anda cofibrantly generated hereditary abelian model structure on. First, we get a new cofibrantly generated model structure onrelated tofor any positive ...
Lárusson, F.: Model structures and the Oka principle. J. Pure Appl. Algebr. 192(1–3), 203–223 (2004) Article MathSciNet MATH Google Scholar Lárusson, F., Truong, T.T.: Algebraic subellipticity and dominability of blow-ups of affine spaces. Doc. Math. 22, 151–163 (2017) ...
Let C be an n-exangulated category and X a full subcategory of C. If X satisfies X⊆P∩I, then we give a necessary and sufficient condition for the ideal quotient C/X to be an n-exangulated category, where P (resp. I) is the full subcategory of projective (resp. injective) ...
Order We define if , and if . Again, this is easily checked to be well-defined. (And the ultrafilter axiom ensures that holds iff exactly one of and holds.) With these operations, combined with the ultrafilter axiom, we see that obeys the laws of many standard algebraic structures, the...
• It structures all the relevant data on datasets for posterior processing. • The extracted data can be classified on distinct datasets of function of the sources, the structure, type or the semantic content of the data. • It can handle Web sessions, cookie management and it has an ...
The digitalisation of education has been emphasised over the last two decades, affecting and developing both the theories and practices of teaching and lea
The route to doing so was not immediately obvious, but after a helpful tip from Emmanuel Jeandel, we were able to adapt some ideas of Aanderaa and Lewis, in which certain hierarchical structures were used to encode one problem in another. Here, we interpret hierarchical structure -adically (...
Move declarations such as Submonoid.smul and Submonoid.mulAction into a new file, and shake some imports. This PR moves definitions such as Submonoid.smul and Submonoid.mulAction from the 1000+...
) has a stabiliser isomorphic to the projective rotation group , we can view the Poincaré upper half-plane as a homogeneous space for , and more specifically the quotient space of of a maximal compact subgroup . In fact, we can make the half-plane a symmetric space for , by endowing ...
The classification problem of linear codes is important and difficult. Computer algorithms have been used to find the best linear codes for given length and dimension. There are many computational results for classification of linear codes over finite fields (see for example [3,12,13]), but ther...