A note on right-angled Artin subgroups of one-relator groups

Carl-Fredrik Nyberg-Brodda

arxiv: 2603.29558 · v2 · submitted 2026-03-31 · 🧮 math.GR

A note on right-angled Artin subgroups of one-relator groups

Carl-Fredrik Nyberg-Brodda This is my paper

Pith reviewed 2026-05-13 23:38 UTC · model grok-4.3

classification 🧮 math.GR

keywords right-angled Artin groupsone-relator groupsBass-Serre theorysubgroup embeddingsdefining graphsforests

0 comments

The pith

If a right-angled Artin group embeds into a one-relator group, then its defining graph is a finite forest.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper supplies a short proof that right-angled Artin groups embed into one-relator groups only when their defining graphs are finite forests. It applies elementary Bass-Serre theory to the action induced by the embedding together with standard facts about one-relator groups. The restriction matters because one-relator groups form a basic class whose subgroups are already constrained, and the result limits which partially commutative groups can appear inside them. A reader might care because it gives a clean combinatorial condition on the commutation graph that must hold for any such embedding.

Core claim

Whenever the right-angled Artin group A(Γ) embeds into some one-relator group, the graph Γ must be a finite forest. The argument uses the Bass-Serre tree coming from the embedding and classical properties of one-relator groups to show that any cycle in Γ would produce a contradiction with the one-relator structure.

What carries the argument

The defining graph Γ of A(Γ), whose edges record which generators commute; the embedding into a one-relator group forces Γ to be acyclic via the structure of the associated Bass-Serre tree.

If this is right

No right-angled Artin group whose commutation graph contains a cycle can embed into a one-relator group.
The only possible right-angled Artin subgroups of one-relator groups arise from finite forest graphs.
One-relator groups admit no subgroups isomorphic to the right-angled Artin group on a cycle graph.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The result may restrict the possible cohomological dimensions or other invariants of subgroups of one-relator groups.
Similar Bass-Serre arguments could be tested on embeddings into other classes of groups with simple presentations.
It would be natural to check whether specific one-relator groups, such as knot groups, contain any nontrivial right-angled Artin subgroups at all.

Load-bearing premise

The embedding preserves enough of the Artin group structure that Bass-Serre theory applies directly and forces the graph to be a forest.

What would settle it

An explicit construction of a right-angled Artin group whose defining graph contains a cycle and that still embeds into some one-relator group would disprove the claim.

read the original abstract

We give a short proof of the following result due to Howie: if $A(\Gamma)$ is a right-angled Artin group embedding into some one-relator group, then $\Gamma$ is a finite forest. The proof only uses elementary Bass--Serre theory and classical properties of one-relator groups.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

A short note with an elementary reproof of Howie's theorem that RAAGs embedding into one-relator groups have finite forest graphs.

read the letter

This note supplies a concise alternative proof of Howie's result: any right-angled Artin group A(Γ) that embeds into a one-relator group must have Γ a finite forest. The argument relies on elementary Bass-Serre theory plus standard facts about one-relator groups, which keeps the write-up short and accessible without new machinery. That is the main thing the paper does well; it offers a streamlined version that could be handy for readers who want the conclusion without wading through the original treatment. The abstract states the claim cleanly and flags the methods upfront, which is helpful for quick orientation in the area. The result itself is not new, so the contribution sits entirely in the presentation and the choice of elementary tools. The soft spot is that only the abstract is available here, so the precise steps linking the embedding to the forest condition cannot be checked for gaps or unstated assumptions about how the action behaves. If the full argument really stays within the claimed classical toolkit, the proof should hold up, but that remains to be verified. This is aimed at geometric group theorists who already know one-relator groups and Bass-Serre basics and might want a compact reference or teaching note. It is not a major advance, but the elementary approach is solid enough to deserve a serious referee rather than a desk rejection; a short note or communications venue would be a reasonable home.

Referee Report

1 major / 0 minor

Summary. The manuscript offers a short proof of the theorem, originally due to Howie, that a right-angled Artin group A(Γ) can embed into a one-relator group only if its defining graph Γ is a finite forest. The proof is described as relying exclusively on elementary Bass-Serre theory and classical properties of one-relator groups.

Significance. If the claimed elementary proof is valid, this note would contribute by providing a concise and accessible demonstration of the result, potentially facilitating its use in broader contexts within geometric group theory. The approach avoids more sophisticated tools, which is a positive aspect if substantiated.

major comments (1)

[Abstract] The abstract asserts the use of only elementary Bass-Serre theory and classical one-relator properties to link the embedding to the forest condition on Γ, but supplies none of the actual steps or details of the argument, preventing verification of whether the Bass-Serre analysis directly forces the graph to be a forest without additional assumptions.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their review. We address the single major comment below.

read point-by-point responses

Referee: [Abstract] The abstract asserts the use of only elementary Bass-Serre theory and classical one-relator properties to link the embedding to the forest condition on Γ, but supplies none of the actual steps or details of the argument, preventing verification of whether the Bass-Serre analysis directly forces the graph to be a forest without additional assumptions.

Authors: Abstracts are concise summaries by design and do not contain proof steps; the full manuscript contains the detailed argument. The proof proceeds by considering the action of the one-relator group on its Bass-Serre tree associated to the relator, restricting to the RAAG subgroup, and using the fact that one-relator groups are torsion-free with cyclic centralizers together with elementary properties of RAAGs to deduce that the defining graph must be a forest. No additional assumptions beyond these classical facts are used. revision: no

Circularity Check

0 steps flagged

No circularity; short proof of known result via external classical tools

full rationale

The paper supplies only an abstract announcing a short proof of Howie's prior result. It explicitly invokes elementary Bass-Serre theory and classical one-relator group properties, with no equations, fitted parameters, self-citations, or ansatzes present. No derivation chain exists in the available text that could reduce to its own inputs by construction. The result is therefore treated as self-contained against independent external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The argument rests on two standard background tools from geometric group theory without introducing fitted parameters or new postulated objects.

axioms (2)

domain assumption Classical properties of one-relator groups
Used to control subgroup structure under the embedding.
standard math Elementary Bass-Serre theory
Applied to deduce the graph must be a forest from the group action on a tree.

pith-pipeline@v0.9.0 · 5308 in / 1211 out tokens · 70733 ms · 2026-05-13T23:38:20.385348+00:00 · methodology

A note on right-angled Artin subgroups of one-relator groups

Core claim

What carries the argument

If this is right

Where Pith is reading between the lines

Load-bearing premise

What would settle it

discussion (0)