Derivations of Lie $p$-rings with applications on ring extensions and computational methods

Bettina Eick; Renu Joshi

Home/Archive/arXiv

arXiv · 2610.23370

Derivations of Lie $p$-rings with applications on ring extensions and computational methods

Bettina Eick·Renu Joshi

View original source ↗Read source document ↗Export metadata ↓

Abstract

Derivations are a well-known concept in the theory of Lie algebras. Here we investigate them for Lie $p$-rings. We show how they apply in the construction of cyclic extensions and in computational methods; in particular, we demonstrate that a consistency test for Lie $p$-presentations can be facilitated using derivations. The consistency test generalizes inspecific cases to parametrised Lie $p$-presentations and, further, to the construction of Lie $p$-covers. These provide a first building block towards a symbolic Lie $p$-ring generation algorithm.

Explore related subjects

math.GR

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Bettina Eick, Renu Joshi. 2026-10-16. Derivations of Lie $p$-rings with applications on ring extensions and computational methods. https://arxiv.org/abs/2610.23370

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Some questions related to free-by-cyclic groups and tubular groups

We prove that a CAT(0) free-by-cyclic tubular group with a single vertex is virtually special, but many of them cannot virtually act freely and cocompactly on CAT(0) cube complexes. This partially confirms a question of Brady--Soroko \cite[Section 9: Question 1]{BS} and answers a question of Lyman \cite[Question 1]{Ly} in the negative. Furthermore, we provide examples of free-by-cyclic groups amalgamated along cyclic subgroups that are not virtually free-by-cyclic. This answers negatively a question of Hagen--Wise \cite[Remark 3.6]{hw}. Lastly, we exhibit an example of a cyclic-subgroup-separable tubular group that does not have the property (VRC) (i.e. every cyclic subgroup is a virtual retract). This answers a question of Minasyan \cite[Question 11.6]{min} in the negative.

math.GR↗

arXiv2026

Finite quotients of spherical Artin groups

We show the smallest non-abelian quotients of spherical and affine Artin groups are isomorphic to the smallest non-abelian quotients of the corresponding Coxeter groups. We deduce irreducible spherical Artin groups are determined by their finite quotient groups.

math.GR↗

arXiv2026

Soficity of One-Relator Groups and Reducible Presentations

We prove that every one-relator group is sofic, answering a question of Nate Brown. More generally, every group admitting a reducible presentation without proper powers is sofic, with one proper-power relation allowed at the final reducible step. The proof starts from the endpoint-preserving edge replacements of Poulin--Wróbel. We retain the free-group word carried by each terminal replacement and use it to define an $F(S)$-valued cocycle repair; in its relative form, the repair preserves the previously chosen generator coordinates while controlling the new relator defect. Coinduction transports the lower cocycle through successive one-relator-product extensions, allowing the construction to be iterated along reducible presentations. For a final relator $w^m$, cyclic translates of the repaired set amplify a zero-defect set of measure close to $1/m$ to one of measure close to one. A cocycle criterion then converts arbitrarily small relator defect into finite permutation approximations via a treeable skew-product orbit relation.

math.GR↗