Abstract
Let \(\mathscr {T\!B}_n\) be the involution semigroup of all upper triangular boolean \(n\times n\) matrices under the ordinary matrix multiplication and the skew transposition. It is shown by Auinger et al. that the involution semigroup \(\mathscr {T\!B}_n\) is non-finitely based if \(n > 2\), but the case when \(n=2\) still remains open. In this paper, we give a sufficient condition under which an involution semigroup is non-finitely based. As an application, we show that the involution semigroup \(\mathscr {T\!B}_2\) is non-finitely based. Hence \(\mathscr {T\!B}_n\) is non-finitely based for all \(n \ge 2\).
Similar content being viewed by others
References
Almeida, J.: Finite Semigroups and Universal Algebra. World Scientific, Singapore (1994)
Auinger, K., Dolinka, I., Volkov, M.V.: Matrix identities involving multiplication and transposition. J. Eur. Math. Soc. 14(3), 937–969 (2012)
Auinger, K., Dolinka, I., Volkov, M.V.: Equational theories of semigroups with involution. J. Algebra 369, 203–225 (2012)
Auinger, K., Dolinka, I., Pervukhina, T.V., Volkov, M.V.: Unary enhancements of inherently non-finitely based semigroups. Semigroup Forum 89(1), 41–51 (2014)
Burris, S., Sankappanavar, H.P.: A Course in Universal Algebra. Springer, New York (1981)
Crvenković, S., Dolinka, I., Ésik, Z.: The variety of Kleene algebras with conversion is not finitely based. Theor. Comput. Sci. 230(1–2), 235–245 (2000)
Jackson, M., Volkov, M.V.: The algebra of adjacency patterns: Rees matrix semigroups with reversion. In: Blass, A., Dershowitz, N., Reisig, W. (eds.) Fields of Logic and Computation. Lecture Notes in Computer Science, vol. 6300, pp. 414–443. Springer (2010)
Lee, E.W.H.: Finitely based finite involution semigroups with non-finitely based reducts. Quaest. Math. 39(2), 217–243 (2015)
Lee, E.W.H.: Finite involution semigroups with infinite irredundant bases of identities. Forum Math. 28(3), 587–607 (2016)
Lee, E.W.H.: Equational theories of unstable involution semigroups. Electron. Res. Announc. Math. Sci. 24, 10–20 (2017)
Lee, E.W.H.: Non-finitely based finite involution semigroups with finitely based semigroup reducts. Korean J. Math. 27, 53–62 (2019)
Li, J.R., Luo, Y.F.: On the finite basis problem for the monoids of triangular boolean matrices. Algebra Univers. 65, 353–362 (2011)
Pin, J.-E., Straubing, H.: Monoids of upper triangular matrices. In: Pollák, G., et al. (eds.) Semigroups Structure and Universal Algebraic Problems, Colloquium Mathematics Society, vol. 39, pp. 259–272. János Bolyai, North-Holland (1985)
Perkins, P.: Bases for equational theories of semigroups. J. Algebra 11, 298–314 (1969)
Volkov, M.V.: The finite basis problem for finite semigroups. Sci. Math. Jpn. 53, 171–199 (2001)
Volkov, M.V., Goldberg, I.A.: The finite basis problem for monoids of triangular boolean matrices. In: Algebraic Systems, Formal Languages, and Conventional and Unconventional Computation Theory [Research Institute for Mathematical Sciences, Kyoto University, 205–214 (2004)]
Zhang, W.T., Ji, Y.D., Luo, Y.F.: The finite basis problem for infinite involution semigroups of triangular \(2 \times 2\) matrices. Semigroup Forum 94, 426–441 (2017)
Zhang, W.T., Luo, Y.F.: The finite basis problem for involution semigroups of triangular \( 2 \times 2\) matrices. Bull. Aust. Math. Soc. https://doi.org/10.1017/S0004972719001035
Acknowledgements
The authors are very grateful to the anonymous referees for valuable comments and pertinent suggestions, especially for pointing out the gap described in Remark 16, and also to Professor Mikhail Volkov for his valuable remarks and suggestions.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Mikhail V. Volkov.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This research was partially supported by the National Natural Science Foundation of China (Nos. 11771191, 11401275, 11371177).
Rights and permissions
About this article
Cite this article
Gao, M., Zhang, W.T. & Luo, Y.F. The monoid of \(2 \times 2\) triangular boolean matrices under skew transposition is non-finitely based. Semigroup Forum 100, 153–168 (2020). https://doi.org/10.1007/s00233-019-10074-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00233-019-10074-5