Generalizations of Sylow's Theorem

We study the properties of maximal -subgroups of a finite group.     

The η-Invariant of Twisted Dirac Operators of S3/Γ

The aim of this paper is to compute the and ~-invariants for the Dirac operator of the quotient of the sphere S ³ by a finite subgroup, twisted by a representation of its fundamental group.     

The lower algebraicK-theory of virtually infinite cyclic groups

This paper gives a proof of a conjecture of W.-C. Hsiang for the negativeK-theory of integral grouprings , when the group is a subgroup of a uniform lattice in a Lie group. The authors' earlier paper reduced this result to the very special cases where either is finite or is virtually infinite cyclic. The finite case was done much earlier by Carter extending results of Bass and Murthy. The major work of the present paper consists of proving the conjecture when is virtually infinite cyclic.Both authors were supported in part by the National Science Foundation.     

Ore Extensions of Hopf Algebras

In this paper, Ore extensions in the class of Hopf algebras are studied. The classification theorem enables one to describe the Hopf--Ore extensions for the group algebras, for the algebras and , and for the quantum ax + b group.     

Stability for Quadratic K1

The general quadratic group GQ _2n and its elementary subgroup EQ _2n are analogs in the theory of quadratic forms of the general linear group GL _n and its elementary subgroup E _n . This article proves that the stabilization map GQ _2n /EQ _2n GQ _2(n+1) /EQ _2(n+1) is an isomorphism whenever n +1 and S denotes the -stable rank of rings with anti-involution. As a corollary, a result is obtained which has been anticipated since the late 1960s: over rings of finite Bass–Serre dimension d, the stabilization map is an isomorphism whenever n d + 2.     

On the a.s. Cesàro-α convergence for stationary or orthogonal random variables

We give a new direct proof of the a.s. convergence of the Cesàro- means of a stationary process (X _n) when 0<<1 andE(X _n ^p )<+ with p>1 and we show that this result does not hold in general for p=1. We also consider similar questions for orthogonal random variables. Finally, we study the a.s. convergence of Riesz harmonic means.     

Tanaka Formulae for (α, d, β)-Superprocesses

We establish Tanaka like formulae for the local time of (, d, )-superprocess in the dimensions where the local time exists. The result generalizes the result of Adler, Lewin who proved existence of Tanaka formulae for a class of super-processes with finite variance. The fact that we abandon the finite variance assumption, requires using an L ¹⁺ convergence argument (with 0<<1) rather than L ² convergence, for the derivation of the Tanaka formulae.     

Study of Noetherian Γ-Semirings via Operator Semirings

In this paper we study Noetherian -semirings and obtain Cohens theorem for a special class of -semirings. Weak primary decomposition theorem for a particular type of -semirings is also obtained.Presently Lecturer in Mathematics, University of Burdwan, GOLAPBAG, W.B. INDIA.     

On the Completeness and Decidability of the Horn‐Like Fragment of the First‐Order Linear Temporal Logic

We prove the completeness and decidability of the Hornlike sequents, specifically, the socalled D₂sequents (of the firstorder linear temporal logic) considered in the author's paper [Lith. Math. J., 41(3), 266–281 (2001)]. In this paper, with the help of the infinitary calculus G_L, grounded by the author in his earlier papers, for D₂sequents we construct a D₂Sat calculus of the socalled saturated type consisting of decidable deductive procedures replacing the omegarule for the always operator. In the present paper, in order to prove the completeness and decidability of the calculus D₂Sat, we construct the socalled invariant decidable calculus D₂IN. We prove the equivalence of the calculi D₂IN, D₂Sat, and G _L ^** for the socalled saturated D₂sequents. From this equivalence, by reducing an arbitrary D₂sequent to a saturated D₂sequent, and also from the completeness of the G _L ^** calculus and decidability of the invariant calculus D₂IN, we deduce the completeness and decidability of the calculus D₂Sat in the class of D₂sequents.     

On the Ershov Upper Semilattice

We find some links between -reducibility and T-reducibility. We prove that (1) if a quasirigid model is strongly -definable in a hereditarily finite admissible set over a locally constructivizable B-system, then it is constructivizable; (2) every abelian p-group and every Ershov algebra is locally constructivizable; (3) if an antisymmetric connected model is -definable in a hereditarily finite admissible set over a countable Ershov algebra then it is constructivizable.     

The Newton modified barrier method for QP problems

The Modified Barrier Functions (MBF) have elements of both Classical Lagrangians (CL) and Classical Barrier Functions (CBF). The MBF methods find an unconstrained minimizer of some smooth barrier function in primal space and then update the Lagrange multipliers, while the barrier parameter either remains fixed or can be updated at each step. The numerical realization of the MBF method leads to the Newton MBF method, where the primal minimizer is found by using Newton's method. This minimizer is then used to update the Lagrange multipliers. In this paper, we examine the Newton MBF method for the Quadratic Programming (QP) problem. It will be shown that under standard second-order optimality conditions, there is a ball around the primal solution and a cut cone in the dual space such that for a set of Lagrange multipliers in this cut cone, the method converges quadratically to the primal minimizer from any point in the aforementioned ball, and continues, to do so after each Lagrange multiplier update. The Lagrange multipliers remain within the cut cone and converge linearly to their optimal values. Any point in this ball will be called a hot start. Starting at such a hot start, at mostO(In In ^-1) Newton steps are sufficient to perform the primal minimization which is necessary for the Lagrange multiplier update. Here, >0 is the desired accuracy. Because of the linear convergence of the Lagrange multipliers, this means that onlyO(In ^-1)O(In In ^-1) Newton steps are required to reach an -approximation to the solution from any hot start. In order to reach the hot start, one has to perform Newton steps, wherem characterizes the size of the problem andC>0 is the condition number of the QP problem. This condition number will be characterized explicitly in terms of key parameters of the QP problem, which in turn depend on the input data and the size of the problem.Partially supported by NASA Grant NAG3-1397 and National Science Foundation Grant DMS-9403218.     

Almost π-Lattices

In this paper we establish some conditions for an almost -domain to be a -domain. Next -lattices satisfying the union condition on primes are characterized. Using these results, some new characterizations are given for -rings.     

Finitely Σ-CS Property of Excellent Extensions of Rings

For a right excellent extension S of a ring R, it is proved that R is right, finitely -CS if and only if S is the same. As an application of this result, a number of examples of group rings which are finitely -CS are presented. This generalizes a result of Jain, et al. [5], where it was shown that F[D] is CS when F is a field of characteristic 2. It is also proved that if R is a commutative domain with 2^–1 R and C₂ is the cyclic group of order 2, then R[C₂] is a CS-ring.2000 Mathematics Subject Classification: 16S20, 16D50The research was supported by the NSERC of Canada, grants A8775 and OGP0194196.     

Existence of ∈-Minima for Vector Optimization Problems

The -generalized minima for vector optimization problems are defined and a sufficient condition for the existence of -generalized minima for vector optimization problems is established.     

Strengthening the Lovász bound for graph coloring

The Lovász -number is a way to approximate the independence number of a graph, but also its chromatic number. We express the Lovász bound as the continuous relaxation of a discrete Lovász -number which we derive from Karger et al.s formulation, and which is equal to the chromatic number. We also give another relaxation à la Schrijver-McEliece, which is better than the Lovász -number.     

Topological influence of the presence of fully-λ-bases in locally convex spaces

This article reveals the topological impact of fully--bases in locally convex spaces where carries either the traditional normal topology or the fairly generalized-topology of Ruckle. It has been established that the generalized nuclearity of plays a significant role in influencing the topology of the space. Further, the equivalence of normal topology and the topology arising out of the fully--base ( being equipped with normal topology or-topology) has been investigated.We acknowledge with thanks the suggestions of the referee.     

On Alperin’s Conjecture and Certain Subgroup Complexes

We prove a new formula about local control of the number of p-regular conjugacyclasses of a finite group. We then relate the results to Alperins weight conjecture to obtain newresults describing the number of simple modules for a finite group in terms of weights of solvablesubgroups. Finally, we use the results to obtain new formulations of Alperins weight conjecture,and to obtain restrictions on the structure of a minimal counterexample.     

Relative E ‐Theory

The Etheory of A. Connes and N. Higson provides a new realization of Khomology based on the notion of asymptotic morphisms. In this paper we define relative Etheory, associating to a C*algebra A and an ideal I the Abelian groups Enrel(A;I). These groups are related to the Etheory groups of A and I in the familiar way by a long exact sequence and excision isomorphisms. The definition of relative Etheory is motivated by the properties of first order, elliptic differential operators on complete Riemannian manifolds. Applications will be considered in a future publication.     

On some classes of modules

The aim of this paper is to investigate quasi-corational, comonoform, copolyform and -(co)atomic modules. It is proved that for an ordinal a right R-module M is -atomic if and only if it is -coatomic. And it is also shown that an -atomic module M is quasi-projective if and only if M is quasi-corationally complete. Some other results are developed.     

On σ-discrete borel mappings via quasi-metrics

Let X and Y be metrizable spaces. We show that, for a mapping f : X Y, there exists a quasi-metric X inducing the topology of X such that f regarded as a mapping from (X, max{, ^–1}) to Y is continuous if and only if f in the original topology of X is a -discrete map of Borel class 1. Further, we prove that, for every -discrete mapping f: X Y of Borel class + 1, there exists a compatible quasi-metric on X such that f : (X, max{, ^–1}) Y is of Borel class . We also investigate a more general situation when the range of the mapping under consideration is not necessarily metrizable. In passing, we obtain some results related to the behaviour of absolutely Borel sets and absolutely analytic spaces with respect to compatible quasi-metrics.