Non-group Ranks in Finite Full Transformation Semigroups

T _n be the full transformation semigroup on a finite set. Both rank and idempotent rank of the semigroup K(n,r) = {α∈T _n : | im α | ≤r, 2 ≤ r ≤ n - 1. In this paper we prove that the non-group rank, defined as the cardinality of a minimal generating set of non-group elements, of K(n,r) is S(n,r) , the Stirling number of the second kind.     

Approximate Amenability of Certain Semigroup Algebras

In the present paper, it is shown that a left cancellative semigroup S (not necessarily with identity) is left amenable whenever the Banach algebra ℓ¹(S) is approximately amenable. It is also proved that if S is a Brandt semigroup over a group G with an index set I, then ℓ¹(S) is approximately amenable if and only if G is amenable. Moreover ℓ¹(S) is amenable if and only if G is amenable and I is finite. For a left cancellative foundation semigroup S with an identity such that for every M_a(S)-measurable subset B of S and s ∈ S the set sB is M_a(S)-measurable, it is proved that if the measure algebra M_a(S) is approximately amenable, then S is left amenable. Concrete examples are given to show that the converse is negative.     

Graded automorphism group of TKK Lie algebra over semilattice

Every extended affine Lie algebra of type A ₁ and nullity ν with extended affine root system R(A ₁, S), where S is a semilattice in ℝ ^ν , can be constructed from a TKK Lie algebra T (J (S)) which is obtained from the Jordan algebra J (S) by the so-called Tits-Kantor-Koecher construction. In this article we consider the ℤ ⁿ -graded automorphism group of the TKK Lie algebra T (J (S)), where S is the “smallest” semilattice in Euclidean space ℝ ⁿ .     

When is a Markovian Semigroup Induced by a Semiflow?

t , for t ≥ 0, be a strongly continuous Markovian semigroup acting on C(X), where X is a compact Hausdorf space, and let D denote the domain of its infinitesimal generator Z. Suppose D contains a (perhaps finite) family of functions f separating the points of X and satisfying Zf² = 2fZf. If either (1) there exists δ > 0 such that (T^t f)²∈ D if 0 ≤ t ≤δ for each f in this family; or (1′) for some core D′ of Z, g ∈ D′ implies g²∈ D, then the underlying Markoff process on X is deterministic. That is, there exists a semiflow — a semigroup (under composition) of continuous functions φ_t from X into X — such that T^tf(x) = f(φ_t (x)). If the domain D should be an algebra then conditions (1) and (1′) hold trivially. Conversely, if we have a separating family satisfying Zf² = 2fZf then each of these conditions implies that D is an algebra. It is an open question as to whether these conditions are redundant. If the functions φ_t are homeomorphisms from X onto X, then of course we have a Markovian group induced by a flow. This result is obtained by first providing general results about the null-space N of the (function-valued) positive semidefinite quadratic form defined by < f, g > = Z(fg) - fZg - gZf. The set N can be defined for any generator Z of a strongly continuous Markovian semigroup and is equivalently given by N = {f ∈ D| f²∈ D and Zf² = 2fZf} = {f ∈ D| T^t(f²)-(T^tf)² is o(t²) in C(X)}. In the general case N is an algebra closed under composition with any C¹-function φ from the reals to the reals, and Z(φ[f]) = (Zf)φ′[f] if f ∈ N. This "chain rule" on N (on which Z must act as a derivation) is a special case of a theorem for C²-functions φ which holds more generally for all f in d, viz., Z(φ[f] = (Zf) φ′[f] + ? <f, f> φ″[f], Provided Z is a local operator and D is an algebra. In this case the form < f, g > itself enjoys the relation < φ[f], ψ[g] > = φ′ [f] ψ′[g] < f, g >, for C²functions φ and ψ. Some of the results and their proofs continue to hold when the setting is switched from the commutative C*-algebra C(X) to a general (noncommutative) C*-algebra A. In the norm continuous case we obtain a sharp characterization of Markovian semigroups that are groups: Let T^t = e^tz , defined for t ≥ 0, be a Markovian semigroup acting on a C*-algebra A that is norm continuous, i.e., ||T^t - I|| ⇒ 0 as t ⇒ 0 +. Assume Z(a²) = a(Za) + (Za) a for some (perhaps finite) set of self-adjoint elements a that generate a Jordan algebra dense among the self-adjoint elements of A. The e^tz , -∞ < t < ∞, is a group of Markovian operators.     

Limit theorems for convolutions of probabilities on non abelian semigroups

Let S be a locally compact semigroup. We study the sequence (λⁿ) of the convolution powers of a probability measure λ on S and their shifts by a probability measure η on S. We shall give sufficient conditions for lim ‖λⁿ−η*λⁿ‖ = 0 (where ‖.‖ denotes the norm). In particular we consider the case the η is a point measure and we study the subsemigroup L_O(λ) = {x ∈ S : lim ‖λⁿ−δ_X*λⁿ‖ = 0}. We shall give necessary and sufficient conditions for L_o(λ)=S. In this case we want to treat the problem of the convergence of the sequence (λⁿ).     

Maximal Subsemigroups of Finite Transformation Semigroups K（n, r）

Let Tn be the full transformation semigroup on the n-element set Xn. For an arbitrary integer r such that 2 ≤ r ≤ n-1, we completely describe the maximal subsemigroups of the semigroup K(n, r) = {α∈Tn : |im α| ≤ r}. We also formulate the cardinal number of such subsemigroups which is an answer to Problem 46 of Tetrad in 1969, concerning the number of subsemigroups of Tn.     

Star-operations on semigroups

Let S be a grading monoid with quotient group q(S) , let F(S) be the set of fractional ideals of S . For A ∈ F(S) , define A _w = {x ∈ q(S) \mid J+x \subseteq A for some f.g. ideal J of S with J ^-1 =S} and A_ \overline w ={x ∈ q(S)\mid J+x \subseteq A for some ideal J of S with J ^-1 =S} . Then w and \overline w are star-operations on F(S) such that w ≤ \overline w . Using these star-operations, we give characterizations of Krull semigroups and pre-Krull semigroups. Also we show that for every maximal * -ideal P of S , if S _P is a valuation semigroup, then * -cancellation ideals are * -locally principal ideals, where * is a star-operation on S of finite character. Finally, we show that S is a pre-Krull semigroup (H-semigroup) if and only if the polynomial semigroup S[x] is a pre-Krull semigroup (H-semigroup). October 15, 1999     

Oscillation of nonlinear vector differential equations

Summary Oscillation criteria are obtained for vector partial differential equations of the type Δv+b(x, v)v=0, x∈G, v∈E^m, where G is an exterior domain in E_n, and b is a continuous nonnegative valued function in G × E^m. A solution v: G→E^m is called h-oscillatory in G whenever the scalar product [v(x), h] (|h|=1) has zeros x in G with |x| arbitrarily large. It is shown that the spherical mean of [v(x), h] over a hypersphere of radius r in Eⁿ satisfies a nonlinear ordinary differential inequality. As a consequence, the main theorems give sufficient conditions on b(x, t), depending upon the dimension n, for all solutions v to be h-oscillatory in G. Entrata in Redazione il 26 giugno 1975.     

Haar Type Orthonormal Wavelet Bases in R2

K.-H. Grochenig and A. Haas asked whether for every expanding integer matrix A ∈ M_n(ℤ) there is a Haar type orthonormal wavelet basis having dilation factor A and translation lattice ℤⁿ. They proved that this is the case when the dimension n = 1. This article shows that this is also the case when the dimension n = 2.     

Representations of inverse semigroups by one-to-one partial transformations of a set

We show that each representation ϕ, say, of an inverse semigroup S, by means of transformations of a set X, determines a representation ϕ^* by means of partial one-to-one transformations of X, in such a fashion that sϕ ↦ sϕ^*, for s ∈ S, is an isomorphism of Sϕ upon Sϕ^*. An immediate corollary is the classical faithful representation of an inverse semigroup as a semigroup of partial one-to-one transformations.     

Noncommutative interpolation and Poisson transforms

General results of interpolation (e.g., Nevanlinna-Pick) by elements in the noncommutative analytic Toeplitz algebraF ^∞ (resp., noncommutative disc algebraA _n) with consequences to the interpolation by bounded operator-valued analytic functions in the unit ball of ℂⁿ are obtained. Noncommutative Poisson transforms are used to provide new von Neumann type inequalities. Completely isometric representations of the quotient algebraF ^∞/J on Hilbert spaces whereJ is anyw ^*-closed, 2-sided ideal ofF ^∞, are obtained and used to construct aw ^*-continuous,F ^∞/J-functional calculus associated to row contractionsT=[T ₁,…,T _n] whenf(T₁, …, T_n)=0 for anyf∈J. Other properties of the dual algebraF ^∞/J are considered. The second author was partially supported by NSF DMS-9531954.     

Graded automorphism group of TKK algebra

The classification of extended affine Lie algebras of type A_1 depends on the Tits-Kantor- Koecher (TKK) algebras constructed from semilattices of Euclidean spaces.One can define a unitary Jordan algebra J(S) from a semilattice S of R~v (v≥1),and then construct an extended affine Lie algebra of type A_1 from the TKK algebra T(J(S)) which is obtained from the Jordan algebra J(S) by the so-called Tits-Kantor-Koecher construction.In R~2 there are only two non-similar semilattices S and S′,where S is a lattice and S′is a non-lattice semilattice.In this paper we study the Z~2-graded automorphisms of the TKK algebra T(J(S)).     

A new representation theorem for completely [O-] simple semigroups

A semigroup is completely [O-] simple iff it is isomorphic to a semigroup ϕ of binary Boolean (I×I)-matrices (where I is a set) such that for every p,q∈I there exists precisely one matrix (a_ij)∈ϕ such that a_pg=1. Every such isomorphic representation of a completely [O-] simple semigroup is an arbitrary inflation of a reduced representation and all reduced representations are equivalent. Dedicated to Lazar Matveevič Gluskin on the occasion of his fiftieth birthday.     

On the solutions of the translation equation in rings of formal power series

We study in this paper solutions of the translation equation in rings of formal power series K[X] where K ∈R, C (so called one-parameter groups or flows), and even, more generally, homomorphisms Ф from an abelian group (G, +) into the group Г(K) of invertible power series in K[X]. This problem can equivalently be formulated as the question of constructing homomorphisms Ф from (G, +) into the differential group Г¹∞ describing the chain rules of higher order of C∞ functions with fixed point 0. In this paper we present the general form of these homomorphisms Ф : G → Г(K) (or L¹∞),Ф = (f_n ⁿ≤1,forwhich f₁ = l, f₂ = ... = f_p+l =0,f_p+2 ≠ 0 for fixed, but arbitrary p ≤ 0 (see Theorem 5, Corollary 6 and Theorem 6). This representation uses a sequence (w _n ^p )_n≥p+2 of universal polynomials in f_p+2 and a sequence of parameters, which determines the individual one-parameter group. Instead of (w _n ^p )_n≥p+2 we may also use another sequence (L _n ^p )_n≥p+2 of universal polynomials, and we describe the connection between these forms of the solutions.     

Regev’s and Amitsur’s conjectures for codimensions of generalized polynomial identities

Let A be a finite-dimensional associative algebra over a field of characteristic 0. Then there exist C ∈ ℚ₊ and t ∈ ℤ₊ such that gc _n (A) ∼ Cn ^t d ⁿ as n → ∞, where d = PIexp(A). In particular, Amitsur’s and Regev’s conjectures hold for the codimensions gc _n (A) of generalized polynomial identities.     

Potential space estimates in local Hardy spaces for Green potentials in convex domains

Let Ω be a bounded co.nvex domain in Rn(n≥3) and G(x,y) be the Green function of the Laplace operator -△ on Ω. Let hrp(Ω) = {f ∈ D'(Ω) :(E)F∈hp(Rn), s.t. F|Ω = f}, by the atom characterization of Local Hardy spaces in a bounded Lipschitz domain, the bound of f→(△)2(Gf) for every f ∈ hrp(Ω) is obtained, where n/(n 1)＜p≤1.     

Representation of measurable functions by series in Walsh subsystems

For any sequence {ω(n)} _n∈ℕ tending to infinity we construct a “quasiquadratic” representation spectrum Λ = {n ² + o(ω(n))} _n∈ℕ: for any almost everywhere (a. e.) finite measurable function f(x) there exists a series in the form $ \mathop \sum \limits_{k \in \Lambda } $ \mathop \sum \limits_{k \in \Lambda } α _k ω _k (x) that converges a. e. to this function, where {w _k (x)} _k∈ℕ is the Walsh system. We find representation spectra in the form {n ^l + o(n ^l )} _n∈ℕ, where l ∈ {2 ^k } _k∈ℕ.     

Codeterminants and <Emphasis Type="Italic">q</Emphasis>-Schur Algebras

We study codeterminants in the q-Schur algebra S _q (n,r) and prove that the standard ones form a basis of S _q (n,r), using a quantized version of the Désarménien matrix. We find elements of the form F _S 1_λ E _T in Lusztig’s modified enveloping algebra of gl(n), which, up to powers of q, map to the basis of standard codeterminants, where F _S ∈U ^– and E _T ∈U ⁺ are explicitly given products of root vectors, depending on Young tableaux S and T.     

Nilpotent Ranks of Semigroups of Partial Transformations

A subset U of a semigroup S is a generating set for S if every element of S may be written as a finite product of elements of U. The rank of a finite semigroup S is the size of a minimal generating set of S, and the nilpotent rank of S is the size of a minimal generating set of S consisting of nilpotents in S. A partition of a q-element subset of the set X_n = {1,2,..., n} is said to be of type τ if the sizes of its classes form the partition τ of the positive integer q ≤ n. A non-trivial partition τ of q consists of k < q elements. For a non-trivial partition τ of q < n, the semigroup S(τ), generated by all the transformations with kernels of type τ, is nilpotent-generated. We prove that if τ is a non-trivial partition of q < n, then the rank and the nilpotent rank of S(τ) are both equal to the number of partitions X_n of type τ.