• Honam Mathematical Journal
• /
• v.37 no.1
• /
• pp.7-27
• /
• 2015

Kuneth formula is to compute (co)-homology of $A{\otimes}B$ for known (co)-homology of the complexes A and B. In the ordinary case, this is done by using elementary homological methods in an abelian category. However, when we consider the bounded cochain complex with values in $\mathbb{R}$ and its structure as a real Banach space, the techniques of homological algebra for constructing K$\ddot{u}$nneth type formulas on it are not effective. The most notable facts are the image of a morphism of Banach spaces is not necessarily closed, and also the closed summand of a Banach space need not be a topological direct summand. The main goal of this paper is to construct the theory of K$\ddot{u}$nneth type formula on bounded cohomology with real coefficients in the suitable category of Banach spaces with some restricted conditions.

• Bulletin of the Korean Mathematical Society
• /
• v.30 no.1
• /
• pp.65-70
• /
• 1993

In this paper we will extend some notions of bounded linear operators to some unbounded linear operators. Let H be a complex separable Hilbert space and let B(H) denote the algebra of bounded linear operators. A closed densely defind linear operator S in H, with domain domS, is called subnormal if there is a Hilbert space K containing H and a normal operator N in K(i.e., $N^{*}$N=N $N^*/)such that domS .subeq. domN and Sf=Nf for f .mem. domS. we will show that the Radjavi and Rosenthal theorem holds for some unbounded subnormal operators; if $S_{1}$ and $S_{2}$ are unbounded subnormal operators on H with dom $S_{1}$= dom $S^{*}$$_{1}$ and dom $S_{2}$=dom $S^{*}$$_{2}$ and A .mem. B(H) is injective, has dense range and $S_{1}$A .coneq. A $S^{*}$$_{2}$, then $S_{1}$ and $S_{2}$ are normal and $S_{1}$.iden. $S^{*}$$_{2}$.2}$.X>.

• Journal of the Chungcheong Mathematical Society
• /
• v.24 no.3
• /
• pp.503-515
• /
• 2011

Let G be a compact connected semisimple Lie group, B the Killing form of the algebra g of G, and g the invariant metric induced by B. Then, we obtain a necessary and sufficient condition for a left invariant linear connection D with a Weyl structure ($D,\;g,\;{\omega}$) on (G, g) to be projectively flat (resp. Einstein-Weyl). And, we also get that if a left invariant linear connection D with a Weyl structure ($D,\;g,\;{\omega}$) on (G, g) which has symmetric Ricci tensor $Ric^D$ is projectively flat, then the connection D is Einstein-Weyl; but the converse is not true. Moreover, we show that if a left invariant connection D with Weyl structure ($D,\;g,\;{\omega}$) on (G, g) is projectively flat (resp. Einstein-Weyl), then D is a Yang-Mills connection.

• Bulletin of the Korean Mathematical Society
• /
• v.59 no.4
• /
• pp.853-868
• /
• 2022

We study the structure of right regular commutators, and call a ring R strongly C-regular if ab - ba ∈ (ab - ba)²R for any a, b ∈ R. We first prove that a noncommutative strongly C-regular domain is a division algebra generated by all commutators; and that a ring (possibly without identity) is strongly C-regular if and only if it is Abelian C-regular (from which we infer that strong C-regularity is left-right symmetric). It is proved that for a strongly C-regular ring R, (i) if R/W(R) is commutative, then R is commutative; and (ii) every prime factor ring of R is either a commutative domain or a noncommutative division ring, where W(R) is the Wedderburn radical of R.

• Journal of the Korean Mathematical Society
• /
• v.59 no.4
• /
• pp.733-756
• /
• 2022

In this paper, we introduce the notion of Gorenstein quasiresolving subcategories (denoted by 𝒢𝒬𝓡_𝒳 (𝓐)) in term of quasi-resolving subcategory 𝒳. We define a resolution dimension relative to the Gorenstein quasi-resolving categories 𝒢𝒬𝓡_𝒳 (𝓐). In addition, we study the stability of 𝒢𝒬𝓡_𝒳 (𝓐) and apply the obtained properties to special subcategories and in particular to modules categories. Finally, we use the restricted flat dimension of right B-module M to characterize the finitistic dimension of the endomorphism algebra B of a 𝒢𝒬_𝒳-projective A-module M.

• Journal of Applied and Pure Mathematics
• /
• v.5 no.1_2
• /
• pp.1-8
• /
• 2023

This study is on a Boolean B or Boolean lattice L in abstract algebra with closed binary operation *, complement and distributive properties. Both Binary operations and logic properties dominate this set. A lattice sheds light on binary operations and other algebraic structures. In particular, the construction of the elements of this L set from idempotent elements, our definition of k-order idempotent has led to the expanded definition of the definition of the lattice theory. In addition, a lattice offers clever solutions to vital problems in life with the concept of logic. The restriction on a lattice is clearly also limit such applications. The flexibility of logical theories adds even more vitality to practices. This is the main theme of the study. Therefore, the properties of the set elements resulting from the binary operation force the logic theory. According to the new definition given, some properties, lemmas and theorems of the lattice theory are examined. Examples of different situations are given.

• Communications of the Korean Mathematical Society
• /
• v.34 no.1
• /
• pp.279-286
• /
• 2019

Complex Grassmann manifolds $G_{n,k}$ are a generalization of complex projective spaces and have many important features some of which are captured by the $Pl{\ddot{u}}cker$ embedding $f:G_{n,k}{\rightarrow}{\mathbb{C}}P^{N-1}$ where $N=\(^n_k\)$. The problem of existence of cross sections of fibrations can be studied using the Gottlieb group. In a more generalized context one can use the relative evaluation subgroup of a map to describe the cohomology of smooth fiber bundles with fiber the (complex) Grassmann manifold $G_{n,k}$. Our interest lies in making use of techniques of rational homotopy theory to address problems and questions involving applications of Gottlieb groups in general. In this paper, we construct the Sullivan minimal model of the (complex) Grassmann manifold $G_{n,k}$ for $2{\leq}k<n$, and we compute the rational evaluation subgroup of the embedding $f:G_{n,k}{\rightarrow}{\mathbb{C}}P^{N-1}$. We show that, for the Sullivan model ${\phi}:A{\rightarrow}B$, where A and B are the Sullivan minimal models of ${\mathbb{C}}P^{N-1}$ and $G_{n,k}$ respectively, the evaluation subgroup $G_n(A,B;{\phi})$ of ${\phi}$ is generated by a single element and the relative evaluation subgroup $G^{rel}_n(A,B;{\phi})$ is zero. The triviality of the relative evaluation subgroup has its application in studying fibrations with fibre the (complex) Grassmann manifold.

• School Mathematics
• /
• v.18 no.3
• /
• pp.589-609
• /
• 2016

In this study, researchers have modernly reinterpreted geometric solving of cubic equations presented by an arabic mathematician, Omar Khayyam in medieval age, and have considered the pedagogical significance of geometric solving of the cubic equations using two conic sections in terms of analytic geometry. These efforts allow to analyze educational application of mathematics instruction and provide useful pedagogical implications in school mathematics such as 'connecting algebra-geometry', 'induction-generalization' and 'connecting analogous problems via analogy' for the geometric approaches of cubic equations: $x^3+4x=32$, $x^3+ax=b$, $x^3=4x+32$ and $x^3=ax+b$. It could be possible to reciprocally convert between algebraic representations of cubic equations and geometric representations of conic sections, while geometrically approaching the cubic equations from a perspective of connecting algebra and geometry. Also, it could be treated how to generalize solution of cubic equation containing variables from geometric solution in which coefficients and constant terms are given under a perspective of induction-generalization. Finally, it could enable to provide students with some opportunities to adapt similar solving procedures or methods into the newly-given cubic equation with a perspective of connecting analogous problems via analogy.

• Communications of the Korean Mathematical Society
• /
• v.35 no.4
• /
• pp.1095-1106
• /
• 2020

The purpose of this paper is to introduce a new class of rings that is closely related to the class of pseudo-Krull domains. Let 𝓗 = {R | R is a commutative ring and Nil(R) is a divided prime ideal of R}. Let R ∈ 𝓗 be a ring with total quotient ring T(R) and define 𝜙 : T(R) → R_Nil(R) by ${\phi}({\frac{a}{b}})={\frac{a}{b}}$ for any a ∈ R and any regular element b of R. Then 𝜙 is a ring homomorphism from T(R) into R_Nil(R) and 𝜙 restricted to R is also a ring homomorphism from R into R_Nil(R) given by ${\phi}(x)={\frac{x}{1}}$ for every x ∈ R. We say that R is a 𝜙-pseudo-Krull ring if 𝜙(R) = ∩ R_i, where each R_i is a nonnil-Noetherian 𝜙-pseudo valuation overring of 𝜙(R) and for every non-nilpotent element x ∈ R, 𝜙(x) is a unit in all but finitely many R_i. We show that the theories of 𝜙-pseudo Krull rings resemble those of pseudo-Krull domains.

• Kyungpook Mathematical Journal
• /
• v.55 no.1
• /
• pp.63-71
• /
• 2015

Let H be a separable infinite dimensional complex Hilbert space, and let $\mathcal{L}(H)$ denote the algebra of all bounded linear operators on H into itself. Let $A,B{\in}\mathcal{L}(H)$ we define the generalized derivation ${\delta}_{A,B}:\mathcal{L}(H){\mapsto}\mathcal{L}(H)$ by ${\delta}_{A,B}(X)=AX-XB$, we note ${\delta}_{A,A}={\delta}_A$. If the inequality ${\parallel}T-(AX-XA){\parallel}{\geq}{\parallel}T{\parallel}$ holds for all $X{\in}\mathcal{L}(H)$ and for all $T{\in}ker{\delta}_A$, then we say that the range of ${\delta}_A$ is orthogonal to the kernel of ${\delta}_A$ in the sense of Birkhoff. The operator $A{\in}\mathcal{L}(H)$ is said to be finite [22] if ${\parallel}I-(AX-XA){\parallel}{\geq}1(*)$ for all $X{\in}\mathcal{L}(H)$, where I is the identity operator. The well-known inequality (*), due to J. P. Williams [22] is the starting point of the topic of commutator approximation (a topic which has its roots in quantum theory [23]). In [16], the author showed that a paranormal operator is finite. In this paper we present some new classes of finite operators containing the class of paranormal operators and we prove that the range of a generalized derivation is orthogonal to its kernel for a large class of operators containing the class of normal operators.