The postage stamp problem and arithmetic in base <Emphasis Type="Italic">r</Emphasis>

Let h, k be fixed positive integers, and let A be any set of positive integers. Let hA ≔ {a ₁ + a ₂ + ... + a _r : a _i ∈ A, r ⩽ h} denote the set of all integers representable as a sum of no more than h elements of A, and let n(h, A) denote the largest integer n such that {1, 2,...,n} ⊆ hA. Let n(h, k) := : n(h, A), where the maximum is taken over all sets A with k elements. We determine n(h, A) when the elements of A are in geometric progression. In particular, this results in the evaluation of n(h, 2) and yields surprisingly sharp lower bounds for n(h, k), particularly for k = 3.     

Exchange Rings Generated by Their Units

Let R be an exchange ring with primitive factors artinian. We prove that there exists a u∈U（R） such that 1R ± u ∈ U（R）, if and only if for any a ∈ R, there exists a u ∈ U（R） such that a ± u∈ U（R）. Phrthermore, we prove that, for any A ∈ Mn（R）（n ≥ 2）, there exists a U ∈ GLn（R） such that A ± U ∈ GLn（R）.     

Analytic sets extending the graphs of holomorphic mappings

Let D, D′ ⊂ ℂⁿ be bounded domains with smooth real analytic boundaries and ƒ: D → D′ be a proper holomorphic map. Our main result implies that if the graph of ƒ extends as an analytic set to a neighborhood of a poìnt (a, a′) ∈ ∂D × 3D′ with a′ ∈ cl_ƒ(a), then ƒ extends holomorphically to a neighborhood of a.     

Annihilating power values of co-commutators with generalized derivations

Let R be a prime ring with its Utumi ring of quotient U, H and G be two generalized derivations of R and L a noncentral Lie ideal of R. Suppose that there exists 0 ≠ a ∈ R such that a(H(u)u − uG(u)) ⁿ  = 0 for all u ∈ L, where n ≥ 1 is a fixed integer. Then there exist b′,c′ ∈ U such that H(x) = b′x + xc′, G(x) = c′x for all x ∈ R with ab′ = 0, unless R satisfies s ₄, the standard identity in four variables.     

The nonlinear version of Pazy’s local existence theorem

LetX be a real Banach space,U ⊂X a given open set,A ⊂X×X am-dissipative set andF:C(0,a;U) →L ^∞(0,a;X) a continuous mapping. Assume thatA generates a nonlinear semigroup of contractionsS(t): {ie221-2}) → {ie221-3}), strongly continuous at the origin, withS(t) compact for allt>0. Then, for eachu ₀ ∈ {ie221-4}) ∩U there existsT ∈ ]0,a] such that the following initial value problem: (du(t))/(dt) ∈Au(t) +F(u)(t),u(0)=u ₀, has at least one integral solution on [0,T]. Some extensions and applications are also included.     

On sandwich sets and congruences on regular semigroups

Let S be a regular semigroup and E(S) be the set of its idempotents. We call the sets S(e, f)f and eS(e, f) one-sided sandwich sets and characterize them abstractly where e, f ∈ E(S). For a, a′ ∈ S such that a = aa′a, a′ = a′aa′, we call S(a) = S(a′a, aa′) the sandwich set of a. We characterize regular semigroups S in which all S(e; f) (or all S(a)) are right zero semigroups (respectively are trivial) in several ways including weak versions of compatibility of the natural order. For every a ∈ S, we also define E(a) as the set of all idempotets e such that, for any congruence ϱ on S, aϱa ² implies that aϱe. We study the restrictions on S in order that S(a) or be trivial. For , we define on S by a b if . We establish for which S are or congruences.     

Group Chromatic Number of Graphs without K5-Minors

 Let G be a graph with a fixed orientation and let A be a group. Let F(G,A) denote the set of all functions f: E(G) ↦A. The graph G is A -colorable if for any function f∈F(G,A), there is a function c: V(G) ↦A such that for every directed e=u v∈E(G), c(u)−c(v)≠f(e). The group chromatic numberχ₁(G) of a graph G is the minimum m such that G is A-colorable for any group A of order at least m under a given orientation D. In [J. Combin. Theory Ser. B, 56 (1992), 165–182], Jaeger et al. proved that if G is a simple planar graph, then χ₁(G)≤6. We prove in this paper that if G is a simple graph without a K ₅-minor, then χ₁(G)≤5. Received: August 18, 1999 Final version received: December 12, 2000     

The ultrametric corona problem

Let K be a complete ultrametric algebraically closed field and let A be the K-Banach algebra of bounded analytic functions in the disk D: |x| < 1. Let Mult(A, ∥ · ∥) be the set of continuous multiplicative semi-norms of A, let Mult _m (A, ∥ · ∥) be the subset of the ϕ ∈ Mult(A, ∥ · ∥) whose kernel is a maximal ideal and let Mult _a (A, ∥ · ∥) be the subset of the ϕ ∈ Mult _m (A, ∥ · ∥) whose kernel is of the form (x − a)A, a ∈ D ( if ϕ ∈ Mult _m (A, ∥ · ∥) \ Mult _a (A, ∥ · ∥), the kernel of ϕ is then of infinite codimension). We examine whether Mult _a (A, ∥ · ∥) is dense inside Mult _m (A, ∥ · ∥) with respect to the topology of simple convergence. This a first step to the conjecture of density of Mult _a (A, ∥ · ∥) in the whole set Mult(A, ∥ · ∥): this is the corresponding problem to the well-known complex corona problem. We notice that if ϕ ∈ Mult _m (A, ∥ · ∥) is defined by an ultrafilter on D, then ϕ lies in the closure of Mult _a (A, ∥ · ∥). Particularly, we show that this is case when a maximal ideal is the kernel of a unique ϕ ∈ Multm(A, ∥ · ∥). Particularly, when K is strongly valued all maximal ideals enjoy this property. And we can prove this is also true when K is spherically complete, thanks to the ultrametric holomorphic functional calculus. More generally, we show that if ψ ∈ Mult(A, ∥ · ∥) does not define the Gauss norm on polynomials (∥ · ∥), then it is defined by a circular filter, like on rational functions and analytic elements. As a consequence, if ψ ∈ Multm(A, ∥ · ∥) \ Multa(A, ∥ · ∥) or if φ does not lie in the closure of Mult _a (A, ∥ · ∥), then its restriction to polynomials is the Gauss norm. The first situation does happen. The second is unlikely. The text was submitted by the authors in English.     

Infima of superharmonic functions

Let Ω be a Greenian domain in ℝ ^d , d≥2, or—more generally—let Ω be a connected -Brelot space satisfying axiom D, and let u be a numerical function on Ω, , which is locally bounded from below. A short proof yields the following result: The function u is the infimum of its superharmonic majorants if and only if each set {x:u(x)>t}, t∈ℝ, differs from an analytic set only by a polar set and , whenever V is a relatively compact open set in Ω and x∈V.     

Unitarily covariant maps in approximately finite-dimensional <Emphasis Type="Italic">C</Emphasis>*-algebras

We consider maps defined on a real space Asa of all self-adjoint elements of a C*-algebra A commuting with the conjugation by unitaries: F(u* au) = u* F(a)u for any a ∈ A _sa, u ∈ (A). In the case where A is a full matrix algebra, there is a functional realization of these maps (in terms of multivariable functions) and analytical properties of these maps can be expressed in terms of corresponding functions. In the present work, these results are generalized to the class of uniformly hyperfinite C*-algebras and to the algebra of all compact operators in a Hilbert space. Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 13, No. 8, pp. 213–227, 2007.     

On tame operators between non-archimedean power series spaces

Let p ∈ {1, ∞}. We show that any continuous linear operator T from A1 (a) to Ap (b) is tame, i.e., there exists a positive integer c such that sup x||Tx||k/|x|ck ∞ for every k ∈ N. Next we prove that a similar result holds for operators from A∞(a) to Ap(b) if and only if the set Mb,a of all finite limit points of the double sequence (bi /aj ) i,j∈N is bounded. Finally we show that the range of every tame operator from A∞(a) to A∞(b) has a Schauder basis.     

Zeros in Tables of Characters for the Groups <Emphasis Type="Italic">S</Emphasis><Subscript>n</Subscript> and <Emphasis Type="Italic">A</Emphasis><Subscript>n</Subscript>. II

Let P(n) be the set of all partitions of a natural number n. In the representation theory of symmetric groups, for every partition α ∈ P(n), the partition h(α) ∈ P(n) is defined so as to produce a certain set of zeros in the character table for S_n. Previously, the analog f(α) of h(α) was obtained pointing out an extra set of zeros in the table mentioned. Namely, h(α) is greatest (under the lexicographic ordering ≤) of the partitions β of n such that χ^α(g_β) ≠ 0, and f(α) is greatest of the partitions γ of n that are opposite in sign to h(α) and are such that χ^α(g_γ) ≠ 0, where χ^α is an irreducible character of S_n, indexed by α, and g_β is an element in the conjugacy class of S_n, indexed by β. For α ∈ P(n), under some natural restrictions, here, we construct new partitions h′(α) and f′(α) of n possessing the following properties. (A) Let α ∈ P(n) and n ⩾ 3. Then h′(α) is identical is sign to h(α), χ^α(g_h′(α)) ≠ 0, but χ^α(g_γ) = 0 for all γ ∈ P(n) such that the sign of γ coincides with one of h(α), and h′(α) < γ < h(α). (B) Let α ∈ P(n), α ≠ α′, and n ⩾ 4. Then f′(α) is identical in sign to f(α), χ^α(g_f′(α)) ≠ 0, but χ^α(g_γ) = 0 for all γ ∈ P(n) such that the sign of γ coincides with one of f(α), and f′(α) < γ < f(α). The results obtained are then applied to study pairs of semiproportional irreducible characters in A_n. Supported by RFBR grant No. 04-01-00463. __________ Translated from Algebra i Logika, Vol. 44, No. 6, pp. 643–663, November–December, 2005.     

Derivations with power central values on Lie ideals in prime rings

Let R be a prime ring of char R ≠ 2 with a nonzero derivation d and let U be its noncentral Lie ideal. If for some fixed integers n ₁ ⩾ 0, n ₂ ⩾ 0, n ₃ ⩾ 0, (u ⁿ¹ [d(u), u]u ⁿ²) ⁿ³ ∈ Z(R) for all u ∈ U, then R satisfies S ₄, the standard identity in four variables.     

On the supersingular reduction of elliptic curves

Let a∈Q and denote byE _a the curvey ² = (x ² + l)(x + a). We prove thatE _a(F_p) is cyclic for infinitely many primesp. This fact was known previously only under the assumption of the generalized Riemann hypothesis. Research partially supported by NSERC grant A9418.     

A remark on the range of elementary operators

Let L(H) denote the algebra of all bounded linear operators on a separable infinite dimensional complex Hilbert space H into itself. Given A ∈ L(H), we define the elementary operator Δ _A : L(H) → L(H) by Δ _A (X) = AXA − X. In this paper we study the class of operators A ∈ L(H) which have the following property: ATA = T implies AT*A = T* for all trace class operators T ∈ C ₁(H). Such operators are termed generalized quasi-adjoints. The main result is the equivalence between this character and the fact that the ultraweak closure of the range of Δ _A is closed under taking adjoints. We give a characterization and some basic results concerning generalized quasi-adjoints operators.     

Equations d’evolution du second ordre associees a des operateurs monotones

This paper extends some recent results of V. Barbu. It is concerned with bounded solutions of the problem:u″∈Au, u′(0)∈ϖj(u(0)−a) whereA is a maximal monotone operator in a Hilbert spaceH, a∈D(A) andj is a strictly convex l.s.c. function fromH to [0,+∞]. An existence and uniqueness theorem for this problem is proved. Takingj to be the indicator function of a pointu ₀∈D(A), one obtains a bounded solutionu(t) of the initial value problem:u″∈Au, u(0)=u ₀. Denotingu(t)=S _1/2(t)u₀ one obtains a semi-group of contractions onD(A). The generator of this semigroup is denoted byA _1/2. Further properties ofS _1/2(t) andA _1/2 are studied.      

Characterization of polyanalytic functions by meromorphic extensions from chains of circles

Let C _t = {z ∈ ℂ: |z − c(t)| = r(t), t ∈ (0, 1)} be a C ¹-family of circles in the plane such that lim _t→0+ C _t = {a}, lim _t→1− C _t = {b}, a ≠ b, and |c′(t)|² + |r′(t)|² ≠ 0. The discriminant set S of the family is defined as the closure of the set {c(t) + r(t)w(t), t ∈ [0, 1]}, where w = w(t) is the root of the quadratic equation ̅c′(t)w ² + 2r′(t)w + c′(t) = 0 with |w| < 1, if such a root exists.     

Weakly least integer closed groups

An archimedean lattice-ordered groupA with distinguished weak unit has the canonical Yosida representation as an ℓ-group of extended real-valued functions on a certain compact Hausdorff spaceY A. Such an ℓ-groupA is calledleast integer closed, orLIC (resp.,weakly least integer closed, orwLIC) if, in the representation,a ∈A implies [a] ∈A (resp., there isa′ ∈A witha′=[a] on a dense set inY A), where [r] ≡ the least integer greater than or equal tor. Earlier, we have studiedLIC groups, with an emphasis on their a-extensions. Here, we turn towLIC groups: we give an intrinsic (though awk-ward) characterization in terms of existence of certain countable suprema. This results also in an intrinsic characterization ofLIC, previously lacking. Also,wLIC is a hull class (whichLIC is not), and the hullwlA is “somewhere near” the projectable hullpA. The best comparison comes from a (somewhat novel) factoringpA=loc(wpA), wherewpA is the “weakly projectable” hull (defined here), andlocB is the “local monoreflection”; then,wpA≤wlA≤loc(wpA), andpA≤loc(wlA), while with a strong unit, all these coincide. Numerous examples and special cases are examined.     

Derived length and products of conjugacy classes

Let G be a supersolvable group and A be a conjugacy class of G. Observe that for some integer η(AA ⁻¹) > 0, AA ⁻¹ = {ab ⁻¹: a, b ∈ A} is the union of η(AA ⁻¹) distinct conjugacy classes of G. Set C _G (A) = {g ∈ G: a ^g = a for all a ∈ A. Then the derived length of G/C _G (A) is less or equal than 2η(AA ⁻¹) − 1.     

On the restricted arc-connectivity of s-geodetic digraphs

For a strongly connected digraph D the minimum ,cardinality of an arc-cut over all arc-cuts restricted arc-connectivity λ′（D） is defined as the S satisfying that D - S has a non-trivial strong component D1 such that D - V（D1） contains an arc. Let S be a subset of vertices of D. We denote by w＋（S） the set of arcs uv with u ∈ S and v S, and by w-（S） the set of arcs uv with u S and v ∈ S. A digraph D = （V, A） is said to be λ′-optimal if λ′（D） =ξ′（D）, where ξ′（D） is the minimum arc-degree of D defined as ξ（D） = min {ξ′（xy） ： xy ∈ A}, and ξ′（xy） = min（｜ω＋（{x,y}）｜, ｜w-（{x,y}）｜, ｜w＋（x） ∪ w- （y） ｜, ｜w- （x） ∪ω＋ （y）｜}. In this paper a sufficient condition for a s-geodetic strongly connected digraph D to be λ′-optimal is given in terms of its diameter. Furthermore we see that the h-iterated line digraph Lh（D） of a s-geodetic digraph is λ′-optimal for certain iteration h.