SUPERCATEGORIES OF THE CATEGORY OF NEARNESS SPACES

Abstract

The framework in which nearness spaces were defined by H. Herrlich [1] and [2], leads one to consider the supercategory Pow of the category Near of nearness spaces, having as objects all pairs (X,ξ), where X is a set and ξ ? P(P(X)) is any subset of the power set of the power set of X, and as morphisms f: (X,ξ) → (Y,n) all functions f: X → Y such that, if A ? ξ then fA □ {f(A) | A ξ A} ? η. In this paper we show that the full subcategories of Pow comprising the objects satisfying subsets of the prenearness space axioms lie in a lattice of bireflections or bicoreflections. This serves as a first step towards the aim of characterizing all bireflective (resp. bicoreflective) and even all initially complete subcategories of Pow.     

Large orbits of elements centralized by a Sylow subgroup

If G has a nilpotent normal p-complement and V is a finite, faithful and completely reducible G-module of characteristic p, we prove that there exist ${v_1, v_2 \in V}If G has a nilpotent normal p-complement and V is a finite, faithful and completely reducible G-module of characteristic p, we prove that there exist v₁, v₂ ? V{v_1, v_2 \in V} such that C_G(v₁)?C_G(v₂) = P{{\bf C}_{G}{(v_1)}\cap {\bf C}_{G}{(v_2)} = P} , where P ? Syl_p(G){P \in {\rm Syl}_p(G)} . We hence deduce that, if the normal p-complement K is nontrivial, there exists v ? C_V(P){v \in {\bf C}_{V}(P)} such that |K : C _K (v)|² > |K|.     

A Hilbert Transform for Matrix Functions on Fractal Domains

We consider H?lder continuous circulant (2 × 2) matrix functions G¹₂{{\bf G}^1_2} defined on the fractal boundary Γ of a Jordan domain Ω in \mathbbR²ⁿ{\mathbb{R}^{2n}}. The main goal is to establish a Hilbert transform for such functions, within the framework of Hermitian Clifford analysis. This is a higher dimensional function theory centered around the simultaneous null solutions of two first order vector valued differential operators, called Hermitian Dirac operators. In Brackx et al. (Bull Braz Math Soc 40(3): 395–416, 2009) a Hermitian Cauchy integral was constructed by means of a matrix approach using circulant (2 × 2) matrix functions, from which a Hilbert transform was derived in Brackx et al. (J Math Anal Appl 344: 1068–1078, 2008) for the case of domains with smooth boundary. However, crucial parts of the method are not extendable to the case where the boundary of the considered domain is fractal. At present we propose an alternative approach which will enable us to define a new Hermitian Hilbert transform in that case. As a consequence, we give necessary and sufficient conditions for the Hermitian monogenicity of a circulant matrix function G¹₂{{\bf G}^1_2} in the interior and exterior of Ω, in terms of its boundary value g¹₂=G¹₂|_G{{\bf g}^1_2={\bf G}^1_2|_\Gamma}, extending in this way also results of Abreu Blaya et al. (Bound. Value Probl. 2008: 2008) (article ID 425256), (article ID 385874), where Γ is required to be Ahlfors–David regular.     

Factorization of mappings of topological spaces and homomorphisms of topological groups in accordance with weight and dimension ind

Symbols w(X), nw(X), and hl(X) denote the weight, the network weight, and the hereditary Lindelöf number of a space X, respectively. We prove the following factorization theorems.

1. Let X and Y be Tychonoff spaces, φ: X→Y a continuous mapping, hl(X)≤τ, and w(Y)≤τ. Then there exist a Tychonoff space Z and continuous mappings ψ: X→Z, χ: Z→Y such that φ=χ o ψ, Z=ψ(X), w(Z)≤τ andind Z≤ind X. Moreover, if nw(X)≤τ, then mapping ψ is one-to-one.
2. Let π: G→H be a continuous homomorphism of a Hausdorff topological group G to a Hausdorff topological group H, hl(G)≤τ and w(H)≤τ. Then there are a Hausdorff topological group G^* and continuous homomorphisms g: G→G^*, h: G^*→H so that π=h o g, G^*=g(G), w(G^*)≤τ andind G^*≤ind G. If nw(G)≤τ, then g is one-to-one.
3. For every continuous mapping φ: X→Y of a regular Lindelöf space X to a Tychonoff space Y one can find a Tychonoff space Z and continuous mappings ψ: X→Z, χ: Z→Y such that φ=χ o ψ, Z=ψ(X), w(Z)≤w(Y),dim Z≤dim X, andind ₀ Z≤ind ₀ X, whereind ₀ is the dimension function defined by V.V.Filippov with the help of G_δ-partitions. If we additionally suppose that X has a countable network, then ψ can be chosen to be one-to-one. The analogous result also holds for topological groups.
4. For each continuous homomorphism π: G→H of a Hausdorff Lindelöf Σ-group G (in particular, of a σ-compact group G) to a Hausdorff group H there exist a Hausdorff group G^* and continuous homomorphisms g: G→G^*, h:G^*→H so that π=h o g, G^*=g(G), w(G^*)≤w(H),dimG^*≤dimG, andind G^*≤ind G. Bibliography: 25 titles.

     

Generalization for Laplacian energy

Let G be a simple graph with n vertices and m edges. Let λ1, λ2,…, λn, be the adjacency spectrum of G, and let μ1, μ2,…, μn be the Laplacian spectrum of G. The energy of G is E（G） = n∑i=1｜λi｜, while the Laplacian energy of G is defined as LE（G） = n∑i=1｜μi-2m/n｜ Let γ1, γ2, ~ …, γn be the eigenvalues of Hermite matrix A. The energy of Hermite matrix as HE（A） = n∑i=1｜γi-tr（A）/n｜ is defined and investigated in this paper. It is a natural generalization of E（G） and LE（G）. Thus all properties about energy in unity can be handled by HE（A）.     

Rigid extensions of algebraic frames

An extension G ≤ H of lattice-ordered groups is said to be a rigid extension if for each ${h \in H}An extension G ≤ H of lattice-ordered groups is said to be a rigid extension if for each h ? H{h \in H} there exists a g ? G{g \in G} such that h ^⊥⊥ = g ^⊥⊥. In this paper, we will define rigid extensions and some other generalizations in the context of algebraic frames satisfying the FIP. One of the main results is a characterization of rigid extensions using d-elements of the frame. We also show that a rigid extension between two algebraic frames satisfying the FIP will induce a homeomorphism between their corresponding minimal prime spaces with respect to both the hull-kernel topology and the inverse topology. Moreover, basic open sets map to basic open sets.     

Movement of Intransitive Permutation Groups Having Maximum Degree

Let G be a permutation group on a set Ω with no fixed points in,and m be a positive integer.Then the movement of G is defined as move(G):=sup Γ {|Γg\Γ| | g ∈ G}.It was shown by Praeger that if move(G) = m,then |Ω| 3m + t-1,where t is the number of G-orbits on.In this paper,all intransitive permutation groups with degree 3m+t-1 which have maximum bound are classified.Indeed,a positive answer to her question that whether the upper bound |Ω| = 3m + t-1 for |Ω| is sharp for every t > 1 is given.     

An Introduction to Closed/Open Neighborhood Sums: Minimax, Maximin, and Spread

For a graph G of order |V(G)| = n and a real-valued mapping f:V(G)?\mathbbR{f:V(G)\rightarrow\mathbb{R}}, if S ì V(G){S\subset V(G)} then f(S)=?_{w ? S} f(w){f(S)=\sum_{w\in S} f(w)} is called the weight of S under f. The closed (respectively, open) neighborhood sum of f is the maximum weight of a closed (respectively, open) neighborhood under f, that is, NS[f]=max{f(N[v])|v ? V(G)}{NS[f]={\rm max}\{f(N[v])|v \in V(G)\}} and NS(f)=max{f(N(v))|v ? V(G)}{NS(f)={\rm max}\{f(N(v))|v \in V(G)\}}. The closed (respectively, open) lower neighborhood sum of f is the minimum weight of a closed (respectively, open) neighborhood under f, that is, NS^-[f]=min{f(N[v])|v ? V(G)}{NS^{-}[f]={\rm min}\{f(N[v])|v\in V(G)\}} and NS^-(f)=min{f(N(v))|v ? V(G)}{NS^{-}(f)={\rm min}\{f(N(v))|v\in V(G)\}}. For W ì \mathbbR{W\subset \mathbb{R}}, the closed and open neighborhood sum parameters are NS_W[G]=min{NS[f]|f:V(G)? W{NS_W[G]={\rm min}\{NS[f]|f:V(G)\rightarrow W} is a bijection} and NS_W(G)=min{NS(f)|f:V(G)? W{NS_W(G)={\rm min}\{NS(f)|f:V(G)\rightarrow W} is a bijection}. The lower neighbor sum parameters are NS^-_W[G]=maxNS^-[f]|f:V(G)? W{NS^{-}_W[G]={\rm max}NS^{-}[f]|f:V(G)\rightarrow W} is a bijection} and NS^-_W(G)=maxNS^-(f)|f:V(G)? W{NS^{-}_W(G)={\rm max}NS^{-}(f)|f:V(G)\rightarrow W} is a bijection}. For bijections f:V(G)? {1,2,?,n}{f:V(G)\rightarrow \{1,2,\ldots,n\}} we consider the parameters NS[G], NS(G), NS ⁻[G] and NS ⁻(G), as well as two parameters minimizing the maximum difference in neighborhood sums.     

Lower bounds on the number of maximal subgroups in a finite group

For a finite group G, let m(G) denote the set of maximal subgroups of G and π(G) denote the set of primes which divide |G|. When G is a cyclic group, an elementary calculation proves that |m(G)| = |π(G)|. In this paper, we prove lower bounds on |m(G)| when G is not cyclic. In general, ${|m(G)| \geq |\pi(G)|+p}$ | m ( G ) | ≥ | π ( G ) | + p , where ${p \in \pi(G)}$ p ∈ π ( G ) is the smallest prime that divides |G|. If G has a noncyclic Sylow subgroup and ${q \in \pi(G)}$ q ∈ π ( G ) is the smallest prime such that ${Q \in {\rm syl}_q(G)}$ Q ∈ syl q ( G ) is noncyclic, then ${|m(G)| \geq |\pi(G)|+q}$ | m ( G ) | ≥ | π ( G ) | + q . Both lower bounds are best possible.     

An explicit growth condition for middle-degree cuspidal cohomology of arithmetically defined quaternionic hyperbolic n-manifolds

Let G/\mathbb Q{G/\mathbb Q} be the simple algebraic group Sp(n, 1) and G = G(N){\Gamma=\Gamma(N)} a principal congruence subgroup of level N ≥ 3. Denote by K a maximal compact subgroup of the real Lie group G(\mathbb R){G(\mathbb R)} . Then a double quotient G\G(\mathbb R)/K{\Gamma\backslash G(\mathbb R)/K} is called an arithmetically defined, quaternionic hyperbolic n-manifold. In this paper we give an explicit growth condition for the dimension of cuspidal cohomology H²ⁿ_cusp(G\G(\mathbb R)/K,E){H^{2n}_{cusp}(\Gamma\backslash G(\mathbb R)/K,E)} in terms of the underlying arithmetic structure of G and certain values of zeta-functions. These results rely on the work of Arakawa (Automorphic Forms of Several Variables: Taniguchi Symposium, Katata, 1983, eds. I. Satake and Y. Morita (Birkh?user, Boston), pp. 1–48, 1984).     

Distinguishing Cartesian powers of graphs

The distinguishing number D(G) of a graph is the least integer d such that there is a d‐labeling of the vertices of G that is not preserved by any nontrivial automorphism of G. We show that the distinguishing number of the square and higher powers of a connected graph G ≠ K₂, K₃ with respect to the Cartesian product is 2. This result strengthens results of Albertson [Electron J Combin, 12 ( 1 ), #N17] on powers of prime graphs, and results of Klav?ar and Zhu [Eu J Combin, to appear]. More generally, we also prove that d(G □ H) = 2 if G and H are relatively prime and |H| ≤ |G| < 2^|H| ? |H|. Under additional conditions similar results hold for powers of graphs with respect to the strong and the direct product. © 2006 Wiley Periodicals, Inc. J Graph Theory 53: 250–260, 2006     

On the index of elliptic partial differential operators inR n

Summary Let A= be an elliptic differential operator inR _u, If, for |α|=l, the coefficients a_α are ? nearly constant ? and, for |α|<l, they tend to zero at infinity with a certain swiftness, it is proved that A is a Fredholm operator with index_x(A)=0 between a suitable weighted Sobolev space M contained in W^l,p (R n) and L^p(R ⁿ, (1+|x|)^lp)== . It is shown, by counterexamples, that the above result, holds only if n>l, p>n/(n−l) and that isomorphism results can be obtained, in general only if the coefficients a_α(|α|<l) are assumed to be ? sufficiently small ? also on compact sets. Then a Sturm-Liouville type problem is studied and a class of negative and falling off at infinity potentials V(x) is constructed in such a way that the Schr?dinger operator H=−Δ+V(x), in L²(R ⁿ), has a zero eigenvalue.

---

Sunto Sia un operatore differenziale ellittico inR ⁿ. Se, per |α|=l, i coefficienti a_α sono ? quasi costanti ? e, per |α|<l, tendono a zero all'infinito con una certa rapidità, si dimostra che A è un operatore di Fredholm con indice_X(A)=0 tra un opportuno spazio di Sobolev con peso M contenuto in W^l,p(R ⁿ) ed L^p(R ⁿ, (1+|x|)^lp)== . Si prova, mediante controesempi, che tale risultato è valido solo se n>l, p>n/(n−l) e che teoremi di isomorfismo si possono ottenere, in generale, solo se si assume che i coefficienti a_α (|α|<l) sono ? sufficientemente piccoli ? anche su insiemi compatti. Si studia quindi un problema del tipo Sturm-Liouville e si costruisce una classe di potenziali V(x) negativi e convergenti a zero all'infinito, tali che l'operatore di Schr?dinger H=−δ+V(x) in L²(R ⁿ) abbia un autovalore nullo.

---

---

Entrata in Redazione il 10 agosto 1977.

---

Work supported by C.N.R. (G.N.A.F.A.).     

Some remarks on the moments of \left| {\varsigma \left( {\tfrac{1} {2} + it} \right)} \right| in short intervals

Some new results on power moments of the integral $$ J_k (t,G) = \frac{1} {{\sqrt {\pi G} }}\int_{ - \infty }^\infty { \left| {\varsigma \left( {\tfrac{1} {2} + it + iu} \right)} \right|^{2k} } e^{ - (u/G)^2 } du $$ (t ? T, T ^? ≦ G ? T, κ ∈ N) are obtained when κ = 1. These results can be used to derive bounds for moments of $ \left| {\varsigma \left( {\tfrac{1} {2} + it} \right)} \right| $ .     

Estimates of the Green’s Functions for the Elasto-static Equations and Stokes Equations in a Three Dimensional Lipschitz Domain

In this paper, we study a Green’s functions G ^E , G ^S for an elasto-static equations and Stokes equations in a three-dimensional bounded Lipschitz domain Ω. We prove that there is a positive constant c > 0 depending on the Lipschitz constant such that for all . Furthermore, we show that there is a positive constant η ∈ (0,1) depending on the Lipschitz constant such that for all . The second author is partially supported by Korea Research Foundation Grant KRF C-00005.     

Semistability and finite maps

Let ${f : Y \longrightarrow M}Let f : Y ? M{f : Y \longrightarrow M} be a surjective holomorphic map between compact connected K?hler manifolds such that each fiber of f is a finite subset of Y. Let ω be a K?hler form on M. Using a criterion of Demailly and Paun (Ann. Math. 159 (2004), 1247–1274) it follows that the form f*ω represents a K?hler class. Using this we prove that for any semistable sheaf E ? M{E\, \longrightarrow\,M} , the pullback f*E is also semistable. Furthermore, f*E is shown to be polystable provided E is reflexive and polystable. These results remain valid for principal bundles on M and also for Higgs G-sheaves.     

THE NUMBER AND SIZE OF ORBITS OF SOME PERMUTATION GROUPS

Abstract

It is shown that Aut ?, the group of homeomorphisms of the rational numbers with the usual topology, has 2 ^N_o orbits on the power set P(?). We call S ? ? a moiety if S and its complement in ? are infinite. It is shown that the orbit of any moiety S under Aut ? has cardinality 2^N_o while the orbit of S under Aut(?, ≤), the group of order preserving automorphisms of ?, has cardinality N_o if and only if S is a finite union of disjoint rational intervals with rational endpoints.     

Two inverse results

Let A be a finite subset of a group G ₀ with |A ^?1 A|≤2|A?2. We show that there are an element α∈A and a non-null proper subgroup H of G such that one of the following holds:

• x ^?1 Hy?A ^?1 A, for all x,y∈A not both in Hα
• x Hy ^?1?AA ^?1, for all x,y∈A not both in αH

where G is the subgroup generated by A ^?1 A. Assuming that A ^?1 A≠G and that $\left| {A^{ - 1} A} \right| < \tfrac{{5|A|}} {3} $ , we show that there are a normal subgroup K of G and a subgroup H with K?H?A ^?1 A and 2|K|≥|H| such that $A^{ - 1} AK = KA^{ - 1} A = A^{ - 1} Aand6|K| \geqslant |A^{ - 1} A| = 3|H|$ .     

On Bernstein–Walsh-type lemmas in regions of the complex plane

Let G ì \mathbb C G \subset {\mathbb C} be a finite region bounded by a Jordan curve L: = ?G L: = \partial G , let W: = \textext[`(G)] \Omega : = {\text{ext}}\bar{G} (with respect to [`(\mathbb C)] {\overline {\mathbb C}} ), $ \Delta : = \left\{ {z:\left| z \right| > 1} \right\} $ \Delta : = \left\{ {z:\left| z \right| > 1} \right\} , and let w = F(z) w = \Phi (z) be a univalent conformal mapping of Ω onto Δ normalized by $ \Phi \left( \infty \right) = \infty, \;\Phi '\left( \infty \right) > 0 $ \Phi \left( \infty \right) = \infty, \;\Phi '\left( \infty \right) > 0 . By A _p (G); p > 0; we denote a class of functions f analytic in G and satisfying the condition

On reconstructing separable reducedp-groups with a given socle

Let \(\bar B^* \) be a separable reduced (abelian)p-group which is torsion complete. We ask whether for \(G \subseteq \bar B^* \) there is \(H \subseteq _{pr} \bar B^* ,H[p] = G[p]\) ,H[p]=G[p],H not isomorphic toG. IfG is the sum of cyclic groups or is torsion complete, the answer is easily no. For otherG, we prove that the answer is yes assuming G.C.H. Even without G.C.H. the answer is yes if the density character ofG is equal to Min _n<ω|p ⁿG|, i.e., $$\mathop {Min}\limits_{n< \omega } |p^n G| = \mathop {Min}\limits_m \mathop \Sigma \limits_{n > m} |(p^n G)[p]/(p^{n + 1} G)[p]|$$ Of course, instead of two non-isomorphic we can get many, but we do not deal much with this.     

THE LARGEST NON-TRIVIAL TORSION CLASS OF MODULES

ABSTRACT

In this paper we investigate the following two classes of left R-modules: N(P) ={A|A has no non-zero direct summand P ε P} and H(p) = {A} if B ? A with B ε N(P), then B = 0}, where P is a class of projective R-modules. We demonstrate that N(p) is, in general, not a torsion class but that H(P) is always a torsionfree class. We also investigate those classes P and rings R for which N(P) is the largest non-trivial torsion class of R-modules.