Modules which satisfy the converse of Schur's lemma have been studied by many authors. In [6], R. Ware proved that a projective module P over a semiprime ring R is irreducible if and only if En $d_{R}$(P) is a division ring. Also, Y. Hirano and J.K. Park proved that a torsionless module M over a semiprime ring R is irreducible if and only if En $d_{R}$(M) is a division ring. In case R is a commutative ring, we obtain the following: An R-module M is irreducible if and only if En $d_{R}$(M) is a division ring and M is a multiplication R-module. Throughout this paper, R is commutative ring with identity and all modules are unital left R-modules. Let R be a commutative ring with identity and let M be an R-module. Then M is called a multiplication module if for each submodule N of M, there exists and ideal I of R such that N=IM. Cyclic R-modules are multiplication modules. In particular, irreducible R-modules are multiplication modules.dules.

For a given $C^{*}$-dynamical system (A, G, .alpha.) with a G-simple $C^{*}$-algebra A (that is A has no proper .alpha.-invariant ideal) many authors have studied the simplicity of a $C^{*}$-crossed product A $x_{\alpha{r}}$ G. In [1] topological freeness of an action is shown to guarantee the simplicity of the reduced $C^{*}$-crossed product A $x_{\alpha{r}}$ G when A is G-simple. In this paper we investigate the pure infiniteness of a simple $C^{*}$-crossed product A $x_{\alpha}$ G of a purely infinite simple $C^{*}$-algebra A and a topologically free action .alpha. of a finite group G, and find a sufficient condition in terms of the action on the spectrum of the multiplier algebra M(A) of A. Showing this we also prove that some extension of a topologically free action is still topologically free.

이글에서는 다음의 내용을 다루었다. 1. Some properties of the class $K^{*}$ $_{n}$

Let H be a separable, infinite dimensional, compled Hilbert space and let L(H) be the algebra of all bounded linear operators on H. A dual algebra is a subalgebra of L(H) that contains the identity operator $I_{H}$ and is closed in the ultraweak topology on L(H). Note that the ultraweak operator topology coincides with the wea $k^{*}$ topology on L(H)(see [3]). Bercovici-Foias-Pearcy [3] studied the problem of solving systems of simultaneous equations in the predual of a dual algebra. The theory of dual algebras has been applied to the topics of invariant subspaces, dilation theory and reflexibity (see [1],[2],[3],[5],[6]), and is deeply related with properties ( $A_{m,n}$). Jung-Lee-Lee [7] introduced n-separating sets for subalgebras and proved the relationship between n-separating sets and properties ( $A_{m,n}$). In this paper we will study the relationship between direct sum and properties ( $A_{m,n}$). In particular, using some results of [7] we obtain relationship between n-separating sets and direct sum of von Neumann algebras.ras.s.ras.

The author extended the small properties of topological semilattices to that of regular semigroups [3]. In this paper, it could be shown that a semigroup S is almost regular if and only if over bar RL = over bar R.cap.L for every right ideal R and every left ideal L of S. Moreover, it has shown that the Bohr compactification of an almost regular semigroup is regular. Throughout, a semigroup will mean a topological semigroup which is a Hausdorff space together with a continuous associative multiplication. For a semigroup S, we denote E(S) by the set of all idempotents of S. An element x of a semigroup S is called regular if and only if x .mem. xSx. A semigroup S is termed regular if every element of S is regular. If x .mem. S is regular, then there exists an element y .mem S such that x xyx and y = yxy (y is called an inverse of x) If y is an inverse of x, then xy and yx are both idempotents but are not always equal. A semigroup S is termed recurrent( or almost pointwise periodic) at x .mem. S if and only if for any open set U about x, there is an integer p > 1 such that x$^{p}$ .mem.U.S is said to be recurrent (or almost periodic) if and only if S is recurrent at every x .mem. S. It is known that if x .mem. S is recurrent and .GAMMA.(x)=over bar {x,x$^{2}$,..,} is compact, then .GAMMA.(x) is a subgroup of S and hence x is a regular element of S.

Let x : $M^{n}$ .rarw. $E^{m}$ be an isometric immersion of a manifold $M^{n}$ into the Euclidean space $E^{m}$ and .DELTA. the Laplacian of $M^{n}$ defined by -div.omicron.grad. The family of such immersions satisfying the condition .DELTA.x = .lambda.x, .lambda..mem.R, is characterized by a well known result ot Takahashi (8]): they are either minimal in $E^{m}$ or minimal in some Euclidean hypersphere. As a generalization of Takahashi's result, many authors ([3,6,7]) studied the hypersurfaces $M^{n}$ in $E^{n+1}$ satisfying .DELTA.x = Ax + b, where A is a square matrix and b is a vector in $E^{n+1}$, and they proved independently that such hypersurfaces are either minimal in $E^{n+1}$ or hyperspheres or spherical cylinders. Since .DELTA.x = -nH, the submanifolds mentioned above satisfy .DELTA.H = .lambda.H or .DELTA.H = AH, where H is the mean curvature vector field of M. And the family of hypersurfaces satisfying .DELTA.H = .lambda.H was explored for some cases in [4]. In this paper, we classify space curves x : R .rarw. $E^{3}$ satisfying .DELTA.x = Ax + b or .DELTA.H = AH, and find conditions for such curves to be equivalent.alent.alent.

The purpose of this paper is to investigate the relationship between the depths of the Rees algebra R[It] and the associated graded ring g $r_{I}$(R) of an ideal I in a local ring (R,m) of dim(R) > 0. The relationship between the Cohen-Macaulayness of these two rings has been studied extensively. Let (R, m) be a local ring and I an ideal of R. An ideal J contained in I is called a reduction of I if J $I^{n}$ = $I^{n+1}$ for some integer n.geq.0. A reduction J of I is called a minimal reduction of I. The reduction number of I with respect to J is defined by (Fig.) S. Goto and Y.Shimoda characterized the Cohen-Macaulay property of the Rees algebra of the maximal ideal of a Cohen-Macaulay local ring in terms of the Cohen-Macaulay property of the associated graded ring of the maximal ideal and the reduction number of that maximal ideal. Let us state their theorem.m.m.

The purpose of the present paper is to study generic submanifolds of a Sasakian space form with nonvanishing parallel mean curvature vector field such that the shape operator in the direction of the mean curvature vector field commutes with the structure tensor field induced on the submanifold. In .cint. 1 we state general formulas on generic submanifolds of a Sasakian manifold, especially those of a Sasakian space form. .cint.2 is devoted to the study a generic submanifold of a Sasakian manifold, which is not tangent to the structure vector. In .cint.3 we investigate generic submanifolds, not tangent to the structure vector, of a Sasakian space form with nonvanishing parallel mean curvature vactor field. In .cint.4 we discuss generic submanifolds tangent to the structure vector of a Sasakian space form and compute the restricted Laplacian for the shape operator in the direction of the mean curvature vector field. As a applications of these, in the last .cint.5 we prove our main results.

One of the most well-known geometric lattices is a partition lattice. Every upper interval of a partition lattice is a partition lattice. The whitney numbers of a partition lattices are the Stirling numbers, and the characteristic polynomial is a falling factorial. The set of partitions with a single non-trivial block containing a fixed element is a Boolean sublattice of modular elements, so the partition lattice is supersolvable in the sense of Stanley [6]. In this paper, we rephrase four results due to Heller[1] and Murty [4] in terms of matroids and give several characterizations of partition lattices. Our notation and terminology follow those in [8,9]. To clarify our terminology, let G, be a finte geometric lattice. If S is the set of points (or rank-one flats) in G, the lattice structure of G induces the structure of a (combinatorial) geometry, also denoted by G, on S. The size vertical bar G vertical bar of the geometry G is the number of points in G. Let T be subset of S. The deletion of T from G is the geometry on the point set S/T obtained by restricting G to the subset S/T. The contraction G/T of G by T is the geometry induced by the geometric lattice [cl(T), over ^1] on the set S' of all flats in G covering cl(T). (Here, cl(T) is the closure of T, and over ^ 1 is the maximum of the lattice G.) Thus, by definition, the contraction of a geometry is always a geometry. A geometry which can be obtained from G by deletions and contractions is called a minor of G.

Let (A,G,.alpha.) be a $C^{*}$-dynamical system. In [3] the classical notions of ergodic properties of topological dynamical systems such as topological transitivity, minimality, and uniquely ergodicity are extended and analyzed in the context of non-abelian $C^{*}$-dynamical systems. We showed in [2] that if G is a compact group, then minimality, topological transitivity, uniquely ergodicity, and weakly ergodicity of the $C^{*}$-dynamical system (A,G,.alpha.) are equivalent.alent.

In [5], M. Cwikel and J. Peetre showed that some Banach couples are Calderon pairs and every K-monotone cones in that couples can be constructed by the Peetre K-method. With the help of theorem 4 in [3], we can extend the above result to the K-monotone spaces. In [4], M. Cwikel provided the proof of therem 4 in [3] and also mentioned that some theorems in [5] which were stated in terms of K-monotone cones can be extended to K-monotone spaces. But M. Cwikel and J.Peetre's results only cover the case when over bar A = over bar B. We extend this result to the case when over bar A.neq. over bar B. In this case, we need a condition stronger than that the K-monotone space.

The approach presented in this paper is based on the transformation of the Stefan problem in one space dimension to an initial-boundary value problem for the heat equation in a fixed domain. Of course, the problem is non-linear. The finite element approximation adopted here is the standared continuous Galerkin method in time. In this paper, only the regular case is discussed. This means the error analysis is based on the assumption that the solution is sufficiently smooth. The aim of this paper is the existence of the solution in a finite Galerkin system of ordinary equations.