Subdirectly Irreducible Double Demi-p-Lattices

The aim of this paper is to give a characterization of the (finitely) subdirectly irreducible double demi-p-lattices. First, we prove a congruence representation theorem for double demi-p-lattices, which is a natural analogue of the theorem given in [2] for double p-algebras. These results are inspired by the representation theorem given by Lakser [6] for p-algebras, and yield a natural approach to the study of subdirectly irreducible algebras.     

Weak complemented and weak invertible elements in <Emphasis Type="Italic">C</Emphasis>-lattices

In this paper, we prove that an indecomposable M-lattice is either a principal element domain or a special principal element lattice. Next, we introduce weak complemented elements and characterize reduced M-lattices in terms of weak complemented elements. We also study weak invertible elements and locally weak invertible elements in C-lattices and characterize reduced Prüfer lattices, WI-lattices, reduced almost principal element lattices, and reduced principal element lattices in terms of locally weak invertible elements.     

On a Problem of Fabrykowski and Subbarao Concerning Quasi Multiplicative Functions Satisfying a Congruence Property

It follows from our result that if a quasi multiplicative function f satisfies the congruence f(n + p) f(n) (mod p) for all positive integers n and for all sufficiently large primes p, then there is a non-negative integer such that f(n) = n holds for all positive integers n. In particular, this gives an answer to the conjecture of Fabrykowski and Subbarao.     

Some Finiteness Results in the Representation Theory of Isometry Groups of Regular Trees

Let G denote the isometry group of a regular tree of degree ≥3. The notion of congruence subgroup is introduced and finite generation of the congruence Hecke algebras is proven. Let U be congruence subgroup and (G; U) be the category of smooth representations of G generated by their U-fixed vectors. We also show that this subcategory is closed under taking subquotients. All these results are analogues of well-known results in the case of p-adic groups. It is also shown that the category of admissible representation of G is Noetherian in the sense that every subrepresentation of a finitely generated admissible representation is again finitely generated. Since we want to emphesize the similarities between these groups and p-adic groups, we give the same proofs which also work in the p-adic case whenever possible.     

Liftings of distributive lattices by locally matricial algebras with respect to the Id c functor

We study representations of distributive -lattices, considered as join-semilattices, by semilattices of finitely generated two-sided ideals of locally matricial algebras over a field k, aiming to find a functorial solution of the problem. We find simple examples of a finite subcategory of the category Ld of distributive -lattices and of a subcategory of L_d corresponding to a partially ordered class which cannot be lifted with respect to the Id_c functor. On the other hand, we prove that there is such a lifting of every diagram in L_d or of a subcategory L_d1 of L_d whose objects are all distributive -lattices and whose morphisms are -embeddings. This paper is dedicated to Walter Taylor. Received February 8, 2005; accepted in final form August 11, 2005. The work is a part of the research project MSM 0021620839 financed by MSMT and partly supported by INTAS project 03-51-4110, the grant GAUK 448/2004/B-MAT, and the post-doctoral grant GAČR 201/03/P140.     

Representation of a class of locally convex (M)-lattices

We prove a representation theorem for Hausdorff locally convex (M)-lattices which are Dedekind σ-complete, and whose topologies are order σ-continuous and monotonically complete. These turn out to be the weighted spaces c₀(T, H), defined in the paper for T ≠ and H ^T₊. We also characterize the dual of c₀(T, H), as the space l¹ (T, H) defined in the last section. The known representation (on c₀(T)) of Banach (M)-lattices with order continuous norm follows as a particular case. We obtain these results by first proving a new general isomorphism theorem, which seems to be of independent interest. Our notion of “monotonic topological completeness” is weaker than the usual completeness and seems to be very convenient in the framework of topological ordered vector spaces.     

Compact sets in the spaceL p (O,T; B)

Summary A characterization of compact sets in L^p (0, T; B) is given, where 1P and B is a Banach space. For the existence of solutions in nonlinear boundary value problems by the compactness method, the point is to obtain compactness in a space L^p (0,T; B) from estimates with values in some spaces X, Y or B where XBY with compact imbedding XB. Using the present characterization for this kind of situations, sufficient conditions for compactness are given with optimal parameters. As an example, it is proved that if {f_n} is bounded in L^q(0,T; B) and in L _loc ¹ (0, T; X) and if {f_n/t} is bounded in L _loc ¹ (0, T; Y) then {f_n} is relatively compact in L^p(0,T; B), p相似文献   

Convergence of Double Walsh-Fourier Series and Hardy Spaces

It is proved that the maximal operator of the Marczinkiewicz-Fejér meams of a double Walsh-Fourier series is bounded from the two-dimensional dyadic martingale Hardy space H _p to L _p (2/3<p<) and is of weak type (1,1). As a consequence we obtain that the Marczinkiewicz-Fejér means of a function fL ₁ converge a.e. to the function in question. Moreover, we prove that these means are uniformly bounded on H _p whenever 2/3<p<. Thus, in case fH _p , the Marczinkiewicz-Fejér means conv f in H _p norm. The same results are proved for the conjugate means, too.     

On congruences on \mathcal{T} -regular semigroups

A nontrivial regular semigroup S with zero in which every interval of idempotents is a finite chain is said to be -regular. The structure of these semigroups is described in terms of trees of completely 0-simple semigroups. For S in this form, we study congruences which we express in terms of congruence aggregates. We determine the inclusion relation, meet and join of congruences, their kernel and trace, and the ends of the intervals which form their classes. We characterize those S for which the kernel relation on the congruence lattice is a congruence, and those for which the operators and are homomorphisms.     

Galois Theory for the Selmer Group of an Abelian Variety

This paper concerns the Galois theoretic behavior of the p-primary subgroup Sel _A (F) _p of the Selmer group for an Abelian variety A defined over a number field F in an extension K/F such that the Galois group G(K/F) is a p-adic Lie group. Here p is any prime such that A has potentially good, ordinary reduction at all primes of F lying above p. The principal results concern the kernel and the cokernel of the natural map s _K/F Sel _A (F) _p Sel _A (K) _p ^G(K/F) where F is any finite extension of F contained in K. Under various hypotheses on the extension K/F, it is proved that the kernel and cokernel are finite. More precise results about their structure are also obtained. The results are generalizations of theorems of B.Mazurand M. Harris.     

Congruence of symmetric matrices over local rings

Let R be a commutative, local, and principal ideal ring with maximal ideal and residue class field F. Suppose that every element of is square. Then the problem of classifying arbitrary symmetric matrices over R by congruence naturally reduces, and is actually equivalent to, the problem of classifying invertible symmetric matrices over F by congruence.     

The Group Ring of SL2(p) over p-adic Integers for p Odd

Let p > 2 be a prime, R =  _p[ζ_p^f − 1], K =  _p[ζ_p^f − 1], and G = SL₂(p^f). The group ring RG is calculated nearly up to Morita equivalence: The projections of RG into the simple components of KG are given explicitly and the endomorphism rings and homomorphism bimodules between the projective indecomposable RG-lattices are described.     

Clean triangulations

A polyhedron on a surface is called a clean triangulation if each face is a triangle and each triangle is a face. LetS _p (resp.N _p ) be the closed orientable (resp. nonorlentable) surface of genusp. If (S) is the smallest possible number of triangles in a clean triangulation ofS, the results are: (N ₁)=20, (S ₁)=24, lim(S _p )p ^–1=4, lim(N _p )p ^–1=2 forp.     

Congruence lattices ofp-algebras

T. Kartriák proved the following theorem:Every finite distributive lattice is the congruence lattice of a finite p-algebra. We provide a short proof, and a generalization, of this result.Presented by J. Berman.The research of the first author was supported by the NSERC of Canada.The research of the second author was supported by the Hungarian National Foundation for Scientific Research, under Grant No. 1903.     

A Remark on Support of the Principal Function for Class A Operators

Let be an invertible class A operator such that . Then we show that , where gT is the principal function of T. Moreover, we show that if T is pure, then .     

Correspondences between constituents of projective characters

Let G be a finite p-solvable group. Let P ∈ Syl _p (G) and N = N _G (P). We prove that there exists a natural bijection between the irreducible constituents of p′-degree of the principal projective character of G and those of . Received: 2 May 2007, Revised: 17 September 2007     

Function spacesW 1,p,BV,N α, p characterized by the motions of ℝ n

We characterize the Sobolev spaces W^1,p(ⁿ) (p]1,+]), the space BV(ⁿ) of functions of bounded variation, the Nikol'skij spacesN ^p (R ⁿ =B _p (R ⁿ ) (p [1, + [, ]0,1[).This research was partially supported by M.U.R.S.T.     

Extension of plurisubharmonic currents

Let A be a closed subset of an open subset of ⁿ and T be a negative current on \ A of bidimension (p,p). Assume that T is psh and A is complete pluripolar such that the Hausdorff measure , then T extends to a negative psh current on . We also show that if T is psh or if dd ^cT extends to a current with locally finite mass on , then the trivial extension of T by zero across A exists in both cases: A is the zero set of a k–convex function with kp–1 or . Our basic tool is the following theorem [El3]: Let A be a closed complete pluripolar subset of an open subset of ⁿ and T be a positive current of bidimension (p,p) on \ A. Suppose that and exist (resp. exists and dd ^cT 0 on \ A), then there exists a positive (resp. closed positive) current S supported in A such that . Furthermore, we give a generalization of some theorems done by Siu and Ben Messaoud-El Mir and Alessandrini-Bassanelli without requiring anything from dT.     

Primary elements in Prüfer lattices

In this paper we study primary elements in Prüfer lattices and characterize -lattices in terms of Prüfer lattices. Next we study weak ZPI-lattices and characterize almost principal element lattices and principal element lattices in terms of ZPI-lattices.     

A partial ordering of some of the elements of Algol

Them _Algol productions of Algol are of the formX _p0 ::=X _p1 X _p2 ...X _{pn p} , where 1pm _Algol, 1n _p,X _p0 is a defined type andX _pj, 1jn _p is either a defined type or a basic symbol or possibly, representing the empty string ifn _p=1 [1]. A partial ordering of that subset of Algol's basic symbols and defined types which for somep are eitherX _p0 orX _p1 is exhibited. This ordering is of interest in implementing the syntax-oriented translator described by Ingerman.