• Communications of the Korean Mathematical Society
• /
• v.10 no.2
• /
• pp.293-300
• /
• 1995

Let $R = k[y_1,\cdots,y_n] \otimes E[x_1, \cdots, x_n]$ with characteristic $k = p > 2$ (odd prime), where $$\mid$y_i$\mid$ = 2, $\mid$x_i$\mid$ = 1$ and $y_i = \betax_i, \beta$ is the Bockstein homomorphism. Topologically, $R = H^*(B(Z/p)^n,k)$. For a symmetric group $\sum_n, R^{\sum_n} = k[\sigma_1,\cdots,\sigma_n] \otimes E[d\sigma_1, \cdots, d\sigma_n]$ where d is the derivation satisfying $d(y_i) = x_i$ and $d(x_iy_i) = x_iy_i + x_jy_i, 1 \leq i, j \leq n$. We give a direct proof of this theorem by using induction.

• Journal of applied mathematics & informatics
• /
• v.30 no.3_4
• /
• pp.517-529
• /
• 2012

In this paper, the existence theorem of two positive solutions is established for nonlinear m-point boundary value problem by using an inequality for the following third-order differential equations $$({\phi}(u^{\prime\prime}))^{\prime}+a(t)f(t,u(t))=0,\;t{\in}(0,1)$$, $${\phi}(u^{\prime\prime}(0))=\sum^{m-2}_{i=1}a_i{\phi}(u^{\prime\prime}({\xi}_i)),\;u^{\prime}(1)=0,\;u(0)=\sum^{m-2}_{i=1}b_iu({\xi}_i)$$, where ${\phi}:R{\rightarrow}R$ is an increasing homeomorphism and homomorphism and $\phi(0)=0$. The nonlinear term f may change sign, as an application, an example to demonstrate our results is given.

• Journal of the Korean Mathematical Society
• /
• v.58 no.6
• /
• pp.1311-1325
• /
• 2021

One says that a ring homomorphism R → S is Ohm-Rush if extension commutes with arbitrary intersection of ideals, or equivalently if for any element f ∈ S, there is a unique smallest ideal of R whose extension to S contains f, called the content of f. For Noetherian local rings, we analyze whether the completion map is Ohm-Rush. We show that the answer is typically 'yes' in dimension one, but 'no' in higher dimension, and in any case it coincides with the content map having good algebraic properties. We then analyze the question of when the Ohm-Rush property globalizes in faithfully flat modules and algebras over a 1-dimensional Noetherian domain, culminating both in a positive result and a counterexample. Finally, we introduce a notion that we show is strictly between the Ohm-Rush property and the weak content algebra property.

• Bulletin of the Korean Mathematical Society
• /
• v.43 no.3
• /
• pp.519-529
• /
• 2006

The Property P Conjecture States that the 3-manifold $Y_r$ obtained by Dehn surgery on a non-trivial knot in $S^3$ with surgery coefficient ${\gamma}{\in}Q$ has the non-trivial fundamental group (so not simply connected). Recently Kronheimer and Mrowka provided a proof of the Property P conjecture for the case ${\gamma}={\pm}2$ that was the only remaining case to be established for the conjecture. In particular, their results show that the two phenomena of having a cyclic fundamental group and having a homomorphism with non-cyclic image in SU(2) are quite different for 3-manifolds obtained by Dehn filings. In this paper we extend their results to some other Dehn surgeries via the A-polynomial, and provide more evidence of the ubiquity of the above mentioned phenomena.

• Journal of the Korean Mathematical Society
• /
• v.50 no.4
• /
• pp.865-877
• /
• 2013

The disjoint union of mapping class groups of surfaces forms a braided monoidal category $\mathcal{M}$, as the disjoint union of the braid groups $\mathcal{B}$ does. We give a concrete and geometric meaning of the braidings ${\beta}_{r,s}$ in $\mathcal{M}$. Moreover, we find a set of elements in the mapping class groups which correspond to the standard generators of the braid groups. Using this, we can define an obvious map ${\phi}\;:\;B_g{\rightarrow}{\Gamma}_{g,1}$. We show that this map ${\phi}$ is injective and nongeometric in the sense of Wajnryb. Since this map extends to a braided monoidal functor ${\Phi}\;:\;\mathcal{B}{\rightarrow}\mathcal{M}$, the integral homology homomorphism induced by ${\phi}$ is trivial in the stable range.

• Communications of the Korean Mathematical Society
• /
• v.21 no.2
• /
• pp.337-345
• /
• 2006

John Harer conjectured that the canonical map from braid group to mapping class group induces zero homology homomorphism. To prove the conjecture it suffices to show that this map preserves the first Araki-Kudo-Dyer-Lashof operation. To get information on this homology operation we need to investigate the image of braiding under the Harer map. The main result of this paper is to give both algebraic and geometric interpretations of the image of braiding under the Harer map. For this we need to calculate long chains of consecutive actions of Dehn twists on the fundamental group of surface.

• Journal of the Korean Mathematical Society
• /
• v.58 no.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.