• 대한수학회보
• /
• 제39권1호
• /
• pp.175-184
• /
• 2002

A Cellular embedding of a graph G into an orientable surface S can be considered as a cellular decomposition of S into 0-cells, 1-cells and 2-cells and vise versa, in which 0-cells and 1-cells form a graph G and this decomposition of S is called a map in S with underlying graph G. For a map M with underlying graph G, we define a natural rotation on the line graph of the graph G and we introduce the line map for M. we find that genus of the supporting surface of the line map for a map and we give a characterization for the line map to be embedded in the sphere. Moreover we show that the line map for any life of a map M is map-isomorphic to a lift of the line map for M.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제7권1호
• /
• pp.49-60
• /
• 2000

We will characterize isomorphisms from the adjoint of a certain tridiag-onal algebra $AlgL_{2n}$ onto $AlgL_{2n}$. In this paper the following are proved: A map $\Phi{\;}:{\;}(AlgL_{2n})^{*}{\;}{\longrightarrow}{\;}AlgL_{2n}$ is an isomorphism if and only if there exists an operator S in $AlgL_{2n}$ with all diagonal entries are 1 and an invertible backward diagonal operator B such that ${\Phi}(A){\;}={\;}SBAB^{-1}S^{-1}$.

• 대한수학회논문집
• /
• 제38권4호
• /
• pp.1019-1028
• /
• 2023

Let 𝔄 and 𝔅 be unital prime *-algebras such that 𝔄 contains a nontrivial projection. In the present paper, we show that if a bijective map Θ : 𝔄 → 𝔅 satisfies Θ(_*[X ⋄ Y, Z]) = _*[Θ(X) ⋄ Θ(Y), Θ(Z)] for all X, Y, Z ∈ 𝔄, then Θ or -Θ is a *-ring isomorphism. As an application, we shall characterize such maps in factor von Neumann algebras.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제12권2호
• /
• pp.113-120
• /
• 2012

In this paper we study various properties of the fuzzy linear maps over the fuzzy quotient spaces. In particular we obtain some exact sequences of the fuzzy linear maps over the fuzzy quotient spaces.

• 한국지능시스템학회논문지
• /
• 제21권4호
• /
• pp.506-511
• /
• 2011

In this paper we investigate some situations in connection with two exact sequences of fuzzy linear maps. Also we obtain a generalization of the work [Theorem4] of Pan [5], and we study the analogies of The Four Lemma and The Five Lemma of homological algebra. Finally we obtain a special exact sequence.

• 대한수학회논문집
• /
• 제10권2호
• /
• pp.393-400
• /
• 1995

We define a group extension and characterized some properties of the group extension. In particular, we show that the quotient map $\nu$ is a continuous group isomorphism and subgroup $H_1(H_2)$ is normal in $G_1(G_2)$.

• 호남수학학술지
• /
• 제22권1호
• /
• pp.77-82
• /
• 2000

After considering an equivalence relation on a directed preordered set, we construct an isomorphism between derived limits of inverse systems indexed by the directed (pre)ordered sets.

• 대한수학회논문집
• /
• 제20권2호
• /
• pp.359-364
• /
• 2005

We give another characteristic feature of the set of phantom maps: After constructing an isomorphism between derived functors, we show that the set of homotopy classes of phantom maps could be restated as the extension product of subinverse towers induced by the given inverse towers.

• 호남수학학술지
• /
• 제20권1호
• /
• pp.121-133
• /
• 1998

We find some properties of the pro-torsion products. Under the suitable conditions, we also show that the map ${\bar{H}}_P({\chi};G){\rightarrow}{\bar{H}}_p^{s(r)}({\chi};G)$ is an isomorphism and the n-th homotopy group of X is isomorphic to the n-th ${\check{C}}ECH$ homology group.

• 호남수학학술지
• /
• 제32권1호
• /
• pp.45-51
• /
• 2010

Let A be an abelian variety defined over a number field K and let L be a cyclic extension of K with Galois group G = <${\sigma}$> of order n. Let III(A/K) and III(A/L) denote, respectively, the Tate-Shafarevich groups of A over K and of A over L. Assume III(A/L) is finite. Let M(x) be a companion matrix of 1+x+${\cdots}$+$x^{n-1}$ and let $A^x$ be the twist of $A^{n-1}$ defined by $f^{-1}{\circ}f^{\sigma}$ = M(x) where $f:A^{n-1}{\rightarrow}A^x$ is an isomorphism defined over L. In this paper we compute [III(A/K)][III($A^x$/K)]/[III(A/L)] in terms of cohomology, where [X] is the order of an finite abelian group X.