On transformation semigroups which are \(\mathcal{BQ}\)-semigroups. (Q2469007): Difference between revisions

Summary: A semigroup whose bi-ideals and quasi-ideals coincide is called a \(\mathcal{BQ}\)-semigroup. The full transformation semigroup on a set \(X\) and the semigroup of all linear transformations of a vector space \(V\) over a field \(F\) into itself are denoted, respectively, by \(T(X)\) and \(L_F(V)\). It is known that every regular semigroup is a \(\mathcal{BQ}\)-semigroup. Then both \(T(X)\) and \(L_F(V)\) are \(\mathcal{BQ}\)-semigroups. In 1966, Magill introduced and studied the subsemigroup \(\overline T(X,Y)\) of \(T(X)\), where \(\emptyset\neq Y\subseteq X\) and \(\overline T(X,Y)=\{\alpha\in T(X)\mid Y\alpha\subseteq Y\}\). If \(W\) is a subspace of \(V\), the subsemigroup \(\overline L_F(V,W)\) of \(L_F(V)\) will be defined analogously. In this paper, it is shown that \(\overline T(X,Y)\) is a \(\mathcal{BQ}\)-semigroup if and only if \(Y=X\), \(|Y|=1\), or \(|X|\leq 3\), and \(\overline L_F(V,W)\) is a \(\mathcal{BQ}\)-semigroup if and only if (i) \(W=V\), (ii) \(W=\{0\}\), or (iii) \(F=\mathbb{Z}_2\), \(\dim_FV=2\), and \(\dim_FW=1\).