Generating the kernel of a staircase starshaped set from certain staircase convex subsets

Let S be an orthogonal polygon in the plane. Assume that S is starshaped via staircase paths, and let K be any component of Ker S, the staircase kernel of S, where K ≠ S. For every x in S\K, define W _K (x) = {s: s lies on some staircase path in S from x to a point of K}. There is a minimal (finite) collection W(K) of W _K (x) sets whose union is S. Further, each set W _K (x) may be associated with a finite family U _K (x) of staircase convex subsets, each containing x and K, with ∪{U: U in U _K (x)} = W _K (x). If W(K) = {W _K (x ₁), ..., W _K (x _n )}, then K ⊆ V _K ≡ ∩{U: U in some family U _K (x _i ), 1 ≤ i ≤ n} ⊆ Ker S. It follows that each set V _K is staircase convex and ∪{V _k : K a component of Ker S} = Ker S.     

Convergence of the Dirichlet solutions of the very fast diffusion equation

For any −1<m<0, positive functions f, g and u₀≥0, we prove that under some mild conditions on f, g and u₀ as R→∞ the solution u^R of the Dirichlet problem u_t=(u^m/m)_xx in (−R,R)×(0,∞), u(R,t)=(f(t)|m|R)^1/m, u(−R,t)=(g(t)|m|R)^1/m for all t>0, u(x,0)=u₀(x) in (−R,R), converges uniformly on every compact subset of R×(0,T) to the solution of the equation u_t=(u^m/m)_xx in R×(0,T), u(x,0)=u₀(x) in R, which satisfies some mass loss formula on (0,T) where T is the maximal time such that the solution u is positive. We also prove that the solution constructed is equal to the solution constructed in Hui (2007) [15] using approximation by solutions of the corresponding Neumann problem in bounded cylindrical domains.     

On two classes of finite supersoluble groups

Let ? be a complete set of Sylow subgroups of a finite group G, that is, a set composed of a Sylow p-subgroup of G for each p dividing the order of G. A subgroup H of G is called ?-S-semipermutable if H permutes with every Sylow p-subgroup of G in ? for all p?π(H); H is said to be ?-S-seminormal if it is normalized by every Sylow p-subgroup of G in ? for all p?π(H). The main aim of this paper is to characterize the ?-MS-groups, or groups G in which the maximal subgroups of every Sylow subgroup in ? are ?-S-semipermutable in G and the ?-MSN-groups, or groups in which the maximal subgroups of every Sylow subgroup in ? are ?-S-seminormal in G.     

Associativity of the <Emphasis Type="Italic">∇</Emphasis>-operation on bands in rings

Given a multiplicative band of idempotents S in a ring R, for all e,f∈S the ∇-product e ∇ f=e+f+fe−efe−fef is an idempotent that lies roughly above e and f in R just as ef and fe lie roughly below e and f. In this paper we study ∇-bands in rings, that is, bands in rings that are closed under ∇, giving various criteria for ∇ to be associative, thus making the band a skew lattice. We also consider when a given band S in R generates a ∇-band.     

On equivalence of derived categories

Let A be an Abelian category and B be a thick subcategory of A. Let D ^b(B) denote the derived category of cohomologically bounded chain complexes of objects in A and D _B ^b (A) denote the derived category of cohomologically bounded chain complexes of objects in A with cohomology in B. We give two if and only if conditions for equivalence of D(B) and D _B ^b (A), and we give an example where D ^b (B) and D _B ^b (A) are not equivalent.     

p-Hypercyclically embedding and Π-property of subgroups of finite groups

Let G be a finite group, E a normal subgroup of G and p a fixed prime. We say that E is p-hypercyclically embedded in G if every p-G-chief factor of E is cyclic. A subgroup H of G is said to satisfy Π-property in G if |G∕K:N_G∕K((H∩L)K∕K)| is a π((H∩L)K∕K)-number for any chief factor L∕K in G; we say that H has Π*-property in G if H∩O^π(H)(G) has Π-property in G. In this paper, we prove that E is p-hypercyclically embedded in G if and only if some classes of p-subgroups of E have Π*-property in G. Some recent results are extended.     

Additive Set of Idempotents in Rings

Let R be a ring with identity 1, I(R) be the set of all nonunit idempotents in R, and M(R) be the set of all primitive idempotents and 0 of R. We say that I(R) is additive if for all e, f ∈ I(R) (e ≠ f), e + f ∈ I(R), and M(R) is additive in I(R) if for all e, f ∈ M(R)(e ≠ f), e + f ∈ I(R). In this article, the following points are shown: (1) I(R) is additive if and only if I(R) is multiplicative and the characteristic of R is 2; M(R) is additive in I(R) if and only if M(R) is orthogonal. If 0 ≠ ef ∈ I(R) for some e ∈ M(R) and f ∈ I(R), then ef ∈ M(R), (2) If R has a complete set of primitive idempotents, then R is a finite product of connected rings if and only if I(R) is multiplicative if and only if M(R) is additive in I(R).     

Herz spaces and summability of Fourier transforms

A general summability method is considered for functions from Herz spaces K^α_p,r (?^d ). The boundedness of the Hardy–Littlewood maximal operator on Herz spaces is proved in some critical cases. This implies that the maximal operator of the θ ‐means σ^θ _T f is also bounded on the corresponding Herz spaces and σ^θ _T f → f a.e. for all f ∈ K^{–d /p} _p,∞ (?^d ). Moreover, σ^θ _T f (x) converges to f (x) at each p ‐Lebesgue point of f ∈ K^{–d /p} _p,∞ (?^d ) if and only if the Fourier transform of θ is in the Herz space K^{d /p} _{p ′,1} (?^d ). Norm convergence of the θ ‐means is also investigated in Herz spaces. As special cases some results are obtained for weighted L_p spaces. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Compact operators which factor through subspaces of lp

Let 1 ≤ p ≤ ∞. A subset K of a Banach space X is said to be relatively p ‐compact if there is an 〈x_n 〉 ∈ l^s _p (X) such that for every k ∈ K there is an 〈α_n 〉 ∈ l_{p ′} such that k = σ^∞_n=1 α_n x_n . A linear operator T: X → Y is said to be p ‐compact if T (Ball (X)) is relatively p ‐compact in Y. The set of all p ‐compact operators K_p (X, Y) from X to Y is a Banach space with a suitable factorization norm κ_p and (K_p , κ_p ) is a Banach operator ideal. In this paper we investigate the dual operator ideal (K^d _p , κ^d _p ). It is shown that κ^d _p (T) = π_p (T) for all T ∈ B (X, Y) if either X or Y is finite‐dimensional. As a consequence it is proved that the adjoint ideal of K^d _p is I_{p ′}, the ideal of p ′‐integral operators. Further, a composition/decomposition theorem K^d _p = Π_p K is proved which also yields that (Π^min _p )^inj = K^d _p . Finally, we discuss the density of finite rank operators in K^d _p and give some examples for different values of p in this respect. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Strong Reality Properties of Normalizers of Parabolic Subgroups in Finite Coxeter Groups

Let W be a finite Coxeter group, P a parabolic subgroup of W, and N _W (P) the normalizer of P in W. We prove that every element in N _W (P) is strongly real in N _W (P), and that every irreducible complex character of N _W (P) has Frobenius-Schur indicator 1.     

On the Theory of <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>(<Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">q</Emphasis></Subscript>)-Banach Lattices

Given 1≤ p,q < ∞, let BL_pL_q be the class of all Banach lattices X such that X is isometrically lattice isomorphic to a band in some L_p(L_q)-Banach lattice. We show that the range of a positive contractive projection on any BL_pL_q-Banach lattice is itself in BL_pL_q. It is a consequence of this theorem and previous results that BL_pL_q is first-order axiomatizable in the language of Banach lattices. By studying the pavings of arbitrary BL_pL_q-Banach lattices by finite dimensional sublattices that are themselves in this class, we give an explicit set of axioms for BL_pL_q. We also consider the class of all sublattices of L_p(L_q)-Banach lattices; for this class (when p/q is not an integer) we give a set of axioms that are similar to Krivine’s well-known axioms for the subspaces of L_p-Banach spaces (when p/2 is not an integer). We also extend this result to the limiting case q = ∞.     

Multicolor bipartite Ramsey number of C4 and large Kn,n

Let br_k(C₄;K_{n, n}) be the smallest N such that if all edges of K_{N, N} are colored by k + 1 colors, then there is a monochromatic C₄ in one of the first k colors or a monochromatic K_{n, n} in the last color. It is shown that br_k(C₄;K_{n, n}) = Θ(n²/log²n) for k?3, and br₂(C₄;K_{n, n})≥c(n n/log²n)² for large n. The main part of the proof is an algorithm to bound the number of large K_{n, n} in quasi‐random graphs. © 2010 Wiley Periodicals, Inc. J Graph Theory 67: 47‐54, 2011     

decay problem for the dissipative wave equation in odd dimensions

Consider the Cauchy problem in odd dimensions for the dissipative wave equation: (□+∂_t)u=0 in with (u,∂_tu)|_t=0=(u₀,u₁). Because the L² estimates and the L^∞ estimates of the solution u(t) are well known, in this paper we pay attention to the L^p estimates with 1p<2 (in particular, p=1) of the solution u(t) for t0. In order to derive L^p estimates we first give the representation formulas of the solution u(t)=∂_tS(t)u₀+S(t)(u₀+u₁) and then we directly estimate the exact solution S(t)g and its derivative ∂_tS(t)g of the dissipative wave equation with the initial data (u₀,u₁)=(0,g). In particular, when p=1 and n1, we get the L¹ estimate: u(t)_L¹Ce^−t/4(u_0W^n,1+u_1W^n−1,1)+C(u_0L¹+u_1L¹) for t0.     

Divisibility of matrices associated with multiplicative functions

Let S={x₁,…,x_n} be a set of n distinct positive integers. For x,y∈S and y<x, we say the y is a greatest-type divisor of x in S if y∣x and it can be deduced that z=y from y∣z,z∣x,z<x and z∈S. For x∈S, let G_S(x) denote the set of all greatest-type divisors of x in S. For any arithmetic function f, let (f(x_i,x_j)) denote the n×n matrix having f evaluated at the greatest common divisor (x_i,x_j) of x_i and x_j as its i,j-entry and let (f[x_i,x_j]) denote the n×n matrix having f evaluated at the least common multiple [x_i,x_j] of x_i and x_j as its i,j-entry. In this paper, we assume that S is a gcd-closed set and . We show that if f is a multiplicative function such that (f∗μ)(d)∈Z whenever and f(a)|f(b) whenever a|b and a,b∈S and (f(x_i,x_j)) is nonsingular, then the matrix (f(x_i,x_j)) divides the matrix (f[x_i,x_j]) in the ring M_n(Z) of n×n matrices over the integers. As a consequence, we show that (f(x_i,x_j)) divides (f[x_i,x_j]) in the ring M_n(Z) if (f∗μ)(d)∈Z whenever and f is a completely multiplicative function such that (f(x_i,x_j)) is nonsingular. This confirms a conjecture of Hong raised in 2004.     

Regularity and Substructures of Hom

ABSTRACT

We define “regular” for maps in a Hom group. This notion specializes to the well-known notions of (Von Neumann) regular in rings and modules. A map f ∈ Hom _R (A,M) is regular if and only if Ker(f) ?^⊕ A and Im(f) ?^⊕ M. There exists a unique maximal regular End(M)-End(A)-submodule in Hom _R (A,M). We study regularity in Hom _R (A ₁ ⊕ A ₂, M ₁ ⊕ M ₂). The existence of a regular function Hom _R (A,M) implies the existence of projective summands of Hom _R (A,M) _{End R (A)} and of _{End R ( M )} Hom _R (A,M). We consider regularity in endomorphism rings, and generalize a theorem of Ware-Zelmanowitz. We examine connections between the maximum regular bimodule and other substructures of Hom, mention two generalizations of regularity, and raise some questions.     

Order of elements in the groups related to the general linear group

For a natural number n and a prime power q the general, special, projective general and projective special linear groups are denoted by GL_n(q), SL_n(q), PGL_n(q) and PSL_n(q), respectively. Using conjugacy classes of elements in GL_n(q) in terms of irreducible polynomials over the finite field GF(q) we demonstrate how the set of order elements in GL_n(q) can be obtained. This will help to find the order of elements in the groups SL_n(q), PGL_n(q) and PSL_n(q). We also show an upper bound for the order of elements in SL_n(q).     

Decomposition of bipartite graphs into closed trails

Let Lct(G) denote the set of all lengths of closed trails that exist in an even graph G. A sequence (t ₁,..., t _p ) of elements of Lct(G) adding up to |E(G)| is G-realisable provided there is a sequence (T ₁,..., t _p ) of pairwise edge-disjoint closed trails in G such that T _i is of length T _i for i = 1,..., p. The graph G is arbitrarily decomposable into closed trails if all possible sequences are G-realisable. In the paper it is proved that if a ⩾ 1 is an odd integer and M _a,a is a perfect matching in K _a,a , then the graph K _a,a -M _a,a is arbitrarily decomposable into closed trails.      

The smooth Banach submanifold B*(E, F) in B(E, F)

Let E,F be two Banach spaces,B(E,F),B+(E,F),Φ(E,F),SΦ(E,F) and R(E,F) be bounded linear,double splitting,Fredholm,semi-Frdholm and finite rank operators from E into F,respectively. Let Σ be any one of the following sets:{T ∈Φ(E,F):Index T=constant and dim N(T)=constant},{T ∈ SΦ(E,F):either dim N(T)=constant< ∞ or codim R(T)=constant< ∞} and {T ∈ R(E,F):Rank T=constant< ∞}. Then it is known that Σ is a smooth submanifold of B(E,F) with the tangent space TAΣ={B ∈ B(E,F):BN(A)-R(A) } for any A ∈Σ. However,for ...     

On Π-Supplemented Subgroups of a Finite Group

A subgroup H of a finite group G is said to satisfy Π-property in G if for every chief factor L/K of G, |G/K: N_G/K(HK/K ∩ L/K)| is a π(HK/K ∩ L/K)-number. A subgroup H of G is called Π-supplemented in G if there exists a subgroup T of G such that G = HT and H ∩ T ≤ I ≤ H, where I satisfies Π-property in G. In this article, we investigate the structure of a finite group G under the assumption that some primary subgroups of G are Π-supplemented in G. The main result we proved improves a large number of earlier results.     

Decomposer and associative functional equations

In the previous researches [2,3] b-integer and b-decimal parts of real numbers were introduced and studied by M.H. Hooshmand. The b-parts real functions have many interesting number theoretic explanations, analytic and algebraic properties, and satisfy the functional equation f (f(x) + y - f(y)) = f(x). These functions have led him to a more general topic in semigroups and groups (even in an arbitrary set with a binary operation [4] and the following functional equations have been introduced: Associative equations:

f(xf(yz))=f(f(xy)z),f(xf(yz))=f(f(xy)z)=f(xyz)