https://arxiv.org/api/yoY6pB/KASds9hZc6f/GXxXlpnM 2026-06-21T11:33:16Z 20100 675 15 http://arxiv.org/abs/2605.04053v1 2026-03-09T21:44:57Z

The first structural fact is that regularity is sufficient for left--right symmetry of the strongly \(C4^{\ast}\) condition. It is not necessary for the definition itself and is too strong for classification. The problem is therefore to determine which weaker hypotheses still force right \(C4^{\ast}\)-type conditions to pass to the left side, and which obstructions prevent such transfer. We study right \(C4^{\ast}\)-rings, strongly right \(C4^{\ast}\)-rings, and right semi-weak-CS \(C4^{\ast}\)-rings under hypotheses strictly weaker than regularity. The method does not repeat the regular decomposition argument. Instead, it isolates a transfer mechanism based on orthogonal decomposition, corner control, and summand-square-free separation. This yields sufficient conditions for left--right transfer beyond the regular case and also identifies necessary obstruction patterns. In particular, we determine settings in which one-sided \(C4^{\ast}\)-behavior forces two-sided \(C4^{\ast}\)-behavior, and settings in which the implication fails. A second aim is exact separation. We show that failure of transfer is structural, not accidental: it is encoded by persistent one-sided square-free phenomena and by the breakdown of compatible corner decompositions. This produces counterexample criteria rather than isolated examples. A third aim is permanence. The transfer principles are formulated so as to persist under matrix and full-corner passage whenever the relevant hypotheses are stable. Thus the symmetry problem is placed in a Morita-type framework, although full Morita invariance is not asserted for every \(C4^{\ast}\)-condition. The paper therefore divides the symmetry problem into transfer, obstruction, and permanence, and thereby sharpens the regular theory, delimits its range, and gives a classification scheme for the left--right behavior of \(C4^{\ast}\)-type rings.

2026-03-09T21:44:57Z Chandrasekhar Gokavarapu Department of Mathematics, Government College http://arxiv.org/abs/2507.19918v3 2026-03-09T14:57:51Z

This paper presents a unified framework based on Davis-Wielandt (DW) shell for graphical stability analysis of multi-input and multi-output linear time-invariant feedback systems. Connections between DW shells and various graphical representations, as well as gain and phase measures, are established through an intuitive geometric perspective. Within this framework, we map the relationships and relative conservatism among various separation conditions. A rotated scaled relative graph ($θ$-SRG) concept is proposed as a mixed gain-phase representation, from which a closed-loop stability criterion is derived and shown to be the least conservative among the existing 2-D graphical conditions for bi-component feedback loops. We also propose a reliable and generalizable algorithm for visualizing the $θ$-SRGs and include a system example to demonstrate the reduced conservatism of the proposed condition.

2025-07-26T11:44:57Z 16 pages, 12 figures. This version corrects some typos that may lead to confusion Ding Zhang Xiaokan Yang Axel Ringh Li Qiu http://arxiv.org/abs/2603.07986v1 2026-03-09T05:49:45Z

We investigate the complex reflection group $\mathfrak{G}$ associated with the octahedral group, identified as the ninth entry in the Shephard-Todd classification. We determine all irreducible representations of $\mathfrak{G}$ and compute the character table. Moreover, for each representation, we compute the module of vector-valued invariants and relate it to the fundamental invariants of the octahedral group. Additionally, we derive explicit dimension formulas for the corresponding rings of invariants.

2026-03-09T05:49:45Z A. K. M. Selim Reza Manabu Oura Masashi Kosuda http://arxiv.org/abs/2603.07878v1 2026-03-09T01:31:30Z

Y. Miyashita gave characterizations of a separable polynomial and a Hirata separable polynomial in skew polynomial rings. In the previous paper, the author and S. Ikehata gave direct and elementary proofs of Miyashita's theorems in skew polynomial rings of automorphism type $B[X;ρ]$ and derivation type $B[X;D]$, respectively. The purpose of this paper is to give proofs for them in the general skew polynomial ring $B[X;ρ,D]$.

2026-03-09T01:31:30Z Author's accepted manuscript of the article published in Gulf Journal of Mathematics, 5(4) (2017), 9-17 Gulf Journal of Mathematics 5(4) (2017), 9-17 Satoshi Yamanaka 10.56947/gjom.v5i4.116 http://arxiv.org/abs/2601.19592v2 2026-03-08T23:44:34Z

Equipped with the operation of setwise multiplication induced by a (multiplicatively written) monoid $H$ on its parts, the collection of all finite subsets of $H$ containing the identity element is itself a monoid, denoted by $\mathcal P_{\textrm{fin}, 1}(H)$ and called the reduced finitary power monoid of $H$. One is naturally led to ask whether, for all $H$ and $K$ in a given class of monoids, $\mathcal P_{\textrm{fin},1}(H)$ and $\mathcal P_{\textrm{fin},1}(K)$ are isomorphic if and only if $H$ and $K$ are. The problem originates from a conjecture of Bienvenu and Geroldinger that was recently settled by the authors. Here, we provide a positive answer to the problem in the case where $H$ and $K$ are cancellative monoids, one of which is torsion. In particular, the answer is in the affirmative when $H$ and $K$ are torsion groups. Whether the conclusion extends to arbitrary groups remains open.

2026-01-27T13:26:10Z 14 pages, no figures. Fixed a number of minor details. To appear in Bull. London Math. Soc Salvatore Tringali Weihao Yan http://arxiv.org/abs/2604.16326v1 2026-03-08T21:10:28Z

Let $R$ and $S$ be rings with equivalent module categories. We study the Morita behavior of the conditions $C4$, $C4^{\ast}$, strongly $C4^{\ast}$, and semi-weak-CS. The point is categorical. These conditions are expressed through direct summands, subobjects, essentiality, and finite decomposition data. Their Morita status must therefore be determined at the level of transported witness structure. We prove that the four classical conditions are Morita invariant. The $C4$ condition is treated through finite summand witness schemes. The $C4^{\ast}$ condition is treated through the absence of subobject-level $C4$ defects. The semi-weak-CS condition is treated through the absence of admissible semisimple obstruction pairs. The strongly $C4^{\ast}$ condition is then recovered as the simultaneous vanishing of the two corresponding defect types. From this point we derive ring-level characterizations, together with matrix and full-corner criteria. We also isolate obstruction and impossibility statements showing that the strong theory does not collapse into the pure $C4^{\ast}$ theory, and that the semi-weak-CS layer cannot be read off from ideal-theoretic $C4$ data alone. We then introduce finite depth and finite arity extensions of the $C4$ framework and prove their Morita invariance in the same witness-theoretic form. Finally, we formulate a categorical reconstruction principle showing that the $C4$-type theory of a module is determined by its transported defect geometry, and we indicate the conditional semiring path suggested by this formalism. The paper is purely algebraic. No empirical input is used. The proofs rest on categorical transport of finite witness data and on the separation between local $C4$ defects and semisimple essentiality obstructions.

2026-03-08T21:10:28Z Chandrasekhar Gokavarapu Department of Mathematics, Government College http://arxiv.org/abs/2506.10603v4 2026-03-08T15:42:12Z

Graph products of monoids provide a common framework for free products and direct products. Trace monoids are graph products of finitely generated free monoids. We investigate the interaction of certain finitary conditions with graph products. Specifically, we examine the conditions of being weakly left noetherian (that is, every left ideal is finitely generated) and weakly left coherent (that is, every finitely generated left ideal has a finite presentation) and the related conditions of the ascending chain condition on principal left ideals, being left ideal Howson, and being finitely left equated. All of these conditions, and others, are preserved under retract; as a consequence, if a graph product has such a property, then so do all the constituent monoids. We show that the converse is also true for all the conditions listed except that of being weakly left noetherian. In the latter case we precisely determine the graph products of monoids which are weakly left noetherian.

2025-06-12T11:45:21Z Dandan Yang Victoria Gould http://arxiv.org/abs/2603.07362v1 2026-03-07T22:17:06Z

We describe $σ$-matching, interchangeable and, as a consequence, totally compatible products on null-filiform associative algebras.

2026-03-07T22:17:06Z Kobiljon Abdurasulov Jobir Adashev Feruza Toshtemirova http://arxiv.org/abs/2506.08904v2 2026-03-07T17:29:57Z

In this paper, we prove that finite groups with semidihedral Sylow 2-subgroup have Class-preserving Coleman outer automorphism group of odd order. As a consequence, these groups satisfy the normalizer problem. In particular, we extend some existing results in the literature concerning class-preserving Coleman automorphisms of finite groups with semidihedral Sylow 2-subgroups.

2025-06-10T15:33:15Z Riccardo Aragona http://arxiv.org/abs/2509.09243v2 2026-03-07T05:14:40Z

Let $D$ be an integrally closed domain with quotient field $K$ and $A$ a torsion-free $D$-algebra that is finitely generated as a $D$-module and such that $A\cap K=D$. We give a complete classification of those $D$ and $A$ for which the ring $\text{Int}_K(A)=\{f\in K[X] \mid f(A)\subseteq A\}$ is a Prüfer domain. If $D$ is a semiprimitive domain, then we prove that $\text{Int}_K(A)$ is Prüfer if and only if $A$ is commutative and isomorphic to a finite direct product of almost Dedekind domains with finite residue fields, each of them satisfying a double-boundedness condition on its ramification indices and residue field degrees.

2025-09-11T08:25:25Z to appear in the Bull. Lond. Math. Soc. (2026), any comment is welcome! Giulio Peruginelli Nicholas J. Werner http://arxiv.org/abs/2411.17737v2 2026-03-07T05:14:19Z

In this paper, we give an explicit formula for the rank of the $Q$-walk matrix of the Dynkin graph $A_n$. Moreover, we prove that its Smith normal form is $$ \mathrm{diag}\left( \underset{r=\lceil \frac{n}{2} \rceil}{\underbrace{1,2,2,...,2}},0,...,0 \right), $$ where $r$ is the rank of the $Q$-walk matrix $W_Q\left( A_n \right) $ of the Dynkin graph $A_n$.

2024-11-24T04:56:28Z All commets are welcome Jia yaning Shengyong Pan http://arxiv.org/abs/2603.07033v1 2026-03-07T04:30:57Z

The paper surveys various Waring type problems in groups, Lie algebras, and associative algebras.

2026-03-07T04:30:57Z 16 pages, submitted to the proceedings of the conference "Polynomial Identities and Related Topics", Rome, September 2025 Matej Brešar Consuelo Mart\' inez http://arxiv.org/abs/2509.01037v2 2026-03-07T03:42:17Z

We study arithmetic properties of factorizations of elements into products of generators, in monoids given with explicit presentations. After relating and comparing this perspective to the more usual approach of factoring into products of atoms, as well as other more recent alternatives, we explore how the relations in the presentation of a monoid affect factorization. In the process, we construct a large class of non-commutative fully elastic monoids. We also show that any finitely-presented cancellative normalizing monoid satisfies the Structure Theorem for Unions. Examples are constructed to demonstrate the sharpness of our results, and exhibit unusual factorization behavior.

2025-09-01T00:24:08Z 24 pages. The second version contains improvements to the exposition and additional references Alfred Geroldinger Zachary Mesyan http://arxiv.org/abs/2603.06994v1 2026-03-07T02:37:31Z

Let $( \mathcal{A^{'}},\mathcal{A},\mathcal{A^{''}},i^\ast,i_\ast,i^!,j_!,j^\ast,j_\ast)$ be a recollement of abelian categories. Suppose that we are given two cotorsion pairs $({\mathcal{U^{'}}},\mathcal{V{'}})$ and $({\mathcal{U}^{''}},{\mathcal{V}^{''}})$ in $\mathcal{A}^{'}$ and $\mathcal{A}^{''}$, respectively. We construct two cotorsion pairs $(^{\bot}{\mathcal{N}_{\mathcal{V^{''}}}^{\mathcal{V^{'}}}},\mathcal{N}_{\mathcal{V^{''}}}^{\mathcal{V^{'}}})$ and $(\mathcal{M}_{\mathcal{U^{''}}}^{\mathcal{U^{'}}}, ({\mathcal{M}_{\mathcal{U^{''}}}^{\mathcal{U^{'}}}})^\bot)$ in $\mathcal{A}$. Moreover, we provide a sufficient condition for these two cotorsion pairs to coincide, and we investigate the heredity and completeness of $(\mathcal{M}_{\mathcal{U^{''}}}^{\mathcal{U^{'}}},\mathcal{N}_{\mathcal{V^{''}}}^{\mathcal{V^{'}}})$. These results are applied to construct new cotorsion pairs in Morita rings. In the course of proof, we introduce a specific constraint on recollements of abelian categories, requiring $\varepsilon_P$ to be a monomorphism for any projective $P \in \mathcal{A}$, with $\varepsilon: j_!j^* \to \mathrm{id}_{\mathcal{A}}$ being the counit of $(j_!, j^*)$. Such recollements enjoy rich homological properties and hence might be of independent interest.

2026-03-07T02:37:31Z Jinrui Yang Yongyun Qin http://arxiv.org/abs/2505.01241v2 2026-03-06T22:40:35Z

For a complex finite-dimensional filiform Lie algebra $\mathfrak g$, we first study the bifiltration given by the bracket ideals $[C^k\mathfrak g,C^\ell\mathfrak g]$ and then the behavior of its associated bivariate Hilbert polynomial. This behavior depends in particular on two numerical invariants that measure, on one hand, certain properties of the centralizers in $\mathfrak g$ of the ideals in the lower central sequence and, on the other hand, the dimension of the largest abelian ideal that appears in the lower central series. We give examples proving that the Hilbert polynomial can distinguish isomorphism classes of filiform Lie algebras that cannot be distinguished by the two aforementioned invariants.

2025-05-02T13:05:43Z F. J. Castro-Jiménez M. Ceballos