Versions of Tannaka duality in operator algebraic context have been obtained in [6], [8] etc. Suppose .sigma.is an automorphism of a von Neumann algebra M, on which there is an action .alpha. of a compact group G such that .sigma. vertical bar $M^{\alpha}$=id, where $M^{\tau}$is the fixed point algebra under the action .alpha.. Then it is shown that if there is an action .tau. of a group H which commutes with .alpha., and which is ergodic in the sense that the fixed point algebra $M^{\tau}$ is trivial, then there exists g.mem.G such that .sigma.=.alpha.(g). Recently Evans and Kishimoto ([4]) showed the versions of Tannaka duality in $C^{*}$-settings under some conditions.s.

Let M be an n-dimensional compact connected and oriented Riemannian manifold isometrically immersed in an (n+2)-dimensional Euclidean space $R^{n+2}$. Moore [5] proved that if M is of positive curvature, then M is a homotopy sphere. This result is generalized by Baldin and Mercuri [2], Baik and Shin [1] to the case of non-negative curvature, which is stated as follows: If M of non-negative curvature, then M is either a homotopy sphere or diffeomorphic to a product of two spheres. In particular, if there is a point at which the curvature operator is positive, then M is homeomorphic to a sphere.e.

Let .SIGMA. be a smooth compact manifold without boundary having the same homotopy type as a sphere, which is called a homotopy sphere. Supose a group G acts smoothly on .SIGMA. with the fixed point set .SIGMA.$^{G}$ consists of two isolated fixed points p and q. In this case, tangent spaces $T_{p}$ .SIGMA. and $T_{q}$ .SIGMA. at isolated fixed points, as isotropy representations of G are called Smith equivalent. Moreover .SIGMA. is called a supporting homotopy sphere of Smith equivalent representations $T_{p}$ .SIGMA. and $T_{q}$ .SIGMA.. The study on Smith equivalence has rich history, and for this we refer the reader to [P] or [Su]. The following question of pp.A.Smith [S] motivates the study on Smith equivalence.e.

In this paper we study a $C^{*}$-dynamical system (A, G, .alpha.) where A is a UHF-algebra, G is a finite abelian group and .alpha. is a *-automorphic action of product type of G on A. In [2], A. Kishimoto considered the case G= $Z_{n}$, the cyclic group of order n and investigated a condition in order that the fixed point algebra $A^{\alpha}$ of A under the action .alpha. is UHF. In later N.J. Munch studied extremal tracial states on $A^{\alpha}$ by employing the method of A. Kishimoto [3], where G is a finite abelian group. Generally speaking, when G is compact (not necessarily discrete and abelian), $A^{\alpha}$ is an AF-algebra and its ideal structure was well analysed by N. Riedel [4]. Here we obtain some conditions for $A^{\alpha}$ to be UHF, where G is a finite abelian group, which is an extension of the result of A. Kishimoto.oto.

In [2], we have shown that the optimal boundary controls for hyperbolic systems in L$^{2}$-spaces can be attained in a feedback form via Riccati operators. A number of authors [1, 5, 7 and 10] have investigated approximations of Riccati operators arising in distributed parameter systems. They assumed bounded controls for parabolic systems. However, we in this paper study Galerkin approximations of Riccati operators and feedback controls for hyperbolic systems with unbounded control actions. Let us briefly introduce some results of [2]. Let .ohm. be an open bounded region in R$^{n}$ with smooth boundary .GAMMA. where n is a fixed positive integer. We consider a strictly hyperbolic differential operator H(x) of order 1 on .ohm. with noncharacteristic boundary on .GAMMA.

In general relativity, analyzing causality is central to the study of black holes, to cosmology, and to each of the major recent mathematical theorems. By causality we refer to the general question of which points in a space-time can be joined by causal curves; relativistically which events can influence (be influenced by) a given event. Various causality conditions have been developed for space-times of the problems associated with examples of causality violations (2, 4). Causally continuous space-times were defined by Hawking and Sachs (5). Budic and Sachs (3) established causal completion. A metrizable topology on the causal completion of a causally continuous space-time was studied by Beem(1). Recently the region of space-time where causal continuity is violated was studied by Ishikawa (6) and Vyas and Akolia (8). In this paper we show characterization for reflectingness in terms of continuity of set valued functions. We investigate some properties of the region related to a causally continuous space-time where distinguishingness is violated, and characterize the chronology condition in terms of distinguishing-violated region.

In this paper, we define a g-regular semigroup which is a generalization of a regular semigroup. And we want to find some properties of g-regular semigroup. G-regular semigroups contains the variety of all regular semigroup and the variety of all periodic semigroup. If a is an element of a semigroup S, the smallest left ideal containing a is Sa.cup.{a}, which we may conveniently write as $S^{I}$a, and which we shall call the principal left ideal generated by a. An equivalence relation l on S is then defined by the rule alb if and only if a and b generate the same principal left ideal, i.e. if and only if $S^{I}$a= $S^{I}$b. Similarly, we can define the relation R. The equivalence relation D is R.L and the principal two sided ideal generated by an element a of S is $S^{1}$a $S^{1}$. We write aqb if $S^{1}$a $S^{1}$= $S^{1}$b $S^{1}$, i.e. if there exist x,y,u,v in $S^{1}$ for which xay=b, ubv=a. It is immediate that D.contnd.q. A semigroup S is called periodic if all its elements are of finite order. A finite semigroup is necessarily periodic semigroup. It is well known that in a periodic semigroup, D=q. An element a of a semigroup S is called regular if there exists x in S such that axa=a. The semigroup S is called regular if all its elements are regular. The following is the property of D-classes of regular semigroup.group.

Let M(z)=exp (-1+z/1-z) be the unit singular inner function. See [1] or [2] for the basic facts about inner functions. We define the iterations of M9z) as (Fig.) Since the composition M$_{2}$(z)=M.M(z) is known (see [5] for example) to be singular inner function it has the "cannonical" representation (Fig.) where .mu. is a finite, positive singular Borel measure on the unit circle T. In section 2, we have explicit cannonical representation of M$_{2}$(z) by determining the singular measure .mu. In section 3 we show that (Fig.) These facts might have been known but could not be found in the literature.iterature.

This note gives a combinatorial treatment to the problem finding a generating set among conjugating automorphisms of a free group and to the method deciding when a conjugating endomorphism of a free group is an automorphism. Our group of pseudo-conjugating automorphisms can be thought of as a generalization of the artin's braid group.