Exactness of cochain complexes via additive functors

2025-04-16T14:50:52Z

We investigate the relation between the notion of $e$-exactness, recently introduced by Akray and Zebary, and some functors naturally related to it, such as the functor $P\colon\operatorname{Mod} R\to \operatorname{Spec}(\operatorname{Mod} R)$, where $\operatorname{Spec}(\operatorname{Mod} R)$ denotes the spectral category of $\operatorname{Mod} R$, and the localization functor with respect to the singular torsion theory.

On Codes from Split Metacyclic Groups

2025-04-16T10:43:23Z

The paper presents a comprehensive study of group codes from non-abelian split metacyclic group algebras. We derive an explicit Wedderburn-like decomposition of finite split metacyclic group algebras over fields with characteristic coprime to the group order. Utilizing this decomposition, we develop a systematic theory of metacyclic codes, providing their algebraic description and proving that they can be viewed as generalized concatenated codes with cyclic inner codes and skew quasi-cyclic outer codes. We establish bounds on the minimum distance of metacyclic codes and investigate the class of induced codes. Furthermore, we show the feasibility of constructing a partial key-recovery attack against certain McEliece-type cryptosystems based on metacyclic codes by exploiting their generalized concatenated structure.

$f$-vectors and $F$-invariant in generalized cluster algebras

2025-04-16T10:18:45Z

We establish the initial and final seed mutations of the $f$-vectors in generalized cluster algebras and prove some properties of $f$-vectors. Furthermore, we extend $F$-invariant to generalized cluster algebras without the positivity assumption and prove symmetry property of $f$-vectors using the $F$-invariant.

Puncturing Quantum Stabilizer Codes

2025-04-16T09:50:33Z

Classical coding theory contains several techniques to obtain new codes from other codes, including puncturing and shortening. For quantum codes, a form of puncturing is known, but its description is based on the code space rather than its generators. In this work, we generalize the puncturing procedure to allow more freedom in the choice of which coded states are kept and which are removed. We describe this puncturing by focusing on the stabilizer matrix containing the generators of the code. In this way, we are able to explicitly describe the stabilizer matrix of the punctured code given the stabilizer matrix of the original stabilizer code. The additional freedom in the procedure also opens up new ways to construct new codes from old, and we present several ways to utilize this for the search of codes with good or even optimal parameters. In particular, we use the construction to obtain codes whose parameters exceed the best previously known. Lastly, we generalize the proof of the Griesmer bound from the classical setting to stabilizer codes since the proof relies heavily on the puncturing technique.

Acyclicity test of complexes modulo Serre subcategories using the residue fields

2025-04-16T06:50:05Z

Let $R$ be a commutative noetherian ring, and let $\mathscr{S}$(resp. $\mathscr{L}$) be a Serre(resp. localizing) subcategory of the category of $R$-modules. If $\Bbb F$ is an unbounded complex of $R$-modules Tor-perpendicular to $\mathscr{S}$ and $d$ is an integer, then $\HH{i\geqslant d}{S\otimes_R \Bbb F}$ is in $\mathscr{L}$ for each $R$-module $S$ in $\mathscr{S}$ if and only if $\HH{i\geqslant d}{k(\fp)\otimes_R \Bbb F}$ is in $\mathscr{L}$ for each prime ideal $\fp$ such that $R/\fp$ is in $\mathscr{S}$, where $k(\fp)$ is the residue field at $\fp$. As an application, we show that for any $R$-module $M$, $\Tor_{i\geqslant 0}^R(k(\fp),M)$ is in $\mathscr{L}$ for each prime ideal $\fp$ such that $R/\fp$ is in $\mathscr{S}$ if and only if $\Ext^{i \geqslant 0}_R(S,M)$ is in $\mathscr{L}$ for each cyclic $R$-module $S$ in $\mathscr{S}$. We also obtain some new characterizations of regular and Gorenstein rings in the case of $\mathscr{S}$ consists of finite modules with supports in a specialization-closed subset $V(I)$ of $\Spec R$.

Categories of hypermagmas, hypergroups, and related hyperstructures

2025-04-15T22:21:02Z

In order to diagnose the cause of some defects in the category of canonical hypergroups, we investigate several categories of hyperstructures that generalize hypergroups. By allowing hyperoperations with possibly empty products, one obtains categories with desirable features such as completeness and cocompleteness, free functors, regularity, and closed monoidal structures. We show by counterexamples that such constructions cannot be carried out within the category of canonical hypergroups. This suggests that (commutative) unital, reversible hypermagmas -- which we call mosaics -- form a worthwhile generalization of (canonical) hypergroups from the categorical perspective. Notably, mosaics contain pointed simple matroids as a subcategory, and projective geometries as a full subcategory.

Two-Term Polynomial Identities

2025-04-15T18:01:37Z

We study algebras satisfying a two-term multilinear identity, namely one of the form $x_1 \cdots x_n= q x_{\sigma(1)} \cdots x_{\sigma(n)}$, where $q$ is a parameter from the base field. We show that such algebras with $q=1$ and $\sigma$ not fixing 1 or $n$ are eventually commutative in the sense that the equality $x_1\cdots x_k = x_{\tau(1)} \cdots x_{\tau(k)}$ holds for $k$ large enough and all permutations $\tau \in S_k$. Calling the minimal such $k$ the degree of eventual commutativity, we prove that $k$ is never more than $2n-3$, and that this bound is sharp. For various natural examples, we prove that $k$ can be taken to be $n+1$ or $n+2$. In the case when $q \ne 1$, we establish that the algebra must be nilpotent. We, moreover, demonstrate that if an algebra is eventually commutative of arbitrary characteristic, then it has a finite basis of its polynomial identities, thus confirming the Specht conjecture in this particular case.

Williams' conjecture holds for graphs of Gelfand-Kirillov dimension three

2025-04-15T16:14:00Z

A graph of Gelfand-Kirillov dimension three is a connected finite essential graph such that its Leavitt path algebra has Gelfand-Kirillov dimension three. We provide number-theoretic criteria for graphs of Gelfand-Kirillov dimension three to be strong shift equivalent. We then prove that two graphs of Gelfand-Kirillov dimension three are shift equivalent if and only if they are strongly shift equivalent, if and only if their corresponding Leavitt path algebras are graded Morita equivalent, if and only if their graded $K$-theories, $K^{\text{gr}}_0$, are order-preserving $\mathbb{Z}[x, x^{-1}]$-module isomorphic. As a consequence, we obtain that the Leavitt path algebras of graphs of Gelfand-Kirillov dimension three are graded Morita equivalent if and only if their graph $C^*$-algebras are equivariant Morita equivalent, and two graphs $E$ and $F$ of Gelfand-Kirillov dimension three are shift equivalent if and only if the singularity categories $\text{D}_{\text{sg}}(KE/J_E^2)$ and $\text{D}_{\text{sg}}(KF/J_F^2)$ are triangulated equivalent.

Frobenius reciprocity, modular connections, lattice isomorphism theorem and abstract principal ideals

2025-04-15T16:06:09Z

The purpose of this short note is to fill a gap in the literature: Frobenius reciprocity in the theory of doctrines is closely related to modular connections in projective homological algebra and the notion of a principal element in abstract commutative ideal theory. These concepts are based on particular properties of Galois connections which play an important role also in the abstract study of group-like structures from the perspective of categorical/universal algebra; such role stems from a classical and basic result in group theory: the lattice isomorphism theorem.

Central series' and ($n$)-isoclinism of skew left braces

2025-04-15T14:24:36Z

The aim of this article is to advance the knowledge on the theory of skew left braces. We introduce a subclass of skew left braces, which we denote by $\mathcal{I}_n$, $n \ge 1$, such that elements of the annihilator and lower central series' interact `nicely' with respect to commutation. That allows us to define a concept of $n$-isoclinism of skew left braces in $\mathcal{I}_n$, by using a concept of brace commutator words, which we have introduced. We prove results on $1$-isoclinism (isoclinism) of skew left braces analogous to important results in group theory. For any two symmetric $n$-isoclinic skew left braces $A$ and $B$, we prove that, there exist skew left braces $C$ and $R$ such that both $A$ and $B$ are $n$-isoclinic to both $C$ and $R$ and (i) $A$ and $B$ are quotient skew left braces of $C$; (ii) $A$ and $B$ are sub-skew left braces of $R$. Connections between a skew left brace and the group which occurs as a natural semi-direct product of additive and multiplicative groups of the skew left brace are investigated, and it is proved that $n$-isoclinism is preserved from braces to groups. We also show that various nilpotency concepts on skew left braces are invariant under $n$-isoclinism.

$5 \times 5$-graded Lie algebras, cubic norm structures and quadrangular algebras

2025-04-15T10:01:37Z

We study simple Lie algebras generated by extremal elements, over arbitrary fields of arbitrary characteristic. We show: (1) If the extremal geometry contains lines, then the Lie algebra admits a $5 \times 5$-grading that can be parametrized by a cubic norm structure; (2) If there exists a field extension of degree at most $2$ such that the extremal geometry over that field extension contains lines, and in addition, there exist symplectic pairs of extremal elements, then the Lie algebra admits a $5 \times 5$-grading that can be parametrized by a quadrangular algebra. One of our key tools is a new definition of exponential maps that makes sense even over fields of characteristic $2$ and $3$, which ought to be interesting in its own right.

Finiteness of Pythagoras numbers of finitely generated real algebras

2025-04-15T09:08:02Z

In this paper, we establish two finiteness results and propose a conjecture concerning the Pythagoras number $P(A)$ of a finitely generated real algebra $A$. Let $X \hookrightarrow \mathbb{P}^n$ be an integral projective surface over $\mathbb{R}$, and let $s \in \Gamma(X,\mathcal{O}_X(1))$ be a nonzero section such that the boundary $\partial_{X(\mathbb{C})}\bigl(X_{s\neq 0}(\mathbb{R})\bigr)$, taken in the standard topology, is Zariski dense in $X_{s=0}$. We prove $P\bigl(\Gamma(X_{s\neq 0})\bigr)=\infty$. As a corollary, the Pythagoras numbers of integral smooth affine curves over $\mathbb{R}$ are shown to be unbounded. For any finitely generated $\mathbb{R}$-algebra $A$, if the Zariski closure of the real points of $\mathrm{Spec}(A)$ has dimension less than two, we demonstrate $P(A)<\infty$.

On the transposed Poisson n-Lie algebras

2025-04-15T08:23:02Z

We study unital commutative associative algebras and their associated n-Lie algebras, showing that they are strong transposed Poisson n-Lie algebras under specific compatibility conditions. Furthermore, we generalize the simplicity criterion for transposed Poisson algebras, proving that a transposed Poisson n-Lie algebra is simple if and only if its associated n-Lie algebra is simple. In addition, we study the strong condition for transposed Poisson n-Lie algebras, proving that it fails in the case of a free transposed Poisson 3-Lie algebra.

Twisted Post-Hopf Algebras, Twisted Relative Rota-Baxter Operators and Hopf Trusses

2025-04-15T05:32:09Z

The present article is devoted to studying the categorical relationships between the categories of Hopf trusses, weak twisted post-Hopf algebras, introduced by Wang (2023), and weak twisted relative Rota-Baxter operators. The latter objects are a generalisation of the relative Rota-Baxter operators defined by Li-Sheng-Tang (2024), where the Rota-Baxter condition is modified through a cocycle. Under certain conditions, this work shows that the three aforementioned categories are equivalent.

Generalized derivations of $ω$-Lie algebras

2025-04-15T02:38:43Z

This article explores the structure theory of compatible generalized derivations of finite-dimensional $\omega$-Lie algebras over a field $\mathbb{K}$. We prove that any compatible quasiderivation of an $\omega$-Lie algebra can be embedded as a compatible derivation into a larger $\omega$-Lie algebra, refining the general result established by Leger and Luks in 2000 for finite-dimensional nonassociative algebras. We also provide an approach to explicitly compute (compatible) generalized derivations and quasiderivations for all $3$-dimensional non-Lie complex $\omega$-Lie algebras.