Searcharxiv⌕ Search

arXiv subjects

Dali Zangurashvili

Publications and source records attributed to Dali Zangurashvili.

16 recordsLinked to original sources
arXiv2026

Hereditary QF-$3^{+}$ rings

With the aid of the torsion-theoretical approach, several properties/characterizations of hereditary QF-$3^{+}$ rings are found. These characterizations are formulated in terms of the category of projective modules, the category of injective projective modules, and also in terms of the maximal left/right ring of quotients by Utumi. Moreover, it is shown that, for a hereditary QF-$3^{+}$ ring, the `largest stable submodule' radical (on the category of left/right modules) is permutable with injective envelopes. Besides, it is shown that there is a bimorphism (in the category of associative rings with identity) from such a ring to a semisimple left/right Artinian ring.

math.RA↗
arXiv2026

Effective codescent morphisms of Hausdorff topological spaces

Our earlier results on effective codescent morphisms of Hausdorff topological spaces are strengthened and complemented. In particular, it is proved that any embedding $p:B\rightarrowtail E$ with compact $B$ and normal $E$ is an effective codescent morphism in the category of Hausdorff topological spaces.

math.GN↗
arXiv2025

The criteria for the uniqueness of a weight homomorphism of a baric algebra

The criteria for a baric algebra $A$ (over a field $K$) to have a unique weight homomorphism are found. One of them requires a certain system of equations to have a unique non-trivial solution in the field $K$. Applying this criterion, we provide an example showing that Holgate's well-known sufficient condition for the uniqueness of a weight homomorphism is not necessary, and give also a new example of a baric algebra with two weight homomorphisms. Another criterion found in this paper asserts that a baric algebra has a unique weight homomorphism if and only if the transition matrix from any semi-natural basis $B_1$ to any semi-natural basis $B_2$ is stochastic.

math.RA↗
arXiv2024

Effective codescent morphisms of $n$-quasigroups and $n$-loops

Effective codescent morphisms of $n$-quasigroups and of $n$-loops are characterized. To this end, it is proved that, for any $n\geq 1$, every codescent morphism of $n$-quasigroups (resp. $n$-loops) is effective. This statement generalizes our earlier results on qusigroups and loops. Moreover, it is shown that the elements of the amalgamated free products of $n$-quasigroups (resp. $n$-loops) have unique normal forms, and that the varieties of $n$-quasigroups and $n$-loops satisfy the strong amalgamation property. The latter two statements generalize the corresponding old results on quasigroups and loops by Evans.

math.GR↗
arXiv2023

Descent in the dual category of ternary rings

It is shown that, in the variety of ternary rings, the elements of amalgamated free products have unique normal forms, and, moreover, this variety satisfies the strong amalgamation property. Applying these statements, effective codescent morphisms of ternary rings are characterized. In view of the fact that the category of ternary rings contains the category of commutative associative unitary rings as a full subcategory, the class of effective codescent morphisms in the latter category (which, according to the well-known Joyal-Tierney's criterion, are precisely monomorphisms $R\rightarrowtail S$ which are pure as monomorphisms of $R$-modules) is compared with that of morphisms between commutative associative unitary rings which are effective codescent in the category of ternary rings. It turns out that the former class is contained in the latter one, but does not coincide with it.

math.CT↗
arXiv2023

On stable-projective and injective-costable decompositions of modules

It is proved that, for a left hereditary ring, an arbitrary left module has a representation in the form of the direct sum of a stable left module and indecomposable projective left modules (if and only if an arbitrary left module has a representation in the form of the direct sum of a stable left module and a projective left module) if and only if the ring is left perfect and right coherent. In that case, the above-mentioned representations are unique up to isomorphism; the latter representation is also functorial. The essential ingredient in the proofs of the above-mentioned statements is a certain purely categorical result. These statements, in particular, imply that, for any principal ideal domain that is not a field, the fundamental theorem on finitely generated modules over it can not be generalized to the case of all modules. Moreover, with the aid of the above-mentioned categorical approach, we give a new proof of the Zheng-Xu He's result asserting that any module of a ring has a unique up to isomorphism injective-costable decomposition if and only if the ring is left hereditary and left Noetherian. The above-mentioned statements, in particular, imply that if the category of left modules over a left hereditary ring is Krull-Schmidt, then the ring is left Artinian. Yet another criterion for a ring to be left hereditary, left perfect and right coherent (resp. left hereditary left Noetherian) found in the paper requires that the pair $(Stable$ $modules$, $Projective$ $modules)$ (resp. $(Injective$ $Modules, Costable$ $ Modules)$) of module classes be a pre-torsion theory. This implies that the pair $(Stable$ $modules$, $Projective$ $modules)$ is a torsion theory if and only if the ring is left hereditary and the injective envelope of the ring, viewed as a left module over itself, is projective.

math.RA↗
arXiv2021

Cokernels in the stable category of a left hereditary ring

It is proved that if a ring is left hereditary, left perfect and right coherent, then the stable category has cokernels. Moreover, we show that the condition for a ring to be left perfect and right coherent is also necessary for the stable category to have cokernels, provided that the ring is left hereditary and satisfies the additional condition that there are no non-trivial projective injective left modules over it (satisfied, for instance, by integral domains). This, in particular, implies that, for a Dedekind domain, the stable category has cokernels if and only if the domain is left perfect. Several new necessary and sufficient conditions for a left hereditary ring to be left perfect and right coherent are found. One of them requires that the full subcategory of projective modules be reflective in the category of modules. Another one requires that any module be isomorphic to a stable module in the stable category. Yet another equivalent condition found in the paper requires that, for any module $M$, among all representations $M=K\oplus P$ with a projective $P$, there should be the one with the smallest $K$. To accomplish the goals, a version of the well-known Freyd's adjoint functor theorem, where the solution set condition is removed under some additional conditions on the categories, is given.

math.CT↗
arXiv2021

Ideals in BIT speciale varieties

Ideals in BIT speciale varieties are characterized. In particular, it is proved that, for any finitary BIT speciale variety, there is a finite set of ideal terms determining ideals. Several ideal term sets of this kind are given. For the variety of groups one of these sets consists of the terms $y_1y_2$, $xyx^{-1}$, $x^{-1}y^{-1}x$ (and $y$ which can be ignored), while for rings it consists of the terms $y_1+y_2$, $-y$, $xy$, $yx$. For each of the following varieties -- groups with multiple operators, semi-loops, and divisible involutory groupoids -- one of the term sets found in this paper almost coincides with the term sets found earlier for these particular varieties by resp. Higgins, Bělohlávek and Chajda, and Halaš. The coincidence is precise in the case of divisible involutory groupoids. For loops (resp. loops with operators), the intersection of one of the term sets found in this paper with the term sets found earlier for loops (resp. for loops with operators) by Bruck (resp. by Higgins) forms the major part of both sets.

math.CT↗
arXiv2021

Right-cancellable protomodular algebras

A new protomodular analog of the classical criterion for the existence of a group term in the algebraic theory of a variety of universal algebras is given. To this end, the notion of a right-cancellable protomodular algebra is introduced. It is proved that the algebraic theory of a variety of universal algebras contains a group term if and only if it contains protomodular terms with respect to which all algebras from the variety are right-cancellable. This, in particular, gives a partial answer to the extended version of an open problem from loop theory whether any Hausdorff topological (semi-)loop is completely regular. Moreover, the right-cancellable algebras from the simplest protomodular varieties are characterized as sets with principal group actions as well as groups with simple additional structures.

math.CT↗
arXiv2019

Associative Protomodular Algebras

The notion of associativity (which differs from the straightforward generalization of the usual associativity given by the move of parentheses in the relevant expression) for operations of high arity is introduced. It is proved that the algebraic theory of a variety of universal algebras contains a group operation if and only if it contains a semi-abelian operation which is associative in the sense introduced.

math.CT↗
arXiv2019

Amalgamated free products of topological groups being Hausdorff -- a new approach

The paper deals with the problem posed by Katz and Morris whether the free product with amalgamation of any Hausdorff topological groups is Hausdorff, the negative solution of which (even for the particular case of a closed amalgamated subgroup) easily follows from the relevant result by Uspenskij. The topology of such a product is characterized by proving that it coincides with the so-called $X_0$-topology in the sense of Mal'tsev for the corresponding pushout $X$ in the category of Hausdorff topological spaces. Applying this characterization, it is proved that the canonical mappings of Hausdorff groups into their amalgamated free product are open homeomorphic embeddings if an amalgamated subgroup is open. This immediately implies that in that case this product is Hausdorff.

math.GN↗
arXiv2015

The stable category of a left hereditary ring

The (co)completeness problem for the (projectively) stable module category of an associative ring is studied. (Normal) monomorphisms and (normal) epimorphisms in such a category are characterized. As an application, we give a criterion for the stable category of a left hereditary ring to be abelian. By a structure theorem of Colby-Rutter, this leads to an explicit description of all such rings.

math.RA↗
arXiv2009

Effective codescent morphisms in some varieties of universal algebras

The paper gives the sufficient condition formulated in the syntactical form for all codescent morphisms of a variety of universal algebras satisfying the amalgamation property to be effective. This result is further used in proving that all codescent morphisms of quasigroups are effective.

math.CT↗