Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.04709

Formal Matrix Rings with the Involution Property

Valeriya Kirova
View original source ↗Read source document ↗Export metadata ↓

Abstract

We study formal matrix rings with the involution property, that is, rings in which every element can be represented as the sum of an invertible element and an involution. After recalling the construction of formal matrix rings via Morita contexts, we describe involutions in triangular formal matrix rings and establish a criterion for upper triangular rings of order two. We then prove that a formal matrix ring of arbitrary finite order has the involution property whenever all of its diagonal rings have this property. Several examples and counterexamples are included to illustrate the obtained results.

Explore related subjects

math.RA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Valeriya Kirova. 2026-10-03. Formal Matrix Rings with the Involution Property. https://arxiv.org/abs/2610.04709

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

KEEP EXPLORING

Related papers

arXiv2026

On the differential Novikov algebras

We study the quadratic operad $\Der\Nov_q$ determined by the degree-$3$ identities arising from the operad $\Nov\circ\Nov$, and its quadratic dual $\Der\Nov^!$. We show that the natural epimorphism \[ \Der\Nov_q\longrightarrow \Nov\circ\Nov \] is not an isomorphism: in arity $4$ the corresponding dimensions are $491$ and $400$, respectively. We obtain a presentation of $\Der\Nov^!$ by two binary operations and show that every mixed monomial can be reduced to a linear combination of pure monomials. The pure $\prec$-component is described as a free right Novikov algebra subject to three additional identities, while the pure $\succ$-component is a free bicommutative algebra subject to two additional identities. We construct explicit bases for both components, determine the dimensions of the multilinear components, and prove that the bicommutative operad and $\Der\Nov^!$ satisfy the Dong property.

math.RA↗
arXiv2026

Baer-Type Ring Characterizations of Steinberg Algebras, with Applications to Leavitt Path Algebras

We extend the theory of Baer, Rickart, and their local, graded, and $*$-analogues for Steinberg algebras. First, we prove that positive definiteness passes from the coefficient field to the Steinberg algebra, and that this, together with graded von Neumann regularity, characterized by Steinberg and van Wyk, yields graded locally Rickart $*$-Steinberg algebras. Then we show that local Baer behavior forces every compact open subset of the unit space to be extremally disconnected. Consequently, when compact open subspaces of the unit space are metrizable, local Baer behavior forces the groupoid to be discrete. In the discrete case, we use the orbit-by-orbit decomposition into finitary matrix algebras over isotropy group algebras to convert annihilator conditions into explicit matrix conditions. For groupoids whose isotropy is trivial or infinite cyclic, these ingredients yield complete local and unital characterizations. In particular, local Baer and graded local Baer conditions are equivalent to discreteness, while the ungraded local Baer $*$-condition additionally requires that every orbit with nontrivial isotropy be a singleton. We then apply the theory to boundary path groupoids. Using the Steinberg algebra model, we obtain the Rickart, Baer, and Baer $*$ characterizations of Leavitt path algebras, including the local and graded variants.

math.RA↗
arXiv2026

Graded bimodules over split group algebras: stabilizers and Peirce decompositions

We classify, up to graded isomorphism, graded bimodules over split group algebras of finite abelian subgroups of an arbitrary group. The classification is governed by double cosets, stabilizer characters, and coefficient modules. Over a field, we determine the essential image of the induction functor on Yetter-Drinfel'd modules, giving a negative answer to a question of Dos Santos and Yasumura in the nonabelian case. We also compute the Peirce components and characterize multiplicity-free bimodules through extensions of stabilizer characters.

math.RA↗