Affiliations: [a] School of Mathematical Sciences, Universiti Sains Malaysia, Penang, Malaysia. [email protected] | [b] Consulting Prof. at Faculty of Mathematics and Computer Science, Bucharest University, Bucharest, Romania. [email protected] | [c] DMAS, LKC FES, Universiti Tunku Abdul Rahman, Kajang, Malaysia. [email protected]
Correspondence:
[*]
Address for correspondence: School of Mathematical Sciences, Universiti Sains Malaysia, 11800 USM, Malaysia.
Abstract: Since the undecidability of the mortality problem for 3 × 3 matrices over integers was proved using the Post Correspondence Problem, various studies on decision problems of matrix semigroups have emerged. The freeness problem in particular has received much attention but decidability remains open even for 2 × 2 upper triangular matrices over nonnegative integers. Parikh matrices are upper triangular matrices introduced as a generalization of Parikh vectors and have become useful tools in studying of subword occurrences. In this work, we focus on semigroups of Parikh matrices and study the freeness problem in this context.
