Tree Bricks and Finite Tree Automata
Let $Λ=KQ/I$ be a finite-dimensional zero-relation algebra. We encode Crawley--Boevey tree modules over $Λ$ by finite rooted trees labelled by arrows of $Q$ and their formal inverses, and construct a deterministic finite bottom-up tree automaton recognizing exactly these encodings. We define an accepted tree to be an automata-induced tree brick when it has no non-trivial factor--image self-overlap, and use Crawley--Boevey's graph-map basis to prove that this is equivalent to brickness of the associated tree module. We also introduce local colourings of $Q_1$ and show that the arrow alphabet…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.22406
curl -X POST /api/v1/records/arxiv/2609.22406/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.22406/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'