arXiv subjects

Jose Brox

Publications and source records attributed to Jose Brox.

6 recordsLinked to original sources

arXiv2025

The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale

We report on the Equational Theories Project (ETP), an online collaborative pilot project to explore new ways to collaborate in mathematics with machine assistance. The project successfully determined all 22 028 942 edges of the implication graph between the 4694 simplest equational laws on magmas, by a combination of human-generated and automated proofs, all validated by the formal proof assistant language Lean. As a result of this project, several new constructions of magmas satisfying specific laws were discovered, and several auxiliary questions were also addressed, such as the effect of restricting attention to finite magmas.

math.RA↗

arXiv2024

Differential identities of matrix algebras

We study the differential identities of the algebra $M_k(F)$ of $k\times k$ matrices over a field $F$ of characteristic zero when its full Lie algebra of derivations, $L=\mbox{Der}(M_k(F))$, acts on it. We determine a set of 2 generators of the ideal of differential identities of $M_k(F)$ for $k\geq 2$. Moreover, we obtain the exact values of the corresponding differential codimensions and differential cocharacters. Finally we prove that, unlike the ordinary case, the variety of differential algebras with $L$-action generated by $M_k(F)$ has almost polynomial growth for all $k\geq 2$.

math.RA↗

arXiv2023

Weak representability of actions of non-associative algebras

We study the categorical-algebraic condition that internal actions are weakly representable (WRA) in the context of varieties of (non-associative) algebras over a field. Our first aim is to give a complete characterization of action accessible, operadic quadratic varieties of non-associative algebras which satisfy an identity of degree two and to study the representability of actions for them. Here we prove that the varieties of two-step nilpotent (anti-)commutative algebras and that of commutative associative algebras are weakly action representable, and we explain that the condition (WRA) is closely connected to the existence of a so-called amalgam. Our second aim is to work towards the construction, still within the context of algebras over a field, of a weakly representing object $E(X)$ for the actions on (or split extensions of) an object $X$. We actually obtain a partial algebra $E(X)$, which we call external weak actor of $X$, together with a monomorphism of functors ${\operatorname{SplExt}(-,X) \rightarrowtail \operatorname{Hom}(U(-),E(X))}$, which we study in detail in the case of quadratic varieties. Furthermore, the relations between the construction of the universal strict general actor $\operatorname{USGA}(X)$ and that of $E(X)$ are described in detail. We end with some open questions.

math.CT↗

arXiv2021

The determinant, spectral properties, and inverse of a tridiagonal $k$-Toeplitz matrix over a commutative ring

A square matrix is $k$-Toeplitz if its diagonals are periodic sequences of period $k$. We find universal formulas for the determinant, the characteristic polynomial, some eigenvectors, and the entries of the inverse of any tridiagonal $k$-Toeplitz matrix (in particular, of any tridiagonal matrix) over any commutative unital ring, expressed in terms of the elementary operations of the ring. The results are proven using combinatorial identities and elementary linear algebra. We conduct a complexity analysis of algorithms based on our formulas, showing that they are efficient, and we compare our results favourably with those found in the literature. Concretely, the determinant, the characteristic polynomial, and any entry of the inverse of a tridiagonal $k$-Toeplitz matrix of size $n$ can each be found with $O(\displaystyle\log\frac nk+k)$ operations, while an eigenvector can be determined with $O(n+k)$ operations.

math.RA↗

arXiv2020

There are no nontrivial two-sided multiplicative (generalized)-skew derivations in prime rings

As originally defined by Ashraf and Mozumder, multiplicative (generalized)-skew derivations must satisfy two identities. In this short note we show that, as a consequence of the simultaneous satisfaction of both identities, a multiplicative (generalized)-skew derivation of a prime ring is either a multiplicative (generalized) derivation (i.e., not skew), or a generalized skew derivation (i.e., additive). Therefore only one of the identities should be taken in the definition of multiplicative (generalized)-skew derivations in order to get a new class of derivations in prime rings.

math.RA↗

arXiv2018

Higher polynomial identities for mutations of associative algebras

We study polynomial identities satisfied by the mutation product $xpy - yqx$ on the underlying vector space of an associative algebra $A$, where $p, q$ are fixed elements of $A$. We simplify known results for identities in degree $4$, proving that only two identities are necessary and sufficient to generate them all; in degree 5, we show that adding one new identity suffices; in degree 6, we demonstrate the existence of a number of new identities.

math.RA↗