Related papers: Concerning three classes of non-Diophantine arithm…
We define the completion of an associative algebra $A$ in a set $M=\{M_1,\dots,M_r\}$ of $r$ right $A$-modules in such a way that if $\mathfrak a\subseteq A$ is an ideal in a commutative ring $A$ the completion $A$ in the (right) module…
We provide new equivalent conditions for an algebra $\Lambda$ to be $g$-finite, analogous to those established by L. Demonet, O. Iyama, and G. Jasso, but within the category of projective presentations $\mathcal{K}^{[-1,0]}(\text{proj}…
Let $\mathcal {A}$ be a unital $\ast$-algebra. For $A, B\in\mathcal{A}$, define by $[A, B]_{*}=AB-BA^{\ast}$ and $A\bullet B=AB+BA^{\ast}$ the new products of $A$ and $B$. In this paper, under some mild conditions on $\mathcal {A}$, it is…
In this article we develop a convergence theory for goal-oriented adaptive finite element algorithms designed for a class of second-order semilinear elliptic equations. We briefly discuss the target problem class, and introduce several…
For a nonzero integer $n$, a set of distinct nonzero integers $\{a_1,a_2,\ldots,a_m\}$ such that $a_ia_j+n$ is a perfect square for all $1\leq i<j\leq m$, is called a Diophantine $m$-tuple with the property $D(n)$ or simply $D(n)$-set.…
Projectivity and injectivity are fundamental notions in category theory. We consider natural weakenings termed semiprojectivity and semiinjectivity, and study these concepts in different categories. For example, in the category of metric…
We compute the minimal model for Ginzburg algebras associated to acyclic quivers $Q$. In particular, we prove that there is a natural grading on the Ginzburg algebra making it formal and quasi-isomorphic to the preprojective algebra in…
All decompositions of $M_3(\mathbb{C})$ into a direct vector-space sum of two subalgebras such that none of the subalgebras contains the identity matrix are classified. Thus, the classification of all decompositions of $M_3(\mathbb{C})$…
In \cite[Section 5, p.32]{Arnold-1998}, Arnold writes: "Classification of singularities of curves can be interpreted in dual terms as a description of 'co-artin' subalgebras of finite co-dimension in the algebra of formal series in a single…
Category of pro-nilpotently extended differential graded commutative algebras is introduced. Chevalley-Eilenberg construction provides an equivalence between its certain full subcategory and the opposite to the full subcategory of strong…
We present characterizations for the inclusions $\mathrm{Add}(M)\subseteq \mathrm{Prod}(M)$ and $\mathrm{Prod}(M)\subseteq \mathrm{Add}(M)$ in locally finitely presented categories and in compactly generated triangulated categories. As…
This paper is mainly devoted to the following question:\ Let $M,N$ be von~Neumann algebras with $M\subset N$, if there is a completely bounded projection $P\colon \ N\to M$, is there automatically a contractive projection $\widetilde…
We prove that every deformed preprojective algebra of Dynkin type $\mathbb{E}_6$ is isomorphic to the preprojective algebra of Dynkin type $\mathbb{E}_6$.
We introduce and investigate a class of ring ideals, termed ring $\mathrm{M}$-ideals, inspired by the Alfsen--Effros theory of $\mathrm{M}$-ideals in Banach spaces. We show that $\mathrm{M}$-ideals extend the classical notion of essential…
For a nonzero integer n, a set of m distinct nonzero integers {a_1,a_2,...,a_m} such that a_i a_j + n is a perfect square for all 1 <= i < j <= m, is called a D(n)-m-tuple. In this paper, by using properties of so-called regular Diophantine…
We show that for each n-tuple of positive rational integers (a_1,..,a_n) there are sets of primes S of arbitrarily large cardinality s such that the solutions of the equation a_1x_1+...+a_nx_n=1 with the x_i all S-units are not contained in…
Let $\mathcal{A}$ be an abelian length category containing a $d$-cluster tilting subcategory $\mathcal{M}$. We prove that a subcategory of $\mathcal{M}$ is a $d$-torsion class if and only if it is closed under $d$-extensions and…
Let $\mathcal{M}$ be a type ${\rm II_1}$ factor and let $\tau$ be the faithful normal tracial state on $\mathcal{M}$. In this paper, we prove that given an $X \in \mathcal{M}$, $X=X^*$, then there is a decomposition of the identity into $N…
Classification theory of elementary classes deals with first order (elementary) classes of structures (i.e. fixing a set T of first order sentences, we investigate the class of models of T with the elementary submodel notion). It tries to…
In this article we develop convergence theory for a class of goal-oriented adaptive finite element algorithms for second order nonsymmetric linear elliptic equations. In particular, we establish contraction results for a method of this type…