arXiv Science⌕ Search

arXiv · 2610.03348

(Super)nilpotency and solvability in algebras with zero

Abstract

An algebra with zero is an algebra that contains an element 0, called zero, such that all fundamental operations have the property that the result is zero whenever at least one of the arguments takes the value 0. We introduce the notion of the higher commutator of ideals and Rees congruences for such algebras. It is shown that the commutator of Rees congruences is equal to the Rees congruence of the commutator of the corresponding ideals. We apply this result to provide characterisations of n-supernilpotency and n-nilpotency in algebras with zero, as well as n-solvability in groupoids with zero.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Ivana Đurđev, Nebojša Mudrinski. 2026-10-02. (Super)nilpotency and solvability in algebras with zero. https://arxiv.org/abs/2610.03348

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

KEEP EXPLORING

Related papers

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↗

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↗

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↗