Regular elements and the BQ - Property of transformation semigroups and rings of linear transformations

Abstract

An element x of a semigroup [ring] A is said to regular if there is an element y of A such that x = xyx, and A is called a regular semigroup [(Von Neumann) regular ring] if every element of A is regular. A quasi-ideal of a semigroup [ring] A is a subsemigroup [subring] Q of A such that AQ intersection QA [is a subset of] Q,and a bi-ideal of A is a subsemingroup [subring] B of A such that BAB [is a subset of] B. Recall that for nonempty subsets X and Y of a ring A, XY denotes the set of all finite sums of the form sigma x[subscript i] y[subscript i] where x[subscript i] [is an element of set] X and Y[subscript i] [is an element of set] Y. We say that a semigroup or a ring has the BQ-property if its quasi-ideals and bi-ideals coincide. It is know that every regular semigroup and every regular ring has the BQ-property. For a nonempty set X, let T(X) denote the full transformation semigroup on X, and for [is an empty set] is not equal to Y[is a subset of] X, let T (X,Y) and T [bar] (X, Y) be the subsemigroups of T(X) defined by T(X, Y)={ alpha is an element of a set T(X) l ran alpha is a subset of Y} and T[bar] (X, Y)={ alpha is an elemaent of a set T(X) l Yalpha is a subset of Y}. Symons and Magill introduced and studied T(X, Y) and T[bar] (X, Y) in 1975 and 1966, respectively. If V is a vector space over a field F, let L[subscript F](V) be the set of all linear transformations alpha : V vector V. For a subspace W of V, define L[subscript F] (V, W) and L[bar][subscript F] (V, W) analogously as follows : L[subscript F] (V, W) = {alpha is an element of a set L[subscriptF(V) l ran alpha is a subset of W} and L[bar][subscript F](V, W) = {alpha is an element of a set L[subscritp F] (V) l { Walpha is a subset of W},and we also consider K[subscript F](V, W) = {alpha L[subscriptF] (V) l W is a subset of ker alpha}. Then L[subscriptF](V, W), L[bar] [subscript F](V, W) and K[subscript F] (V, W) are subsemigroups of (L[subscript F] (V), omicron) and subrings of (L[subscript F] (V),+,omicron) where omicron and+are the composition and usual addition of linear transformations, respectively. This research consists of two major parts. In the first part, we give necessary and sufficient conditions for the elements of these semigroups to be regular. As a consequence, characterizations determinging when these semigroups are regular are given. In the second part, we provide necessary and sufficient conditions for these semigroups and rings to have the BQ-property.