We gratefully acknowledge support from
the Simons Foundation and member institutions.

Rings and Algebras

New submissions

[ total of 4 entries: 1-4 ]
[ showing up to 1000 entries per page: fewer | more ]

New submissions for Mon, 8 Aug 22

[1]  arXiv:2208.03184 [pdf, other]
Title: Notes on planar semimodular lattices. VI. On the structure theorem of planar semimodular lattices
Authors: G. Grätzer
Journal-ref: Order 30 (2013), 847-858
Subjects: Rings and Algebras (math.RA)

In a recent paper, G. Cz\'edli and E.\,T. Schmidt present a structure theorem for planar semimodular lattices. In this note, we present an alternative proof.

Cross-lists for Mon, 8 Aug 22

[2]  arXiv:2208.02164 (cross-list from cs.DM) [pdf, ps, other]
Title: On the Identity Problem and the Group Problem for subsemigroups of unipotent matrix groups
Authors: Ruiwen Dong
Comments: 46 pages
Subjects: Discrete Mathematics (cs.DM); Group Theory (math.GR); Rings and Algebras (math.RA)

Let $\mathcal{G}$ be a finite set of matrices in a unipotent matrix group $G$ over $\mathbb{Q}$, where $G$ has nilpotency class at most ten. We exhibit a polynomial time algorithm that computes the subset of $\mathcal{G}$ which generates the group of units of the semigroup $\langle\mathcal{G}\rangle$ generated by $\mathcal{G}$. In particular, this result shows that the Identity Problem and the Group Problem are decidable in polynomial time for finitely generated subsemigroups of the groups $\mathsf{UT}(11, \mathbb{Q})^n$. Another important implication of our result is the decidability of the Identity Problem and the Group Problem within finitely generated nilpotent groups of class at most ten. Our main idea is to analyze the logarithm of the matrices appearing in $\langle\mathcal{G}\rangle$. This allows us to employ Lie algebra methods to study this semigroup. In particular, we prove several new properties of the Baker-Campbell-Hausdorff formula, which help us characterize the convex cone spanned by the elements in $\log \langle\mathcal{G}\rangle$.
Furthermore, we formulate a sufficient condition in order for our results to generalize to unipotent matrix groups of class $d > 10$. For every such $d$, we exhibit an effective procedure that verifies this sufficient condition in case it is true.

[3]  arXiv:2208.03039 (cross-list from math.AG) [pdf, ps, other]
Title: Orthogonality graphs of matrices over commutative rings
Authors: O. G. Styrt
Subjects: Algebraic Geometry (math.AG); Rings and Algebras (math.RA)

The paper is devoted to studying the orthogonality graph of the matrix ring over a commutative ring. It is proved that the orthogonality graph of the ring of matrices with size greater than 1 over a commutative ring with zero-divisors is connected and has diameter 3 or 4; a criterion for each value is obtained. It is also shown that each of its vertices has distance at most 2 from some scalar matrix.

Replacements for Mon, 8 Aug 22

[4]  arXiv:2208.00514 (replaced) [pdf, other]
Title: Post-Lie algebras in Regularity Structures
Subjects: Probability (math.PR); Analysis of PDEs (math.AP); Rings and Algebras (math.RA)
[ total of 4 entries: 1-4 ]
[ showing up to 1000 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, math, recent, 2208, contact, help  (Access key information)