The VT-operator Semigroup for Two Kinds of Regular Semigroups

Let S be a regular semigroup and Con S the congruence lattice of S. For every rho element of Con S there exists a greatest congruence rhoV [smallest congruence rhov] on S such that the idempotent (rhoV/rho)-classes [(rho/rhov)-classes] are rectangular bands, and a greatest congruence rhoT [smallest congruence rhot] on S such that the idempotent (rhoT/rho-classes [(rho/rhot-classes] are groups. The subsemigroup of the transformation semigroup on Con S generated by the transformation rho → rhoV, rho → rhov, rho → rhoT, and rho → rhot, rho element of Con S, is investigated for orthodox semigroups and cryptogroups. It is shown that in this case this so-called Vt-operator semigroup Omega(S) contains 17 elements at most. A 17-element Vt-operator semigroup Omega(F) is realized for some regular orthogroup F.     

The semigroup of singular endomorphisms

Let V be a vector space of dimension n over a field K. Here we denote by Sn the set of all singular endomorphisms of V. Erdos [5], Dawlings [4] and Thomas J. Laffey [6] have shown that Sn is an idempotent generated regular semigroup. In this paper we apply the theory of inductive groupoids, in particular the construction of the idempotent generated regular semigroup given in §6 of [8] to detemine some combinatorial properties of the semigroup Sn.     

Centralizers and Central Idempotents of Semigroup Rings

. Let A be a nonempty subset of an associative ring R . Call the subring CR(A)={r] R\mid ra=ar \quadfor all\quad a] A} of R the centralizer of A in R . Let S be a semigroup. Then the subsemigroup S'= {s] S\mid sa=sb \quador\quad as=bs \quadimplies\quad a=b \quadfor all a,b] S} of S is called the C -subsemigroup. In this paper, the centralizer CR[S](R[M]) for the semigroup ring R[S] will be described, where M is any nonempty subset of S' . An non-zero idempotent e is called the central idempotent of R[S] if e lies in the center of R[S] . Assume that S\backslash S' is a commutative ideal of S and Annl(R)=0 . Then we show that the supporting subsemigroup of any central idempotent of R[S] must be finite.     

Topology of the Semigroup of Singular Endomorphisms

The topological interpretations of some of the algebraic properties of the semigroup Sn of singular endomorphisms of an n-dimensional vector space over K are discussed here. Since Sn is known to be an idempotent generated regular semigroup, we pay more attention to the topological properties of the set En of idempotents in Sn. The local structure of En is shown to be that of a C^infinity-manifold and of a finite-dimensional vector bundle over the Grassmann manifolds. The topology of the biorder relations and sandwich sets are also discussed.     

Products of idempotent matrices

For some years it has been known that every singular square matrix over an arbitrary field F is a product of idempotent matrices over F. This paper quantifies that result to some extent. Main result: for every field F and every pair (n,k) of positive integers, an n×n matrix S over F is a product of k idempotent matrices over F iff rank(I ? S)?k· nullity S. The proof of the “if” part involves only elementary matrix operations and may thus be regarded as constructive. Corollary: (for every field F and every positive integer n) each singular n×n matrix over F is a product of n idempotent matrices over F, and there is a singular n×n matrix over F which is not a product of n ? 1 idempotent matrices.     

Incomplete orthogonal arrays and idempotent orthogonal arrays

First, we shall define idempotent orthogonal arrays and notice that idempotent orthogonal array of strength two are idempotent mutually orthogonal quasi-groups. Then, we shall state some properties of idempotent orthogonal arrays.Next, we shall prove that, starting from an incomplete orthogonal arrayT _EF based onE andF E, from an orthogonal arrayT _G based onG = E – F and from an idempotent orthogonal arrayT _H based onH, we are able to construct an incomplete orthogonal arrayT _(F(G×H))F based onF(G × H) andF. Finally, we shall show the relationship between the construction which lead us to this result and the singular direct product of mutually orthogonal quasi-groups given by Sade [5].     

Middle points and inner products

Let X be a real normed space with unit sphere S. It is provedthat X is an inner product space if and only if there is a realnumber , 0 < < 1, and , such that every chord of S that supports S touches S at itsmiddle point.     

η-Simple semigroups without zero and η ∗-simple semigroups with a least non-zero idempotent

A semigroup S is called η-simple if S has no semilattice congruences except S×S. Tamura in (Semigroup Forum 24:77–82, 1982) studied η-simple semigroups with a unique idempotent. In the present paper we consider a more general situation, that is, we investigate η-simple semigroups (without zero) with a least idempotent. Moreover, we study η ^?-simple semigroups with zero which contain a least non-zero idempotent.     

On the semigroup BetaS

Let S be an infinite, discrete, cancellative semigroup and let BetaS be the Stone-Cech compactification of S. Then BetaS is a semigroup with an operation which extends that of S and which is continous only in one variable. We generalize some algebraic properties known to hold for the additive semigroup of the integers.     

Kernel and Trace Operators for Extensions of Brandt Semigroups

Let S be an (ideal) extension of a Brandt semigroup S₀ by a Brandt semigroup S₁ and let denote the congruence lattice of S. For denote by and the least and the greatest congruences on S with the same kernel as respectively, and let and have the analogous meaning relative to trace. We establish necessary and sufficient conditions on S in order that one or more of the operators

On the subsemiring generated by almost idempotents of a k-regular semiring

An element e of a semiring S with commutative addition is called an almost idempotent if \(e + e^2 = e^2\). Here we characterize the subsemiring \(\langle E(S)\rangle \) generated by the set E(S) of all almost idempotents of a k-regular semiring S with a semilattice additive reduct. If S is a k-regular semiring then \(\langle E(S)\rangle \) is also k-regular. A similar result holds for the completely k-regular semirings, too.     

Conditional limit results for type I polar distributions

Let (S ₁,S ₂) = (R cos(Θ), R sin(Θ)) be a bivariate random vector with associated random radius R which has distribution function F being further independent of the random angle Θ. In this paper we investigate the asymptotic behaviour of the conditional survivor probability when u approaches the upper endpoint of F. On the density function of Θ we impose a certain local asymptotic behaviour at 0, whereas for F we require that it belongs to the Gumbel max-domain of attraction. The main result of this contribution is an asymptotic expansion of , which is then utilised to construct two estimators for the conditional distribution function . Furthermore, we allow Θ to depend on u.      

Module operator virtual diagonals on the Fourier algebra of an inverse semigroup

For an amenable inverse semigroup S with the set of idempotents E and a minimal idempotent, we explicitly construct a contractive and positive module operator virtual diagonal on the Fourier algebra A(S), as a completely contractive Banach algebra and operator module over \(\ell ^1(E)\). This generalizes a well known result of Zhong-Jin Ruan on operator amenability of the Fourier algebra of a (discrete) group Ruan (Am J Math 117:1449–1474, 1995).     

On a Class of Left Type-A Monoids

For a left type-A monoid S, let tau be the congruence on S generated by R*. There exists a congruence rho on S which induces the least right cancellative congruence on each of the tau-classes. In this paper we investigate the congruence rho and give a structure theorem for the class of all left-type-A monoids for which rho intersection R* is the identity relation.     

Minimal and Maximal Semigroups Related to Causal Symmetric Spaces

Let G/H be an irreducible globally hyperbolic semisimple symmetric space, and let S ³ G be a subsemigroup containing H not isolated in S. We show that if S^o p 0 then there are H-invariant minimal and maximal cones Cmin ³ Cmax in the tangent space at the origin such that H exp Cmin ³ S ³ HZK(a)expCmax. A double coset decomposition of the group G in terms of Cartan subspaces and the group H is proved. We also discuss the case where G/H is of Cayley type.     

Inscribed and circumscribed polygons that characterize inner product spaces

Let X be a real normed space with unit sphere S. We prove that X is an inner product space if and only if there exists a real number \(\rho =\sqrt{(1+\cos \frac{2k\pi }{2m+1})/2}, (k=1,2,\ldots ,m; m=1,2,\ldots )\), such that every chord of S that supports \(\rho S\) touches \(\rho S\) at its middle point. If this condition holds, then every point \(u\in S\) is a vertex of a regular polygon that is inscribed in S and circumscribed about \(\rho S\).     

On algebras generated by positive operators

We study algebras generated by positive matrices, i.e., matrices with nonnegative entries. Some of our results hold in more general setting of vector lattices. We reprove and extend some theorems that have been recently shown by Kandi? and ?ivic. In particular, we give a more transparent proof of their result that the unital algebra generated by positive idempotent matrices E and F such that \(E F \ge F E\) is equal to the linear span of the set \(\{I, E, F, E F, F E, E F E, F E F, (E F)^2, (F E)^2\}\), and so its dimension is at most 9. We give examples of two positive idempotent matrices that generate unital algebra of dimension 2n if n is even, and of dimension \((2n - 1)\) if n is odd. We also prove that the algebra generated by positive matrices \(B_1\), \(B_2, \ldots , B_k\) is triangularizable if \(A B_i \ge B_i A\) (\(i=1,2, \ldots , k\)) for some positive matrix A with distinct eigenvalues.     

Invariant characters and coprime actions on finite nilpotent groups

Abstract. Let S be a subgroup of SLn(R), where R is a commutative ring with identity and n \geqq 3n \geqq 3. The order of S, o(S), is the R-ideal generated by x_ij, x_ii - x_jj (i 1 j)x_{ij},\ x_{ii} - x_{jj}\ (i \neq j), where (x_ij) ? S(x_{ij}) \in S. Let En(R) be the subgroup of SLn(R) generated by the elementary matrices. The level of S, l(S), is the largest R-ideal \frak q\frak {q} with the property that S contains all the \frak q\frak {q}-elementary matrices and all conjugates of these by elements of En(R). It is clear that l(S) \leqq o(S)l(S) \leqq o(S). Vaserstein has proved that, for all R and for all n \geqq 3n \geqq 3, the subgroup S is normalized by En(R) if and only if l(S) = o(S)     

Monoids for Which Condition (P) Acts are Projective

A characterisation of monoids for which all right S-acts satisfying conditions (P) are projective is given. We also give a new characterisation of those monoids for which all cyclic right S-acts satisfying condition (P) are projective, similar in nature to recent work by Kilp [6]. In addition we give a sufficient condition for all right S-acts that satisfy condition (P) to be strongly flat and show that the indecomposable acts that satisfy condition (P) are the locally cyclic acts.     

A note on model structures on arbitrary Frobenius categories

We show that there is a model structure in the sense of Quillen on an arbitrary Frobenius category F such that the homotopy category of this model structure is equivalent to the stable category F as triangulated categories. This seems to be well-accepted by experts but we were unable to find a complete proof for it in the literature. When F is a weakly idempotent complete (i.e., every split monomorphism is an inflation) Frobenius category, the model structure we constructed is an exact (closed) model structure in the sense of Gillespie (2011).