Finite Generalized Tetrahedron Groups with a High-Power Relator

An ordinary tetrahedron group is a group with a presentati on of the form

Lower functions for asymmetric Lévy processes

Summary Let {X _t } be a ¹ process with stationary independent increments and its Lévy measurev be given byv{yy>x}=x ^–L ₁ (x), v{yy<–x}=x ^–L ₂ (x) whereL ₁,L ₂ are slowly varying at 0 and and 0<1. We construct two types of a nondecreasing functionh(t) depending on 0<<1 or =1 such that lim inf a.s. ast 0 andt for some positive finite constantC.This research is partialy supported by a grant from Korea University     

On Plane Maximal Curves

The number N of rational points on an algebraic curve of genus g over a finite field satisfies the Hasse–Weil bound . A curve that attains this bound is called maximal. With and , it is known that maximalcurves have . Maximal curves with have been characterized up to isomorphism. A natural genus to be studied is and for this genus there are two non-isomorphic maximal curves known when . Here, a maximal curve with genus g ₂ and a non-singular plane model is characterized as a Fermat curve of degree .     

Generalized Harish-Chandra Modules: A New Direction in the Structure Theory of Representations

Let be a reductive Lie algebra over C. We say that a -module M is a generalized Harish-Chandra module if, for some subalgebra , M is locally -finite and has finite -multiplicities. We believe that the problem of classifying all irreducible generalized Harish-Chandra modules could be tractable. In this paper, we review the recent success with the case when is a Cartan subalgebra. We also review the recent determination of which reductive in subalgebras are essential to a classification. Finally, we present in detail the emerging picture for the case when is a principal 3-dimensional subalgebra.     

On the Normal Order of ϕk+1(n)/ϕk(n), where ϕk is the k-Fold Iterate of Euler's Function

Let be the j-fold iterated function of . Let and > 0 be fixed, Q be a prime, and let N _k(Q|x) denote the number of those nx for which Q . We give the asymptotics of N _k(Q|x) in the range .     

The type set for some measures on \mathbb{R}^{2n} with n-dimensional support

Let be realhomogeneous functions in ofdegree and let bethe Borel measure on given by

A classification of martingale Hardy spaces associated with rearrangement-invariant function spaces

Let X be a rearrangement-invariant Banach function space over a complete probability space , and denote by the Hardy space consisting of all martingales such that . We prove that implies for any filtration if and only if Doobs inequality holds in X, where denotes the martingale defined by , n = 0, 1, 2, ..., and a.s.Received: 1 August 2000     

A Change-of-Variable Formula with Local Time on Curves

Let be a continuous semimartingale and let be a continuous function of bounded variation. Setting and suppose that a continuous function is given such that F is C^1,2 on and F is on . Then the following change-of-variable formula holds: where is the local time of X at the curve b given by and refers to the integration with respect to . A version of the same formula derived for an Itô diffusion X under weaker conditions on F has found applications in free-boundary problems of optimal stopping.     

Limiting Laws for Entrance Times of Critical Mappings of a Circle

A renormalization group transformation R ₁ has a single stable point in the space of the analytic circle homeomorphisms with a single cubic critical point and with the rotation number (the golden mean). Let a homeomorphism T be the C ¹-conjugate of . We let denote the sequence of distribution functions of the time of the kth entrance to the nth renormalization interval for the homeomorphism T. We prove that for any , the sequence has a finite limiting distribution function , which is continuous in , and singular on the interval [0,1]. We also study the sequence for k>1.     

A Necessary and Sufficient Condition for the Existence of Some Ternary [n, k, d] Codes Meeting the Greismer Bound

Let k and d be any integers such that k 4 and . Then there exist two integers and in {0,1,2} such that . The purpose of this paper is to prove that (1) in the case k 5 and (,) = (0,1), there exists a ternary code meeting the Griesmer bound if and only if and (2) in the case k 4 and (,) = (0,2) or (1,1), there is no ternary code meeting the Griesmer bound for any integers k and d and (3) in the case k 5 and , there is no projective ternary code for any integers k and such that 1k-3, where and for any integer i 0. In the special case k=6, it follows from (1) that there is no ternary linear code with parameters [233,6,154] , [234,6,155] or [237,6,157] which are new results.     

On the Lipschitz Constant for a Nonisometric Bi-Lipschitz Transformation of a Cantor Set

A bi-Lipschitz continuous mapping of a space X is a bijection such that , where . We write if f is a Lipschitz (bi-Lipschitz) mapping of X into itself and denote by the set of all bi-Lipschitz mappings of X that are not isometry. Thus, if and blip . For X we consider a standard Cantor set K on the real line (with standard metric). The main result of this paper is formulated as follows: where Bibliography: 2 titles.     

On the Spectrum of Degenerate Operator Equations

We study the distribution in the complex plane of the spectrum of the operator , generated by the closure in of the operation originally defined on smooth functions with values in a Hilbert space satisfying the Dirichlet conditions . Here and A is a model operator acting in . Criterial conditions on the parameter for the eigenfunctions of the operator to form a complete and minimal system as well as a Riesz basis in the Hilbert space H are given.     

Generalized Quasi-Variational Inequalities Without Continuities

Given a nonempty set and two multifunctions , we consider the following generalized quasi-variational inequality problem associated with X, : Find such that . We prove several existence results in which the multifunction is not supposed to have any continuity property. Among others, we extend the results obtained in Ref. 1 for the case (x(X.     

On the existence of value in the Varaiya-Lin sense in differential games of pursuit and evasion

This paper is strictly related to Ref. 1. A pursuit-evasion game described in part by the system and is considered. The state variablesx andy are restricted, in the sense that (x(t),t) N ₁ and (y(t),t) N ₂. The existence of a value in the sense of Varaiya and Lin is proved under the assumption that the sets of all admissible trajectories for the two players are compact and the lower value is not greater than the upper value.     

Simultaneous Extensions of Topologies Through Traces of Neighbourhood Filters

Let X be a set, X _i X for i I and, for x X, a filter in X _i. The paper gives necessary and sufficient conditions for the existence of a topology on X compatible with , i.e. such that is the trace on X _i of the -neighbourhood filter of x. It is shown that, among these compatible topologies,there are always a coarsest one and a finest one. Some applications are also given.     

An Elementary Approach to Quasi-Isometries of Tree x ℝ n

We prove by elementary means a regularity theorem for quasi-isometries of T x ⁿ (where T denotes an infinite tree), and of many other metric spaces with similar combinatorial properties, e.g. Cayley graphs of Baumslag–Solitar groups. For quasi-isometries of T x ⁿ, it states that the image of {x} x ⁿ (xT) is uniformly close to {y} x ⁿ for some yT, and there is a well-defined surjection . Even stronger, the image of a quasi-isometric embedding of ⁿ⁺¹ in T x ⁿ is close to (a geodesic in T)T)x ⁿ.     

Commutator Subgroups of the Extended Hecke Groups \bar H(\lambda _q )

Hecke groups H(_q) are the discrete subgroups of generated by S(z) = –(z+ _q)^–1and T(z) = –1/z. The commutator subgroup of H(_q), denoted by H(_q), is studied in [2]. It was shown that H(_q) is a free group of rank q– 1.Here the extended Hecke groups obtained by adjoining to the generators of H(_q) are considered. The commutator subgroup of is shown to be a free product of two finite cyclic groups. Also it is interesting to note that while in the H(_q) case, the index of H(_q) is changed by q, in the case of this number is either 4 for qodd or 8 for qeven.     

The Boundary Equivalence for Rings and Matrix Rings over Them

We study into the question of whether some rings and their associated matrix rings have equal decidability boundaries in the scheme and scheme-alternative hierarchies. Let be a decidability boundary for an algebraic system A; w.r.t. the hierarchy H. For a ring R, denote by an algebra with universe . On this algebra, define the operations + and in such a way as to extend, if necessary, the initial matrices by suitably many zero rows and columns added to the underside and to the right of each matrix, followed by ordinary addition and multiplication of the matrices obtained. The main results are collected in Theorems 1-3. Theorem 1 holds that if R is a division or an integral ring, and R has zero or odd characteristic, then the equalities hold for any n1. And if R is an arbitrary associative ring with identity then for any n 1 and i,j { 1,..., n}, where e _ij is a matrix identity. Theorem 2 maintains that if R is an associative ring with identity then . Theorem 3 proves that for any n 1.     

Levi Classes Generated by Nilpotent Groups

Let be a class of all groups G for which the normal closure (x) ^G of every element x belongs to a class . is a Levi class generated by . Let and ₀ be classes of finitely generated nilpotent groups and of torsion-free, finitely generated, nilpotent groups, respectively. We prove that and , and so and . It is shown that quasivarieties and are closed under free products, and that each contains at most one maximal proper subquasivariety. It is also proved that is closed under free products if so is .     

Positive Solutions for a Singular Nonlinear Problem on a Bounded Domain in R 2

For a bounded regular Jordan domain in R ², we introduce and study a new class of functions K() related on its Green function G. We exploit the properties of this class to prove the existence and the uniqueness of a positive solution for the singular nonlinear elliptic equation u+(x,u)=0, in D(), with u=0 on and uC(), where is a nonnegative Borel measurable function in ×(0,) that belongs to a convex cone which contains, in particular, all functions (x,t)=q(x)t ^–,>0 with nonnegative functions qK(). Some estimates on the solution are also given.