Characterizing categoricity in the class $Add(M)$

2026-03-26T00:38:43Z

We show that the condition of being categorical in a tail of cardinals can be characterized for the class of $R$-modules of the form $\Add(M)$. More precisely, let $R$ be a ring and $M$ be an $R$-module which can be generated by $\leq \aleph$ elements. Then $\Add(M)$ is $κ$-categorical in all $κ>\Vert R\Vert+\aleph+\aleph_0$ if and only if $\Add(M)$ is $κ$-categorical in some $κ>\Vert R\Vert+\aleph+\aleph_0$; if and only if every $R$-module of cardinal $κ$ in $\Add(M)$ is $M$-free for all $κ>\Vert R\Vert+\aleph+\aleph_0$; if and only if every $R$-module of cardinal $(\Vert R\Vert+\aleph+\aleph_0)^{+}$ in $\Add(M)$ is $M$-free. As an application, we show that the class of pure-projective $R$-modules is categorical in some (all) big cardinal if and only if the module $P^{(\aleph_0)}$ is free for each countably generated pure-projective $R$-module $P$; the class of semisimple $R$-modules is categorical in some (all) big cardinal if and only if $R$ admits a unique simple module up to isomorphism, partly answering a question proposed in [5, Mazari-Armida M., Characterizing categoricity in several classes of modules. J. Algebra 617, 382-401 (2023)].

Hom-unitality and hom-associative structures

2026-03-25T22:41:53Z

We study hom-associative structures on general possibly non-associative algebras focusing on one-sided and two-sided unital algebras. New characterizations and aspects of these structures, along with some important subclasses, are explored for nonassociative algebras. By exploiting the observation that the twisting linear map in the hom-associativity axiom of one-sided unital hom-associative algebras is a left or right multiplication operator by an element of the algebra (obtained by the action of the twisting map on a corresponding one-sided unity), a new characterization of the multiplicative twisting operators (or, in other words, the multiplicative hom-associative algebras) is established for one-sided unital algebras. This demonstrates a strong connection between multiplicativity in hom-associative structures and the idempotents of the algebra, thereby further enhancing our understanding of the structure and special nature of multiplicative hom-associative algebra structures as a special subclass of arbitrary hom-associative structures with arbitrary linear twisting maps. Furthermore, new insights into subspaces and a subalgebra of hom-unities, that is, elements that induce hom-associativity by multiplication, are obtained. Moreover, because non-unital hom-associative algebras need not be twisted by a multiplication operator, a unitalization process is employed to describe a subalgebra of two-sided hom-unities that induce hom-associative structures on such algebras. This is formulated in terms of the eigenspaces of multiplication operators within the algebra. Additionally, the obtained insights and general results about the structure and characterization of hom-algebra structures are applied to some important known general classes of non-associative algebras, such as commutative, possibly non-associative algebras, Cayley-Dickson algebras, Leibniz algebras, and hom-Leibniz algebras.

Structure Constant Formulas for the Universal Enveloping Algebras of the Nilpotent Lie Algebras of Dimension Five and Less

2026-03-25T20:07:56Z

Libor Šnobl and Pavel Winternitz classified all of the Lie algebras of dimension six and smaller. Using this classification, we formulated and proved structure constant formulas for the universal enveloping algebras of the nilpotent Lie algebras of dimension five and less.

Some remarks about $FP_{n}$-projective and $FP_{n}$-injective modules

2026-03-25T16:29:51Z

Let $R$ be a ring. In \cite{MD4} Mao and Ding defined an special class of $R$-modules that they called $ FP_n $-projective $R$-modules. In this paper, we give some new characterizations of $ FP_n $-projective $R$-modules and strong $n$-coherent rings. Some known results are extended and some new characterizations of the $ FP_n $-injective global dimension in terms of $ FP_n $-projective $R$-modules are obtained. Using the $ FP_n $-projective dimension of an $R$-module defined by Ouyang, Duan and Li in \cite{Ouy} we introduce a slightly different $ FP_n $-projective global dimension over the ring $R$ which measures how far away the ring is from being Noetherian. This dimension agrees with the $(n,0)$-projective global dimension of \cite{Ouy} when the ring in question is strong $n$-coherent.

Derivation of optimal stochastic Runge-Kutta methods with exotic and decorated Butcher series for the weak integration of stochastic dynamics

2026-03-25T12:49:01Z

The design of numerical integrators for solving stochastic dynamics with high weak order relies on tedious calculations and is subject to a high number of order conditions. The original approaches from the literature consider strong approximations and adapt them for the weak approximation by replacing the iterated stochastic integrals by appropriate random variables. The methods obtained this way are sub-optimal in their number of function evaluations and the analysis of order conditions is unnecessarily complicated. We provide in this paper a novel approach, relying on well-chosen sets of random Runge-Kutta coefficients, that greatly reduce the number of order conditions. The approach is successfully applied to the creation of a collection of new stochastic Runge-Kutta methods of second weak order with an optimal number of function evaluations and a smaller number of random variables. The efficiency of the new methods is confirmed with numerical experiments and a modern algebraic approach using Hopf algebras is provided for the derivation and the study of the order conditions.

Hereditarily and Super Bassian Modules over Certain Rings

2026-03-25T11:11:09Z

We characterize in certain basic cases when a module over a ring is either {\it hereditarily Bassian} or {\it super Bassian} in the sense that either each its proper submodule is Bassian or, respectively, each its proper epimorphic image is Bassian. We prove several structural criteria for both hereditarily Bassian and super Bassian modules over non-primitive Dedekind prime rings, and in particular Dedekind domains. Over these rings, we establish that a singular module is super Bassian exactly when it is Bassian, which is true if and only if it is Bassian. In addition, for an arbitrary (not necessarily singular) module over a non-primitive Dedekind prime ring, the property of being super Bassian curiously implies the property of being hereditary Bassian always. Our results somewhat continue and supply recent results due to Tuganbaev in Mathematics (2026) and Blacher in J. Algebra (2026).

On the multiplicative group of a two-sided skew brace of solvable type

2026-03-25T10:05:36Z

We prove that if $(B,+,\cdot)$ is a two-sided skew brace whose additive group is solvable, then every finite quotient of the multiplicative group $(B,\cdot)$ is solvable. In particular, our result recovers Nasybullov's theorem in the finite case ~\cite[Theorem~4.3(1)]{Nas} and extends it to arbitrary two-sided skew braces of solvable type.

Averaging pre-Lie bialgebras

2026-03-25T00:04:15Z

In this paper, we first introduce representations of averaging pre-Lie algebras and study their matched pairs, Manin triples, and bialgebra theories. We prove that these three notions are equivalent under certain conditions. Moreover, by introducing averaging operators on quadratic Rota-Baxter pre-Lie algebras, we show that such operators give rise to averaging pre-Lie bialgebras. Then we introduce the notion of admissible classical Yang-Baxter equations in averaging pre-Lie algebras, as well as the relative Rota-Baxter operators on averaging pre-Lie algebras, and show that the relative Rota-Baxter operators on averaging pre-Lie algebras yield symmetric solutions of admissible classical Yang-Baxter equations in averaging pre-Lie algebras. Finally, we show that every averaging pre-Lie bialgebra induces an averaging Lie bialgebra.

The PI Property in Algebras of Polynomial Type

2026-03-24T21:19:56Z

This article provides a synthesis of recent advances in the study of the PI property in various classes of noncommutative algebras of polynomial type.

A new proof of Funayama's theorem

2026-03-24T17:33:12Z

Funayama proved that a lattice embeds into a complete Boolean algebra in such a way that all existing joins and meets are preserved if and only if the lattice satisfies the join-infinite and meet-infinite distributive laws. There are several proofs of this classic result in the literature. In this note, we provide a new and purely order-theoretic proof of Funayama's theorem, as well as of generalizations of the theorem.

The entrywise calculus and dimension-free positivity preservers, with an Appendix on sphere packings

2026-03-24T15:24:10Z

We present an overview of a classical theme in analysis and matrix positivity: the question of which functions preserve positive semidefiniteness when applied entrywise. In addition to drawing the attention of experts such as Schoenberg, Rudin, and Loewner, the subject has attracted renewed attention owing to its connections to various applied fields and techniques. In this survey we will focus mainly on the question of preserving positivity in all dimensions. Connections to distance geometry and metric embeddings, positive definite sequences and functions, Fourier analysis, applications and covariance estimation, Schur polynomials, and finite fields will be discussed. The Appendix contains a mini-survey of sphere packings, kissing numbers, and their "lattice" versions. This part overlaps with the rest of the article via Schoenberg's classification of the positive definite functions on spheres, aka dimension-free entrywise positivity preservers with a rank constraint - applied via Delsarte's linear programming method.

The rank condition and strong rank conditions for Ore extensions

2026-03-24T10:55:21Z

Let $R$ be a ring, $σ:R\to R$ a ring endomorphism, and $δ:R\to R$ a $σ$-derivation. We establish that the Ore extension $R[x;σ,δ]$ satisfies the rank condition if and only if $R$ does. In addition, we prove analogous results for the right and left strong rank conditions. However, in the right case, the ``if" part requires the hypothesis that $σ$ is an automorphism, whereas, in the left case, this assumption is needed for the ``only if" part. Finally, we provide a new proof of an old result of Susan Montgomery stating that a skew power series ring is directly (respectively, stably) finite if and only if its coefficient ring is directly (respectively, stably) finite.

On modules over a Hopf brace

2026-03-24T08:28:21Z

Let $\mathbb{H}=(H_{1},H_{2})$ be a Hopf brace in a symmetric monoidal category ${\sf C}$. In this article it is proved that the category of modules over $\mathbb{H}$ is isomorphic to the category of modules over the smash product algebra $H_{1}\sharp H_{2}$. Furthermore, the category of modules over $\mathbb{H}$ in the sense of Zhu is characterized by the condition that a certain action lies in the cocommutativity class of $H_{2}$.

$L^r$-Multipliers on compact $p$-adic Lie groups

2026-03-24T03:59:00Z

Let $p$ be a prime number, and let $\mathbb{G}$ be a compact $p$-adic Lie group. This work provides multiplier theorems for invariant operators on $\mathbb{G}$ acting on $L^r_α(\mathbb{G})$, $10$, in terms of the Ruzhansky-Turunen difference operators and Saloff-Coste's condition. As an application, a Littlewood-Paley decomposition is proven, together with the $L^r$-boundedness of bounded functions of the Vladimirov-Taibleson operator on compact Vilenkin groups.

On the semi-abelianness of cocommutative Hopf monoids

2026-03-23T16:58:56Z

By providing a suitable generalization of Newman's bijective correspondence known for cocommutative Hopf algebras, we prove that the category of cocommutative Hopf monoids in any abelian symmetric monoidal category is semi-abelian, once faithful (co)flatness conditions are satisfied. This result unifies and generalizes the semi-abelianness of cocommutative Hopf algebras and of cocommutative color Hopf algebras known up to now. As a consequence of the semi-abelianness, the category of cocommutative Hopf monoids is also action representable. Finally, we prove that abelian objects in the category of cocommutative Hopf monoids coincide exactly with commutative and cocommutative Hopf monoids, which form so an abelian category.