THE FINITE BASIS PROBLEM FOR FREE TREE MONOIDS

Abstract For each $n\geq 1$ , let $FT_n$ be the free tree monoid of rank n and $E_n$ the full extensive transformation monoid over the finite chain $\{1, 2, \ldots , n\}$ . It is shown that the monoids $FT_n$ and $E_{n+1}$ satisfy the same identities. Therefore, $FT_n$ is finitely based if and only if $n\leq 3$ .

Authors

Institutions

Publication Details

Journal
Bulletin of the Australian Mathematical Society
Published
2025-08-08
DOI
https://doi.org/10.1017/s0004972725100385
Primary Topic
semigroups and automata theory
Type
article
Field-Weighted Citation Impact
0.00

Funders

Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

THE FINITE BASIS PROBLEM FOR FREE TREE MONOIDS

Wen Ting Zhang, Yanfeng Luo, Zhenzhen Zhu Jing Jin
Bulletin of the Australian Mathematical Society
semigroups and automata theory
article

THE FINITE BASIS PROBLEM FOR FREE TREE MONOIDS

Wen Ting Zhang, Yanfeng Luo, Zhenzhen Zhu Jing Jin
article en

Abstract

Abstract For each $n\geq 1$ , let $FT_n$ be the free tree monoid of rank n and $E_n$ the full extensive transformation monoid over the finite chain $\{1, 2, \ldots , n\}$ . It is shown that the monoids $FT_n$ and $E_{n+1}$ satisfy the same identities. Therefore, $FT_n$ is finitely based if and only if $n\leq 3$ .

Bulletin of the Australian Mathematical SocietyVol. 113(2)
Lanzhou University of Technology (CN), Lanzhou University (CN)
National Natural Science Foundation of China
Openalex Percentile: Top 78%
semigroups and automata theory
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.