• Kyungpook Mathematical Journal
• /
• v.13 no.2
• /
• pp.235-240
• /
• 1973

A k-dimensional vector bundle is a bundle ${\xi}=(E,P,B,F^k)$ with fibre $F^k$ satisfying the local triviality, where F is the field of real numbers R or complex numbers C ([1], [2] and [3]). Let $Vect_k(X)$ be the set consisting of all isomorphism classes of k-dimensional vector bundles over the topological space X. Then $Vect_F(X)=\{Vect_k(X)\}_{k=0,1,{\cdots}}$ is a semigroup with Whitney sum (${\S}1$). For a pair (X, A) of topological spaces, a difference isomorphism over (X, A) is a vector bundle morphism ([2], [3]) ${\alpha}:{\xi}_0{\rightarrow}{\xi}_1$ such that the restriction ${\alpha}:{\xi}_0{\mid}A{\longrightarrow}{\xi}_1{\mid}A$ is an isomorphism. Let $S_k(X,A)$ be the set of all difference isomorphism classes over (X, A) of k-dimensional vector bundles over X with fibre $F^k$. Then $S_F(X,A)=\{S_k(X,A)\}_{k=0,1,{\cdots}}$, is a semigroup with Whitney Sum (${\S}2$). In this paper, we shall prove a relation between $Vect_F(X)$ and $S_F(X,A)$ under some conditions (Theorem 2, which is the main theorem of this paper). We shall use the following theorem in the paper. THEOREM 1. Let ${\xi}=(E,P,B)$ be a locally trivial bundle with fibre F, where (B, A) is a relative CW-complex. Then all cross sections S of ${\xi}{\mid}A$ prolong to a cross section $S^*$ of ${\xi}$ under either of the following hypothesis: (H1) The space F is (m-1)-connected for each $m{\leq}dim$ B. (H2) There is a relative CW-complex (Y, X) such that $B=Y{\times}I$ and $A=(X{\times}I)$ ${\cap}(Y{\times}O)$, where I=[0, 1]. (For proof see p.21 [2]).

• Journal of the Korean Mathematical Society
• /
• v.54 no.1
• /
• pp.69-86
• /
• 2017

The point $P{\in}{\mathbb{P}}^2$ is referred to as a Galois point for a nonsingular plane algebraic curve C if the projection ${\pi}_P:C{\rightarrow}{\mathbb{P}}^1$ from P is a Galois covering. In contrast, the point $P^{\prime}{\in}C^{\prime}$ is referred to as a weak Galois Weierstrass point of a nonsingular algebraic curve C' if P' is a Weierstrass point of C' and a total ramification point of some Galois covering $f:C^{\prime}{\rightarrow}{\mathbb{P}}^1$. In this paper, we discuss the following phenomena. For a nonsingular plane curve C with a Galois point P and a double covering ${\varphi}:C{\rightarrow}C^{\prime}$, if there exists a common ramification point of ${\pi}_P$ and ${\varphi}$, then there exists a weak Galois Weierstrass point $P^{\prime}{\in}C^{\prime}$ with its Weierstrass semigroup such that H(P') = or , which is a semigroup generated by two positive integers r and 2r + 1 or 2r - 1, such that P' is a branch point of ${\varphi}$. Conversely, for a weak Galois Weierstrass point $P^{\prime}{\in}C^{\prime}$ with H(P') = or , there exists a nonsingular plane curve C with a Galois point P and a double covering ${\varphi}:C{\rightarrow}C^{\prime}$ such that P' is a branch point of ${\varphi}$.

• Honam Mathematical Journal
• /
• v.38 no.2
• /
• pp.403-423
• /
• 2016

We introduce the concepts of interval-valued fuzzy complete inner-unitary subsemigroups and interval-valued fuzzy group congruences on a semigroup. And we investigate some of their properties. Also, we prove that there is a one to one correspondence between the interval-valued fuzzy complete inner-unitary subsemigroups and the interval-valued fuzzy group congruences on a regular semigroups.

• Journal of the Korean Mathematical Society
• /
• v.38 no.6
• /
• pp.1191-1204
• /
• 2001

The paper is devoted to the study of fractional integration and differentiation on a finite interval [a, b] of the real axis in the frame of Hadamard setting. The constructions under consideration generalize the modified integration $\int_{a}^{x}(t/x)^{\mu}f(t)dt/t$ and the modified differentiation ${\delta}+{\mu}({\delta}=xD,D=d/dx)$ with real $\mu$, being taken n times. Conditions are given for such a Hadamard-type fractional integration operator to be bounded in the space $X^{p}_{c}$(a, b) of Lebesgue measurable functions f on $R_{+}=(0,{\infty})$ such that for c${\in}R=(-{\infty}{\infty})$, in particular in the space $L^{p}(0,{\infty})\;(1{\le}{\le}{\infty})$. The existence almost every where is established for the coorresponding Hadamard-type fractional derivative for a function g(x) such that $x^{p}$g(x) have $\delta$ derivatives up to order n-1 on [a, b] and ${\delta}^{n-1}[x^{\mu}$g(x)] is absolutely continuous on [a, b]. Semigroup and reciprocal properties for the above operators are proved.

• Kyungpook Mathematical Journal
• /
• v.57 no.4
• /
• pp.545-558
• /
• 2017

In this paper, we introduce generalised quasi-ideals in ordered ternary semigroups. Also, we define ordered m-right ideals, ordered (p, q)-lateral ideals and ordered n-left ideals in ordered ternary semigroups and studied the relation between them. Some intersection properties of ordered (m,(p, q), n)-quasi ideals are examined. We also characterize these notions in terms of minimal ordered (m,(p, q), n)-quasi-ideals in ordered ternary semigroups. Moreover, m-right simple, (p, q)-lateral simple, n-left simple, and (m,(p, q), n)-quasi simple ordered ternary semigroups are defined and some properties of them are studied.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.10 no.6
• /
• pp.2835-2850
• /
• 2016

RSA is a public key cryptosystem that is currently the most popularly used in information security. Development of RSA variants has attracted many researchers since its introduction in 1978 by Ron Rivest, Adi Shamir, and Leonard Adleman. In this paper, we propose an algebraic structure for RSA and show that the proposed structure covers all known RSA variants. The usefulness of the proposed structure is then proved by showing that, following the structure we can construct a RSA variant based on the Bergman ring. We compare the original RSA and its variants from the point of view of factoring the modulus to determine why the original RSA is widely used than its variants.

• Journal of applied mathematics & informatics
• /
• v.27 no.1_2
• /
• pp.13-23
• /
• 2009

Some strong convergence theorems of explicit iteration scheme for asymptotically nonexpansive semi-groups in Banach spaces are established. The results presented in this paper extend and improve some recent results in [T. Suzuki. On strong convergence to common fixed points of nonexpansive semigroups in Hilbert spaces, Proc. Amer. Math. Soc. 131(2002)2133-2136; H. K. Xu. A strong convergence theorem for contraction semigroups in Banach spaces, Bull. Aust. Math. Soc. 72(2005)371-379; N. Shioji and W. Takahashi. Strong convergence theorems for continuous semigroups in Banach spaces, Math. Japonica. 1(1999)57-66; T. Shimizu and W. Takahashi. Strong convergence to common fixed points of families of nonexpansive mappings, J. Math. Anal. Appl. 211(1997)71-83; N. Shioji and W. Takahashi. Strong convergence theorems for asymptotically nonexpansive mappings in Hilbert spaces, Nonlinear Anal. TMA, 34(1998)87-99; H. K. Xu. Approximations to fixed points of contraction semigroups in Hilbert space, Numer. Funct. Anal. Optim. 19(1998), 157-163.]

• Bulletin of the Korean Mathematical Society
• /
• v.55 no.4
• /
• pp.1065-1092
• /
• 2018

This manuscript is involved with a category of second-order impulsive functional integro-differential equations with nonlocal conditions in Banach spaces. Sufficient conditions for existence and approximate controllability of mild solutions are acquired by making use of the theory of cosine family, Banach contraction principle and Leray-Schauder nonlinear alternative fixed point theorem. An illustration is additionally furnished to prove the attained principles.

• Bulletin of the Korean Mathematical Society
• /
• v.51 no.4
• /
• pp.1055-1062
• /
• 2014

Let $O_n$ and $PO_n$ denote the order-preserving transformation and the partial order-preserving transformation semigroups on the set $X_n=\{1,{\ldots},n\}$, respectively. Then the strictly partial order-preserving transformation semigroup $SPO_n$ on the set $X_n$, under its natural order, is defined by $SPO_n=PO_n{\setminus}O_n$. In this paper we find necessary and sufficient conditions for any subset of SPO(n, r) to be a (minimal) generating set of SPO(n, r) for $2{\leq}r{\leq}n-1$.

• Journal of the Korean Mathematical Society
• /
• v.55 no.3
• /
• pp.531-551
• /
• 2018

In this paper we consider a class of nonlocal parabolic equations in bounded domains with Dirichlet boundary conditions and a new class of nonlinearities. We first prove the existence and uniqueness of weak solutions by using the compactness method. Then we study the existence and fractal dimension estimates of the global attractor for the continuous semigroup generated by the problem. We also prove the existence of stationary solutions and give a sufficient condition for the uniqueness and global exponential stability of the stationary solution. The main novelty of the obtained results is that no restriction is imposed on the upper growth of the nonlinearities.