• 대한수학회논문집
• /
• 제10권3호
• /
• pp.499-518
• /
• 1995

In this paper we consider more systematically the centralizer C(S) of the set $S = {f_a $\mid$ f_a : X \to X ; x \longmapsto x * a, a \in X}$ with respect to the semigroup End(X) of all endomorphisms of an implicative BCK-algebra X with the condition (S). We obtain a series of interesting results. The main results are stated as follows : (1) C(S) with repect to a binary operation * defined in a certain way forms a bounded implicative BCK-algebra with the condition (S). (2) X can be imbedded in C(S) such that X is an ideal of C(S)/ (3) If X is not bounded, it can be imbedded in a bounded subalgebra T of C(S) such that X is a maximal ideal of T. (4) If $X (\neq {0})$ is semisimple, C(S) is BCK-isomorphic to $\prod_{i \in I}{A_i}$ in which ${A_i}_{i \in I}$ is simple ideal family of X.

• 대한수학회논문집
• /
• 제35권3호
• /
• pp.809-823
• /
• 2020

Let C[0, T] denote the space of continuous, real-valued functions on the interval [0, T] and let C₀[0, T] be the space of functions x in C[0, T] with x(0) = 0. In this paper, we introduce a Banach algebra ${\bar{\mathcal{S}}}_{{\alpha},{\beta};{\varphi}}$ on C[0, T] and its equivalent space ${\bar{\mathcal{F}}}({\mathcal{H}}) $, a space of transforms of equivalence classes of measures, which generalizes Fresnel class 𝓕(𝓗), where 𝓗 is an appropriate real separable Hilbert space of functions on [0, T]. We also investigate their properties and derive an isomorphism between ${\bar{\mathcal{S}}}_{{\alpha},{\beta};{\varphi}}$ and ${\bar{\mathcal{F}}}({\mathcal{H}}) $. When C[0, T] is replaced by C₀[0, T], ${\bar{\mathcal{F}}}({\mathcal{H}}) $ and ${\bar{\mathcal{S}}}_{{\alpha},{\beta};{\varphi}}$ reduce to 𝓕(𝓗) and Cameron-Storvick's Banach algebra 𝓢, respectively, which is the space of generalized Fourier-Stieltjes transforms of the complex-valued, finite Borel measures on L²[0, T].

• 한국정보처리학회논문지
• /
• 제3권6호
• /
• pp.1355-1364
• /
• 1996

복합 객체 모델은 복잡한 구조 데이타를 지원하기 위해 기존의 관계형 데이타 모 델을 자연스럽게 확장한 값 중심 데이타 모델이다. 본 논문은 복합 객체 모델의 검색 연산을 대상으로 대수적 최적화 기법의 적용이 용이한 대수 설계를 제안한다. 이를 위해 우선, 복합 객체 처리를 목적으로 제안된 기존의 대수들을 대수적 최적화 기법 의 적용성을 기준으로 비교 분석한다. 또한 단순 명료성, 데이타 구조에 대한 무제약 성, 단일 표현 체계의 설계 원칙을 기반으로 복합 객체 대수를 설계한다. 제안된 대 수의 특징은 다양한 구조의 복합 객체에 대한 대수의 안정성과 단순성을 유지하고 동 시에 대수적 최적화 기법의 적용이 용이한 점이다. 끝으로 본 연구에서 설계된 대수 가 기존 대수들과 동등하거나, 더 향상된 표현력을 갖음을 보인다.

• 대한수학회보
• /
• 제34권3호
• /
• pp.447-457
• /
• 1997

Let A be a $C^*$-algebra and $A^**$ its enveloping von Neumann algebra. Pedersen and Akemann developed four concepts of lower semicontinuity for elements of $A^**$. Later, Brown suggested using only three classes: strongly lsc, middle lsc, and weakly lsc. In this paper, we generalize the concept of weak semicontinuity [1, 3] to the case of unbounded operators affiliated with $A^**$. Also we consider the generalized version of the conditions of the Brown's theorem [3, Proposition 2.2 & 3.27] for unbounded operators.

• 대한수학회보
• /
• 제25권2호
• /
• pp.179-183
• /
• 1988

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.

• 대한수학회논문집
• /
• 제39권2호
• /
• pp.331-343
• /
• 2024

Let ℜ be a *-algebra with unity I and a nontrivial projection P₁. In this paper, we show that under certain restrictions if a map ψ : ℜ → ℜ satisfies $$\Psi(S_1{\diamond}S_2{\cdot}{\cdot}{\cdot}{\diamond}S_{n-1}{\bullet}S_n)=\sum_{k=1}^nS_1{\diamond}S_2{\diamond}{\cdot}{\cdot}{\cdot}{\diamond}S_{k-1}{\diamond}{\Psi}(S_k){\diamond}S_{k+1}{\diamond}{\cdot}{\cdot}{\cdot}{\diamond}S_{n-1}{\bullet}S_n$$ for all S_n-2, S_n-1, S_n ∈ ℜ and S_i = I for all i ∈ {1, 2, . . . , n - 3}, where n ≥ 3, then ψ is an additive *-derivation.

• 대한수학회보
• /
• 제31권2호
• /
• pp.173-180
• /
• 1994

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.

• 산업경영시스템학회지
• /
• 제35권3호
• /
• pp.155-162
• /
• 2012

This study proposes an integrated approach that uses both a fuzzy service FMEA (failure mode and effect analysis) and HOQ (house of quality) matrix algebra in designing and improving a service system. The fuzzy service FMEA methodology applies the customer satisfaction to the fuzzy RPN model. We fuzzify only the service satisfaction that consist in two failure factors, intangible service and tangible service, to more effectively assess the customer satisfactions on service encounters. Proposed fuzzy service satisfactions with triangle membership function are defuzzified by using the Fuzzy Inference System, and these are eventually identified the ranks on the potential fail points. HOQ matrices are constructed from cause-effect relationships. It is possible for these relationship matrix to find a linear approximation solution on the engineering attributes. Thus, in order to demonstrate how the proposed methods work, practical sample of the A/S part in S Electronic Co. provides for the ranking of the engineering attributes which has been successfully implemented.

• 대한수학회지
• /
• 제58권3호
• /
• pp.643-702
• /
• 2021

Fix ℤ/2 is the prime field of two elements and write 𝒜₂ for the mod 2 Steenrod algebra. Denote by GL_d := GL(d, ℤ/2) the general linear group of rank d over ℤ/2 and by ${\mathfrak{P}}_d$ the polynomial algebra ℤ/2[x₁, x₂, …, x_d] as a connected unstable 𝒜₂-module on d generators of degree one. We study the Peterson "hit problem" of finding the minimal set of 𝒜₂-generators for ${\mathfrak{P}}_d$. Equivalently, we need to determine a basis for the ℤ/2-vector space $$Q{\mathfrak{P}}_d:={\mathbb{Z}}/2{\otimes}_{\mathcal{A}_2}\;{\mathfrak{P}}_d{\sim_=}{\mathfrak{P}}_d/{\mathcal{A}}^+_2{\mathfrak{P}}_d$$ in each degree n ≥ 1. Note that this space is a representation of GL_d over ℤ/2. The problem for d = 5 is not yet completely solved, and unknown in general. In this work, we give an explicit solution to the hit problem of five variables in the generic degree n = r(2^t - 1) + 2^ts with r = d = 5, s = 8 and t an arbitrary non-negative integer. An application of this study to the cases t = 0 and t = 1 shows that the Singer algebraic transfer of rank 5 is an isomorphism in the bidegrees (5, 5 + (13.2⁰ - 5)) and (5, 5 + (13.2¹ - 5)). Moreover, the result when t ≥ 2 was also discussed. Here, the Singer transfer of rank d is a ℤ/2-algebra homomorphism from GL_d-coinvariants of certain subspaces of $Q{\mathfrak{P}}_d$ to the cohomology groups of the Steenrod algebra, $Ext^{d,d+*}_{\mathcal{A}_2}$ (ℤ/2, ℤ/2). It is one of the useful tools for studying these mysterious Ext groups.

• 대한수학회지
• /
• 제47권3호
• /
• pp.445-454
• /
• 2010

The braid group $B_n$ maps homomorphically into the Temperley-Lieb algebra $TL_n$. It was shown by Zinno that the homomorphic images of simple elements arising from the dual presentation of the braid group $B_n$ form a basis for the vector space underlying the Temperley-Lieb algebra $TL_n$. In this paper, we establish that there is a dual presentation of Temperley-Lieb algebras that corresponds to the dual presentation of braid groups, and then give a simple geometric proof for Zinno's theorem, using the interpretation of simple elements as non-crossing partitions.