• 대한수학회지
• /
• 제54권2호
• /
• pp.685-696
• /
• 2017

A linear mapping ${\phi}$ on an algebra $\mathcal{A}$ is called a centralizable mapping at $G{\in}{\mathcal{A}}$ if ${\phi}(AB)={\phi}(A)B= A{\phi}(B)$ for each A and B in $\mathcal{A}$ with AB = G, and ${\phi}$ is called a derivable mapping at $G{\in}{\mathcal{A}}$ if ${\phi}(AB)={\phi}(A)B+A{\phi}(B)$ for each A and B in $\mathcal{A}$ with AB = G. A point G in A is called a full-centralizable point (resp. full-derivable point) if every centralizable (resp. derivable) mapping at G is a centralizer (resp. derivation). We prove that every point in a von Neumann algebra or a triangular algebra is a full-centralizable point. We also prove that a point in a von Neumann algebra is a full-derivable point if and only if its central carrier is the unit.

• 대한수학회보
• /
• 제44권4호
• /
• pp.651-661
• /
• 2007

Graph algebras establish a connection between directed graphs without multiple edges and special universal algebras of type (2,0). We say that a graph G satisfies an identity $s{\approx}t$ if the corresponding graph algebra $\underline{A(G)}$ satisfies $s{\approx}t$. A graph G=(V,E) is called an $(xy)x{\approx}x(yy)$ graph if the graph algebra $\underline{A(G)}$ satisfies the equation $(xy)x{\approx}x(yy)$. An identity $s{\approx}t$ of terms s and t of any type ${\tau}$ is called a hyperidentity of an algebra $\underline{A}$ if whenever the operation symbols occurring in s and t are replaced by any term operations of $\underline{A}$ of the appropriate arity, the resulting identities hold in $\underline{A}$. In this paper we characterize $(xy)x{\approx}x(yy)$ graph algebras, identities and hyperidentities in $(xy)x{\approx}x(yy)$ graph algebras.

• 한국학교수학회논문집
• /
• 제12권1호
• /
• pp.99-114
• /
• 2009

선형대수는 최근 이공계열 뿐만 아니라 인문 사회 과학 분야에서도 많은 관심을 받고 있다. 그러나 선형대수는 대학의 기초 과목으로 채택된 지 20-30년 밖에 되지 않은 분야로, 선형대수의 지도에 대한 연구는 상대적으로 많지 않은 편이다. 이에 1990년 선형대수 교육과정 연구 단체(The Linear Algebra Curriculum Study Group)가 결성되고, 선형대수 지도를 개선하기 위한 움직임이 다양하게 나타나고 있다. 본 논문에서는 선형대수의 주요 도구 중 하나인 행렬과 관련된 연구들을 살펴보고, 역사발생적 원리를 바탕으로 한 행렬 지도 방법을 제안하고자 한다. 이를 위해 행렬과 행렬식, 연립일차방정식과 행렬, 일차변환의 개념 발달 과정을 분석하고, 역사발생적 관점에서의 행렬 지도 방안을 모색하였다.

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

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

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제24권4호
• /
• pp.949-974
• /
• 2010

본 연구의 목적은 고등학생 6명을 대상으로 교수실험을 통해 컴퓨터 대수 환경에서 매개변수 개념에 대한 학생들의 이해 과정에서 나타난 특정들을 알아보는 것이다. 본 연구에서는 Drijvers(2003)의 매개변수 개념의 구분에 따라 매개변수 개념을 "자리지기로서의 매개변수", "변하는 양으로서의 매개변수", "미지수로서의 매개변수", "일반화로서의 매개변수"로 세분화하여 컴퓨터 대수 환경에서 각 매개변수 개념에 대한 학생들의 이해의 특징을 조사하고, 컴퓨터 대수 환경이 각 매개변수의 개념 이해에 어떠한 역할을 하는지에 대해 알아보았다.

• 충청수학회지
• /
• 제24권4호
• /
• pp.617-630
• /
• 2011

Let X, Y be vector spaces, and let r be 2 or 4. It is shown that if an odd mapping $f:X{\rightarrow}Y$ satisfies the functional equation $${\hspace{50}}rf(\frac{\sum_{j=1}^{d}\;x_j} {r})+\;{\sum\limits_{\iota(j)=0,1 \atop {\sum_{j=1}^{d}}\;{\iota}(j)=l}}\;rf(\frac{\sum_{j=1}^{d}{(-1)^{\iota(j)}x_j}}{r}) \\({\ddag}){\hspace{160}}=(_{d-1}C_l-_{d-1}C_{l-1}+1)\;{\sum\limits_{j=1}^{d}\;f(x_j)}$$ then the odd mapping $f:X{\rightarrow}Y$ is additive, and we prove the Cauchy-Rassias stability of the functional equation in Banach modules over a unital $C^*$-algebra. As an application, we show that every almost linear bijection $h:{\mathcal{A}}{\rightarrow}{\mathcal{B}}$ of a unital $C^*$-algebra ${\mathcal{A}}$ onto a unital $C^*$-algebra ${\mathcal{B}}$ is a $C^*$-algebra isomorphism when $h(2^nuy)=h(2^nu)h(y)$ for all unitaries $u{\in}{\mathcal{A}}$, all $y{\in}{\mathcal{A}}$, and $n=0,1,2,{\cdots}$.

• 한국정보통신학회:학술대회논문집
• /
• 한국정보통신학회 2014년도 춘계학술대회
• /
• pp.238-240
• /
• 2014

클라우드 컴퓨팅은 소프트웨어를 서비스로서 사용할 수 있도록 하는 SaaS 프레임워크를 포함한다. 기존의 서비스가 있음에도 테넌트와 용도의 차이에 따라 서비스 제공자가 서비스를 다시 구축한다면 비용이나 관리적 측면에서 많은 자원을 요구하게 된다. 이에 우리는 기존 소프트웨어를 재사용 할 수 있도록 프로세스 알제브라를 이용하여 분석하는 기법을 제안한다. process algebra는 소프트웨어의 구조를 분석하고, 이를 비즈니스 프로세스나 다른 언어로 표현할 수 있으며, 재사용할 수 있는지 검증할 수 있다. process algebra 중 CCS(Calculus of Communicating Systems)는 비즈니스 프로세스나 XML로 변환하기 유용하므로, 이를 이용하여 프로세스를 구조화하고, 구조화된 명세를 비교 및 관리를 위한 메타 저장소를 제안한다.

• 충청수학회지
• /
• 제23권2호
• /
• pp.323-333
• /
• 2010

The biproduct bialgebra has been generalized to generalized biproduct bialgebra $B{\times}^L_H\;D$ in [5]. Let (D, B) be an admissible pair and let D be a bialgebra. We show that if generalized biproduct bialgebra $B{\times}^L_H\;D$ is a Hopf algebra with antipode s, then D is a Hopf algebra and the identity $id_B$ has an inverse in the convolution algebra $Hom_k$(B, B). We show that if D is a Hopf algebra with antipode $s_D$ and $s_B$ in $Hom_k$(B, B) is an inverse of $id_B$ then $B{\times}^L_H\;D$ is a Hopf algebra with antipode s described by $s(b{\times}^L_H\;d)={\Sigma}(1_B{\times}^L_H\;s_D(b_{-1}{\cdot}d))(s_B(b_0){\times}^L_H\;1_D)$. We show that the mapping system $B{\leftrightarrows}^{{\Pi}_B}_{j_B}\;B{\times}^L_H\;D{\rightleftarrows}^{{\pi}_D}_{i_D}\;D$ (where $j_B$ and $i_D$ are the canonical inclusions, ${\Pi}_B$ and ${\pi}_D$ are the canonical coalgebra projections) characterizes $B{\times}^L_H\;D$. These generalize the corresponding results in [6].

• 대한수학회지
• /
• 제35권2호
• /
• pp.331-340
• /
• 1998

We define the spherical non-commutative torus $L_{\omega}$/ as the crossed product obtained by an iteration of l crossed products by actions of, the first action on C( $S^{2n＋l}$). Assume the fibres are isomorphic to the tensor product of a completely irrational non-commutative torus $A_{p}$ with a matrix algebra $M_{m}$ ( ) (m > 1). We prove that $L_{\omega}$/ $M_{p}$ (C) is not isomorphic to C(Prim( $L_{\omega}$/)) $A_{p}$ $M_{mp}$ (C), and that the tensor product of $L_{\omega}$/ with a UHF-algebra $M_{p{\infty}}$ of type $p^{\infty}$ is isomorphic to C(Prim( $L_{\omega}$/)) $A_{p}$ $M_{m}$ (C) $M_{p{\infty}}$ if and only if the set of prime factors of m is a subset of the set of prime factors of p. Furthermore, it is shown that the tensor product of $L_{\omega}$/, with the C＊-algebra K(H) of compact operators on a separable Hilbert space H is not isomorphic to C(Prim( $L_{\omega}$/)) $A_{p}$ $M_{m}$ (C) K(H) if Prim( $L_{\omega}$/) is homeomorphic to $L^{k}$ (n)$\times$ $T^{l'}$ for k and l' non-negative integers (k > 1), where $L^{k}$ (n) is the lens space.$T^{l'}$ for k and l' non-negative integers (k > 1), where $L^{k}$ (n) is the lens space.e.

• 대한수학교육학회지:학교수학
• /
• 제12권3호
• /
• pp.323-335
• /
• 2010

선형대수는 대수학, 해석학, 기하학 등 수학의 모든 분야의 문제 해결에 광범위하게 이용될 뿐만 아니라 항공공학, 전자공학, 생물학, 지질학, 기계공학 등 다양한 학문영역에서 문제해결의 수단으로 쓰이는 이용도가 높은 학문이다. 따라서 선형대수는 수학 전공 학생뿐만 아니라 일반 학생에게도 쉽게 다가갈 수 있어야 한다. 그러나 대부분의 학생들은 선형대수 학습에서 많은 어려움을 느낀다. 왜 어려움을 느낄까? 선형대수를 학습하는 많은 학생들은 개념을 아예 인지하지 못하거나 자신들이 가지고 있던 산지식을 통해 오개념을 갖게 되고, 연이어 학습되는 부분에서 학습장애를 일으키고 오류를 범하기 때문이다. 본 연구는 선형방정식계의 학습에서 나타나는 학생들의 어려움과 오류를 분석하고 연구하여 보다 효과적인 선형대수 교수법을 제시하였다.