{"id":"arxiv/2606.00833","url":"https://arxiv.org/abs/2606.00833","tags":["math.RA","math.CT"],"score":0,"title":"A Nielsen--Schreier variety of algebras without the PBW property","domain":"math.RA","source":"arxiv","authors":["Vladimir Dotsenko","Bekzat Zhakhayev"],"reviews":0,"subject":"math.RA","summary":"We prove the Nielsen--Schreier property for the variety of algebras defined by the identity $x(x^2)^2=(x^2)^2x$: every subalgebra of every free algebra in this variety is itself free. We also show that this variety of algebras does not have the Poincaré--Birkhoff--Witt property for universal multiplicative enveloping algebras. Our strategy of proof actually leads to infinitely many new varieties of non-associative algebras with the same behaviour. This offers new evidence supporting a conjecture of the first author and Umirbaev suggesting that the Nielsen--Schreier property over a field of…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-30","reactions":{}}