https://arxiv.org/api/Yx7KO5fMFvXvIHhgHM1YNTqycQk 2026-06-14T23:59:11Z 20068 510 15 http://arxiv.org/abs/2509.13959v4 2026-03-30T05:41:56Z

This paper examines the connections between (relative) Rota--Baxter groups, skew left braces, and enlargements of these structures on naturally associated semi-direct products. Given a skew left brace, we define a new skew left brace, referred to as its square, on the natural semi-direct product of its additive and multiplicative groups. Further, the square construction is distinct from the previously known double construction arising as a special case of matched pairs of skew braces. This provides a method to construct a new bijective, non-degenerate solution to the Yang--Baxter equation from an existing solution arising from a skew left brace. We show that the square construction is functorial and integrates naturally into both the cohomological and extension-theoretic frameworks for (relative) Rota--Baxter groups and skew left braces. Furthermore, we provide a sufficient condition under which two isoclinic skew left braces yield isoclinic squares.

2025-09-17T13:33:52Z JoNAS - Journal of Non-Associative Structures, Volume 1 (2026), Issue 1 (March 31, 2026) jonas:17223 Pragya Belwal Mahender Singh 10.46298/jonas.17223 http://arxiv.org/abs/2605.08090v1 2026-03-30T05:07:46Z

We study the rank-three lifting problem for incidence matrices of finite projective planes through residue-level determinant constraints invisible to tropical valuations alone. In residue characteristic $\neq 3$, any rank-$\le 3$ lift of the incidence matrix of a projective plane of order $q \ge 3$ forces $Ω(q^8)$ distinct admissible $2 \times 2$ zero rectangles with nontrivial residue cross-ratio. We further prove that for $q \ge 6$ no monomial rank-$\le 3$ lift exists; in particular, any putative low-rank lift must already involve nontrivial first-order corrections on valuation-0 entries. These results arise from a local analysis of $4 \times 4$ identity-pattern minors, where we derive the leading derangement equation together with its first-order companion and show that every vanished identity-pattern minor contains a cross-ratio-defective admissible rectangle. The unresolved part of the problem is therefore genuinely global: one must decide whether a rank-3 residue model, together with a compatible first-order deformation, can satisfy the full overlapping system of local residue constraints.

2026-03-30T05:07:46Z 46 pages, 3 figures, 1 table, 2 appendices Jaehwan Kim http://arxiv.org/abs/2603.27730v1 2026-03-29T15:08:10Z

In this paper, we study arbitrary models of the first-order theory of a ring $A$ where the additive group $A$ is a finitely generated abelian group. Following an earlier paper by this author, Alexei G. Myasnikov and Francis Oger, we call these rings the FDZ-rings or FDZ-algebras. The rings considered are not necessarily unitary, commutative, or associative. We provide criteria for such rings to be quasi finitely axiomatizable (QFA) or bi-interpretable with the ring of integers $\mathbb Z$. We shall also describe all rings elementarily equivalent to such a ring $A$ given certain constraints on $A$.

2026-03-29T15:08:10Z 25 pages Mahmood Sohrabi http://arxiv.org/abs/2603.18220v2 2026-03-29T12:48:30Z

We introduce a procedure based on computational algebraic geometry to determine whether two algebras are isomorphic. We then apply it to show that if $R$ is a commutative unital ring in which $2$ is not invertible, $G$ is a group of order dividing $64$ and $H$ some group, then an isomorphism of unital algebras $RG \cong RH$ implies an isomorphism of groups $G \cong H$.

2026-03-18T19:08:42Z Minor corrections. 16 pages Leo Margolis Taro Sakurai http://arxiv.org/abs/2512.04363v3 2026-03-29T01:26:52Z

Over an algebraically closed field $\mathbb{F}$ of zero characteristic polynomial map $ξ: \mathbb{F}^n\rightarrow \mathbb{F}^n$ of the form $ξ(x)=x-((xA_1)^{3}, (xA_2)^{3},..., (xA_n)^{3})$, where $x=(x_1,x_2,...,x_n)$ a row vector of variables, $A_i\in \mathbb{F}^n$ are column vectors, is considered. It is shown that if $\det(\partialξ(x))=1$, then $ξ$ is injective.

2025-12-04T01:16:34Z Dear Readers, I am sorry for disturbing you with a wrong proof U. Bekbaev http://arxiv.org/abs/2512.24881v3 2026-03-28T11:53:54Z

We describe totally compatible structures on the Jacobson radical of the incidence algebra of a finite poset over a field. We show that such structures are in general non-proper.

2025-12-31T14:17:21Z Final version JoNAS - Journal of Non-Associative Structures, Volume 1 (2026), Issue 1 (March 31, 2026) jonas:17219 Mykola Khrypchenko 10.46298/jonas.17219 http://arxiv.org/abs/2511.09395v2 2026-03-27T18:51:26Z

We study a seven-dimensional non-associative algebra, the \emph{exceptional Vidinli algebra}, defined by lifting the bilinear product introduced by Hüseyin Tevfik Pasha (Vidinli) in 1882 from three to seven dimensions via the octonionic cross product. This algebra is unital, simple, and non-associative, with automorphism group $U(3)$. Its multiplication splits canonically into a simple Jordan algebra and a Heisenberg Lie algebra, realizing the Jordan--Lie structure of the exceptional Vidinli algebra. Every principal 2-plane through the unit is isomorphic to $\C$, and every principal 3-plane is isomorphic to a twisted Vidinli algebra introduced below. %as the parameter $t$ varies, the complete twisted family $\{\mathcal{V}_t\}$ is realized inside $\V_7$. The main result is a $(\Z/2)^3$ grading of the cross product, under which the multiplication table of the exceptional Vidinli algebra is determined by three explicit rules with no reference to the calibration form. This grading unifies three structures through a single group: the Fano plane $\mathrm{PG}(2,2)$, whose lines correspond to the Vidinli subalgebras and Vidinli-Jordan subalgebras, %of $\V_7$, the discrete family of directional Vidinli algebras indexed by the nonzero elements of $(\Z/2)^3$, and the Heisenberg partition of basis pairs, which realizes the Fano incidence relation as a commutator condition. The resulting Fano-Vidinli duality identifies $(\Z/2)^3$ as the common source of both the Fano geometry and the Vidinli family.

2025-11-12T15:03:38Z Olcay Coskun Alp Eden http://arxiv.org/abs/2603.26626v1 2026-03-27T17:26:14Z

Let G be a nilpotent p-valuable (compact p-adic Lie) group. There is an ongoing investigation into the prime ideals of its completed group algebra (Iwasawa algebra), and there remains an open conjecture that they can all be proved to have a canonical standard form. We very this conjecture for several new classes of nilpotent groups, including those corresponding to the positive subalgebra of almost all classical and exceptional types, curiously excluding those of type C.

2026-03-27T17:26:14Z 23 pages Adam Jones William Woods http://arxiv.org/abs/2603.26616v1 2026-03-27T17:11:54Z

Ultrahomogeneity and $ω$-categoricity are two central concepts arising from model theory, with strong connections with oligomorphic permutation groups and quantifier elimination. In particular, both are conditions on the automorphism group of a structure. The aim of this paper is to describe both the $ω$-categorical monounary algebras and the ultrahomogeneous monounary algebras of arbitrary cardinalities. We show that a monounary algebra is $ω$-categorical [ultrahomogeneous] if and only if every element has finite height and Aut$(\mathcal{A})$ has only finitely many 1-orbits [$\mathcal{A}$ is 1-ultrahomogeneous]. Our classification of ultrahomogeneous monounary algebras is then viewed in the context of previously studied variants of ultrahomogeneity, including (partial)-homogeneity and transitivity.

2026-03-27T17:11:54Z Thomas Quinn-Gregson http://arxiv.org/abs/2603.26508v1 2026-03-27T15:18:48Z

The semiring of discrete dynamical systems is a simple algebraic model for modularity in deterministic systems. The objects of the semiring are finite transformations (viewed as directed graphs and regarded up to isomorphism), the sum of two transformations corresponds to applying them independently on distinct sets, and the product corresponds to applying both transformations in parallel. In this paper, we extend this semiring to include partial transformations; the sum and product are natural generalisations. Each (partial) transformation can be viewed as a sum (over $\mathbb{N}$) of connected (partial) transformations. We generalise this idea by working in semirings of formal sums over any semiring $\mathbb{S}$. Here we consider the case where $\mathbb{S} = \mathbb{F}_2$, the binary field, and we focus on injective partial transformations, i.e. sums of chains and cycles. While no efficient algorithm for the division problem for sums of cycles in the original semiring of discrete dynamical systems is known, we give a concise characterisation of all the solutions of the division problem for sums of cycles over $\mathbb{F}_2$. We then extend this characterisation to dividing any injective partial transformations, i.e. sums of chains and cycles over $\mathbb{F}_2$.

2026-03-27T15:18:48Z Maximilien Gadouleau Marianne Johnson http://arxiv.org/abs/2411.18904v2 2026-03-27T14:07:49Z

We present a general framework for constructing polynomial integrable systems on linearizations of Poisson varieties that admit log-canonical systems. Our construction is in particular applicable to Poisson varieties with compatible cluster or generalized cluster structures. As examples, we consider a standard complex semi-simple Poisson Lie group $G$ and a Borel subgroup $B$ of $G$, equipped with the Berenstein-Fomin-Zelevinsky cluster structures; the unipotent Lie subgroup $N_w$ of $G$ associated to any $w$ in the Weyl group of $G$, equipped with the cluster structure on the corresponding Schubert cell as first defined by Geiss-Leclerc-Schröer when $G$ is simply-laced; and the dual Poisson Lie group ${\rm GL}(n, \mathbb C)^*$ of the standard Poisson Lie group ${\rm GL}(n, \mathbb C)$, equipped with the Gekhtman-Shapiro-Vainshtein generalized cluster structure. In each of these four cases, we show that every extended cluster in the respective cluster or generalized cluster structure gives rise to at least one polynomial integrable system with respect to the linearization of the Poisson structure at the identity element. For some of the polynomial integrable systems, we show that all their Hamiltonian flows are complete. Just as generalized minors on a complex semi-simple Lie group $G$ are used to describe certain initial extended clusters in the Berenstein-Fomin-Zelevinsky cluster structure on $G$, we introduce a special class of homogeneous polynomials, called signed generalized minors, on the Lie algebra $\mathfrak{g}$ of $G$, which are then used to describe some of the polynomial integrable systems obtained via our construction. As a further application, we use the homogeneous degrees of certain signed generalized minors to give an explicit formula for the index of the Lie algebra of $N_w$ for every $w$ in the Weyl group.

2024-11-28T04:29:53Z Yanpeng Li Yu Li Jiang-Hua Lu http://arxiv.org/abs/2310.05257v5 2026-03-27T13:56:12Z

This is part of an ongoing project to find a general algebraic framework for semiring theory. The structure theory of semirings is quite challenging, largely because of the lack of negation, and such basic properties such as unique factorization of polynomials, multiplicativity of determinants, and the characteristic polynomial of a matrix, all fail. (In fact in the max-plus algebra, the sum of two nonzero elements is never zero!) Consequently 0 is replaced by a distinguished T-submodule $ A_0$ of $ A,$ and $( A, A_0)$ is called a ``pair.'' This paper treats linear algebra over a (not necessarily distributive) semiring pair, with a range of applications to tropical algebra as well as related areas such as hyperrings and fuzzy rings. We turn to matrices and the question of whether the row rank, column rank, and submatrix rank of a matrix are equal. The submatrix rank is less than or equal to the row rank and the column rank in many cases, including ``metatangible pairs'' with unique negation, but there is a counterexample to equality, discovered some time ago by the second author, which we provide in a more general setting (``pairs of the second kind'') that includes the hyperfield of signs. We do find situations when equality holds, encompassing results by Akian, Gaubert, Guterman, Izhakian, Knebusch, and Rowen, including versions of Cramer's rule. We pay special attention to the question of Baker and Zhang whether $n+1$ vectors of length $n$ need be dependent. At the conclusion of the main part, we consider surpassing relations, which permit us to tighten our results. The categorical setting is given in the appendix.

2023-10-08T18:27:14Z Revision of the previous version, 50 pp Marianne Akian Stephane Gaubert Louis Rowen http://arxiv.org/abs/2603.26368v1 2026-03-27T12:51:13Z

Functor morphing provides a method to translate complex representations of automorphism groups of finite modules over finite rings to representations of automorphism groups of functors in some abelian category. In this paper we give an explicit criterion for a representation to be in the image of functor morphing using the action of parabolic subgroups. We then demonstrate this criterion on Borel groups of finite fields.

2026-03-27T12:51:13Z Ehud Meir http://arxiv.org/abs/2603.26315v1 2026-03-27T11:33:58Z

This article determines the structure of the group ring $\mathbb{Z}_nG$, where $G$ is a finite group and $\mathbb{Z}_n$ is the ring of integers modulo $n$, such that $n$ is relatively prime to the order of $G$. The decomposition of $\mathbb{Z}_nG$ is given as a direct sum of matrix rings over Galois rings, thereby extending the structural theory of group rings beyond the classical field setting. We also provide a method to compute a generating set of the unit group $\mathcal{U}(\mathbb{Z}_nG)$, in terms of elementary matrices, using Shoda pair theory. The results are illustrated with examples.

2026-03-27T11:33:58Z Jyoti Garg Sugandha Maheshwary Himanshu Setia http://arxiv.org/abs/2507.01650v5 2026-03-27T02:50:20Z

We introduce the notion of quasi-triangular anti-dendriform bialgebras, which can be induced by the solutions of the AD-YBE whose symmetric parts are invariant. A factorizable anti-dendriform bialgebra leads to a factorization of the underlying anti-dendriform algebra. Moreover, relative Rota-Baxter operators with weights are introduced to characterize the solutions of the AD-YBE whose symmetric parts are invariant. Finally, we interpret factorizable anti-dendriform bialgebras in terms of quadratic Rota-Baxter anti-dendriform algebras.

2025-07-02T12:23:15Z 19 pages Qinxiu Sun Min Wu