Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userFull and convex linear subcategories are incompressible
69
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
Consider the intrinsic fundamental group `a la Grothendieck of a linear category using connected gradings. In this article we prove that any full convex subcategory is incompressible, in the sense that the group map between the corresponding fundamental groups is injective. We start by proving the functoriality of the intrinsic fundamental group with respect to full subcategories, based on the study of the restriction of connected gradings.
rate research
Read More
We give a new characterization of silting subcategories in the stable category of a Frobenius extriangulated category, generalizing the result of Di et al. (J. Algebra 525 (2019) 42-63) about the Auslander-Reiten type correspondence for silting subcategories over triangulated categories. More specifically, for any Frobenius extriangulated category $mathcal{C}$, we establish a bijective correspondence between silting subcategories of the stable category $underline{mathcal{C}}$ and certain covariantly finite subcategories of $mathcal{C}$. As a consequence, a characterization of silting subcategories in the stable category of a Frobenius exact category is given. This result is applied to homotopy categories over abelian categories with enough projectives, derived categories over Grothendieck categories with enough projectives as well as to the stable category of Gorenstein projective modules over a ring $R$.
A finite algebra $bA=alg{A;cF}$ is emph{dualizable} if there exists a discrete topological relational structure $BA=alg{A;cG;cT}$, compatible with $cF$, such that the canonical evaluation map $e_{bB}colon bBto Hom( Hom(bB,bA),BA)$ is an isomorphism for every $bB$ in the quasivariety generated by $bA$. Here, $e_{bB}$ is defined by $e_{bB}(x)(f)=f(x)$ for all $xin B$ and all $fin Hom(bB,bA)$. We prove that, given a finite congruence-modular Abelian algebra $bA$, the set of all relations compatible with $bA$, up to a certain arity, emph{entails} the whole set of all relations compatible with $bA$. By using a classical compactness result, we infer that $bA$ is dualizable. Moreover we can choose a dualizing alter-ego with only relations of arity $le 1+alpha^3$, where $alpha$ is the largest exponent of a prime in the prime decomposition of $card{A}$. This improves Kearnes and Szendrei result that modules are dualizable, and Bentz and Mayrs result that finite modules with constants are dualizable. This also solves a problem stated by Bentz and Mayr in 2013.
We show that every finite Abelian algebra A from congruence-permutable varieties admits a full duality. In the process, we prove that A also allows a strong duality, and that the duality may be induced by a dualizing structure of finite type. We give an explicit bound on the arities of the partial and total operations appearing in the dualizing structure. In addition, we show that the enriched partial hom-clone of A is finitely generated as a clone.
The binary products of right, left or double division in semigroups that are semilattices of groups give interesting groupoid structures that are in one to one correspondence with semigroups that are semilattices of groups. This work is inspired by the known one to one correspondence between groups and Ward quasigroups.
In this paper, we introduce and study V- and CI-semirings---semirings all of whose simple and cyclic, respectively, semimodules are injective. We describe V-semirings for some classes of semirings and establish some fundamental properties of V-semirings. We show that all Jacobson-semisimple V-semirings are V-rings. We also completely describe the bounded distributive lattices, Gelfand, subtractive, semisimple, and anti-bounded, semirings that are CI-semirings. Applying these results, we give complete characterizations of congruence-simple subtractive and congruence-simple anti-bounded CI-semirings which solve two earlier open problems for these classes of CI-semirings.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
