Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 2611.09415

Inclusions and intersections of products of verbally prime $T$-ideals

Yihao Zheng·Shenglin Zhu
View original source ↗Read source document ↗Export metadata ↓

Abstract

We study inclusions and intersections of products of verbally prime $T$-ideals over a field of characteristic zero. Our main tool is a Vandermonde-type construction of graded polynomials with a uniformly bounded number of variables. Together with a reduction to finite exterior algebras, this construction yields separating polynomials that work uniformly under bounds on Grassmann envelope representations. We prove that, under these bounds, an intersection of $T$-ideals is contained in such a product only if one member is. This proves Berele's Conjecture~3 and, consequently, his Conjecture~1 \cite{Berele2012}. We also characterize inclusions between ordered products by an explicit combinatorial criterion, proving his Conjecture~2 and answering his Question~2 \cite{Berele2012}. These results characterize inclusions between arbitrary intersections of products of nonzero proper verbally prime $T$-ideals and show that every nonzero such intersection has a unique finite irredundant representation. As an application, we characterize finite quivers whose path algebras have the same polynomial identities as some, equivalently every, positive power of their arrow ideals.

Explore related subjects

math.RAmath.ACmath.CO

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Yihao Zheng, Shenglin Zhu. 2026-11-06. Inclusions and intersections of products of verbally prime $T$-ideals. https://arxiv.org/abs/2611.09415

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

The center of an associative crossed module

In this paper, we define a Drinfeld-type center for an associative crossed module and prove that it is canonically the internal category of an explicit crossed module constructed from Mac Lane's bimultiplications. The resulting center carries a canonical multiplicative lifting, which induces a natural strict braiding, establishing its correspondence to a braided crossed module. We also examine the relationship between this center and Huq's categorical center. Finally, we obtain a canonical comparison morphism with Pirashvili's center of Lie crossed modules via the (braided) Liezation functors, which preserves braidings under an injectivity condition.

math.RA↗
arXiv2026

Central simple algebras, Milnor $K$-theory and homogeneous spaces over complete discretely valued fields of dimension 2

Let $K$ be a complete discretely valued field of dimension $2$. We prove the following statements on the arithmetic of $K$. - The ``period equals index'' property holds for central simple $K$-algebras. - If $K$ has characteristic $0$, for every prime $p$, every class in the Milnor $\mathrm{K}$-theory modulo $p$ is represented by a symbol. - Serre's Conjecture II holds for the field $K$. That is, for every semisimple and simply connected $K$-group $G$, the set $H^1(K,G)$ is trivial.

math.RA↗
arXiv2026

Minimum-Norm and Least-Squares Solutions of the Singular Sylvester Equation in Quaternions

The quaternionic Sylvester equation $ax - xb = c$ is singular exactly when $a$ and $b$ are similar. In that case the homogeneous equation has a two-dimensional solution space, and the inhomogeneous equation is solvable only for $c$ in a two-dimensional subspace. Tian (2004) gave the general solution in this case but left open which solution has minimal norm and what the least-squares solutions are when the equation is not solvable. We answer both questions by treating $S(x) = ax - xb$ as a real-linear function on the four-dimensional Euclidean space of quaternions and working entirely within the quaternion algebra, so that every object is obtained as an explicit quaternionic expression. The solution space of the homogeneous equation is shown to be the complex line through any nonzero solution $x_1$, with the orthogonal basis $x_1$ and $x_1(\operatorname{Im} b)$ in every case, including $b = a^{*}$, which the known two-parameter formula excludes. In the singular case $S$ is skew-symmetric and satisfies $S^{3} = -4\lvert\operatorname{Im} a\rvert^{2} S$. From these two facts we obtain the solvability of $ax - xb = c$ as a Fredholm alternative, namely $c$ orthogonal to the kernel of $S$, which is equivalent to Tian's condition $ac = cb^{*}$. The Moore-Penrose inverse is $S^{+} = -S/(4\lvert\operatorname{Im} a\rvert^{2})$, and the orthogonal projectors onto the range and the kernel of $S$ are given in closed form. This yields the minimum-norm solution and all least-squares solutions for every right-hand side $c$, the former being the first term of Tian's general solution. Finally, the second basis vector $x_1(\operatorname{Im} b)$ is a real multiple of the quaternion square root of $(\operatorname{Im} a)(\operatorname{Im} b)^{*}$, which after normalisation is the unit quaternion rotating $\operatorname{Im} b$ onto $\operatorname{Im} a$ along the shortest arc.

math.RA↗