Search arXivSearch

arXiv · 2511.02544

Universal Operator Envelopes and Independent Arithmetic Defects of Additive Ternary Gamma-Rings

Abstract

For an additive ternary $Γ$-ring $T$, we construct the associative rng generated by the two-element, two-index operators on ternary modules and compare it with its realization on the regular module. For a finite-free two-step system $T_μ=E\oplus W$, two integral matrices control complementary parts of this comparison: the middle-relation matrix $B_μ$ presents the hidden quotient occurring in the integral regular kernel, while the visible flattening $Θ_μ$ controls the visible image, its saturation and its nonflat base-change correction. The torsion cokernels of these matrices define an ordered arithmetic defect pair; this pair records selected arithmetic data and is not asserted to be the whole regular kernel. The principal result is a constructive realization theorem: for every ordered pair $(G,H)$ of finite abelian groups, there is a torsion-free two-step ternary $\mathbb Z$-ring whose visible-saturation torsion is $G$ and whose middle-relation torsion is $H$. Thus the two torsion mechanisms, including their prime supports and invariant factors, can be prescribed independently. The proof builds two rank-$(2,1)$ atomic tensor families with complementary Smith profiles and establishes an orthogonal-sum theorem for their presentation matrices. We also identify the standard base-change obstruction attached to these two matrices, describe their determinantal loci, realize classical rank-one matrix-factorization periodicity in an example not induced by an associative $\mathbb Z$-bilinear binary product on its underlying group, and classify all $256$ integral $2\times2\times2$ sign tensors by the resulting defect data. All finite calculations use exact integer arithmetic and are independently reproducible.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Chandrasekhar Gokavarapu, Sajani Lavanya Madasi, Madhusudhana Rao Dasari. 2026-09-19. Universal Operator Envelopes and Independent Arithmetic Defects of Additive Ternary Gamma-Rings. https://arxiv.org/abs/2511.02544

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

KEEP EXPLORING

Related papers

On solutions of singular Sylvester equations in quaternions

The quaternionic equations ax-xb=0 and ax-xb=c are investigated, which are called homogeneous and inhomogeneous Sylvester equations, respectively. Conditions for the existence of solutions are provided. In addition, the general and nonzero solutions to these equations are derived applying quaternion square roots.

math.RA

Positivity preservers over finite fields II

We say that a matrix over a finite field $\mathbb{F}_q$ is positive definite if it is symmetric and each of its leading principal minors is a nonzero square in $\mathbb{F}_q$. In previous work of the authors [J. Algebra, 2025], the entrywise positivity preservers on $M_n(\mathbb{F}_q)$ were classified in every case except when $n=2$, $q\equiv1\pmod4$, and $q$ is not a square. We settle this remaining case, thereby completing the classification of entrywise positivity preservers over every finite field and in every dimension $n\ge2$. Our proof is based on a novel idempotent reduction that not only resolves the remaining case but also yields a self-contained proof of the complete classification, while avoiding several technical results used in the earlier arguments. As a further application of the same reduction, we classify the entrywise preservers of strongly nonsingular matrices, i.e., matrices whose leading principal minors are all nonzero. We also prove a more general theorem in odd characteristic: for every prescribed sign pattern of nonzero leading principal minors of matrices of a fixed dimension $n\ge2$, the entrywise preservers are precisely the positive scalar multiples of field automorphisms. Thus, in odd characteristic, preserving any nonzero leading-principal-minor sign pattern surprisingly forces the preservation of every such sign pattern.

math.RA

Graphs of Moore-Penrose inverse of matrices possessing the treeangle property

It is known that the inverse of an invertible real square matrix satisfying the treeangle property, is a treediagonal matrix. A converse statement also holds. We show that the verbatim analogues are not true for the Moore-Penrose inverse, and obtain the precise structure of graphs corresponding to the Moore-Penrose inverse of matrices possessing the treeangle property.

math.RA