• 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.

• Honam Mathematical Journal
• /
• v.42 no.1
• /
• pp.93-103
• /
• 2020

This article concerns a property of Abelain π-regular rings. A ring R shall be called right quasi-DR if for every a ∈ R there exists n ≥ 1 such that C(R)aⁿ ⊆ aR, where C(R) means the monoid of regular elements in R. The relations between the right quasi-DR property and near ring theoretic properties are investigated. We next show that the class of right quasi-DR rings is quite large.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.25 no.10A
• /
• pp.1560-1565
• /
• 2000

Over an additive abelian group G of order g and for a given positive integer λ, a generalized Hadamard matrix GF(g,λ) is defined as a gλ$\times$gλ matrix [h(i,j)] where 1$\leq$i$\leq$gλ,1$\leq$j$\leq$gλ, such that every element of G appears exactly λ times in the list h(i$_1$,1)-h(i$_2$,1), h(i$_1$,2)-h(i$_2$,2),...,h(i$_1$,gλ)-h(i$_2$, gλ) for any i$\neq$j. In this paper, we propose a new method of expanding a GH(\ulcorner,λ$_1$) = B = \ulcorner over G by replacing each of its m-tuple \ulcorner with \ulcorner GH(g,λ$_2$) where m=gλ$_2$. We may use \ulcornerλ$_1$(not necessarily all distinct) GH(g,λ$_2$)'s for the substitution and the resulting matrix is defined over the group of order g.

• Bulletin of the Korean Mathematical Society
• /
• v.46 no.1
• /
• pp.135-146
• /
• 2009

In the present note we study the properties of weak Armendariz rings, and the connections among weak Armendariz rings, Armendariz rings, reduced rings and IFP rings. We prove that a right Ore ring R is weak Armendariz if and only if so is Q, where Q is the classical right quotient ring of R. With the help of this result we can show that a semiprime right Goldie ring R is weak Armendariz if and only if R is Armendariz if and only if R is reduced if and only if R is IFP if and only if Q is a finite direct product of division rings, obtaining a simpler proof of Lee and Wong's result. In the process we construct a semiprime ring extension that is infinite dimensional, from given any semi prime ring. We next find more examples of weak Armendariz rings.

• The Journal of Natural Sciences
• /
• v.11 no.1
• /
• pp.11-14
• /
• 1999

Let G be a compact Lie group and let $\rho$ : G $\rightarrow O(2) be a homomorphism. Denote by V the G-module associated with $\rho$ and by S(V) the unit circle of V. In this paper, we show that if G is abelian, then a real G-vector bundle over S(V) is isomorphic to Whitney sum of real G-line or G-plane bundles.

• Bulletin of the Korean Mathematical Society
• /
• v.56 no.4
• /
• pp.815-827
• /
• 2019

It is well known that the denominator of the Dedekind sum s(c, d) divides 2 gcd(d, 3)d and that no smaller denominator independent of c can be expected. In contrast, here we prove that we usually get a smaller denominator in S(H, d), the sum of the s(c, d)'s over all the c's in a subgroup H of order n > 1 in the multiplicative group $(\mathbb{Z}/d\mathbb{Z})^*$. First, we prove that for p > 3 a prime, the sum 2S(H, p) is a rational integer of the same parity as (p-1)/2. We give an application of this result to upper bounds on relative class numbers of imaginary abelian number fields of prime conductor. Finally, we give a general result on the denominator of S(H, d) for non necessarily prime d's. We show that its denominator is a divisor of some explicit divisor of 2d gcd(d, 3).

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

This article concerns the normal property of elements on Jacobson and nil radicals which are generalizations of commutativity. A ring is said to be right njr if it satisfies the normal property on the Jacobson radical. Similarly a ring is said to be right nunr (resp., right nlnr) if it satisfies the normal property on the upper (resp., lower) nilradical. We investigate the relations between right duo property and the normality on Jacobson (nil) radicals. Related examples are investigated in the procedure of studying the structures of right njr, nunr, and nlnr rings.

• Journal of the Korean Mathematical Society
• /
• v.56 no.2
• /
• pp.289-309
• /
• 2019

This paper is intended as a discussion of some generalizations of the notion of a reversible ring, which may be obtained by the restriction of the zero commutative property from the whole ring to some of its subsets. By the INCZ property we will mean the commutativity of idempotent elements of a ring with its nilpotent elements at zero, and by ICZ property we will mean the commutativity of idempotent elements of a ring at zero. We will prove that the INCZ property is equivalent to the abelianity even for nonunital rings. Thus the INCZ property implies the ICZ property. Under the assumption on the existence of unit, also the ICZ property implies the INCZ property. As we will see, in the case of nonunital rings, there are a few classes of rings separating the class of INCZ rings from the class of ICZ rings. We will prove that the classes of rings, that will be discussed in this note, are closed under extending to the rings of polynomials and formal power series.

• Bulletin of the Korean Mathematical Society
• /
• v.56 no.5
• /
• pp.1257-1272
• /
• 2019

This article concerns the structure of idempotents in reversible and pseudo-reversible rings in relation with various sorts of ring extensions. It is known that a ring R is reversible if and only if $ab{\in}I(R)$ for $a,b{\in}R$ implies ab = ba; and a ring R shall be said to be pseudoreversible if $0{\neq}ab{\in}I(R)$ for $a,b{\in}R$ implies ab = ba, where I(R) is the set of all idempotents in R. Pseudo-reversible is seated between reversible and quasi-reversible. It is proved that the reversibility, pseudoreversibility, and quasi-reversibility are equivalent in Dorroh extensions and direct products. Dorroh extensions are also used to construct several sorts of rings which are necessary in the process.

• Journal of the Korean Mathematical Society
• /
• v.56 no.5
• /
• pp.1371-1385
• /
• 2019

Given a topological space X and a non-negative integer k, ${\varepsilon}^{\sharp}_k(X)$ is the set of all self-homotopy equivalences of X that do not change maps from X to an t-sphere $S^t$ homotopically by the composition for all $t{\geq}k$. This set is a subgroup of the self-homotopy equivalence group ${\varepsilon}(X)$. We find certain homotopic tools for computations of ${\varepsilon}^{\sharp}_k(X)$. Using these results, we determine ${\varepsilon}^{\sharp}_k(M(G,n))$ for $k{\geq}n$, where M(G, n) is a Moore space type of (G, n) for a finitely generated abelian group G.