• Korean Journal of Mathematics
• /
• v.14 no.2
• /
• pp.227-232
• /
• 2006

We study some dynamical properties in the context of bitransformation groups, and show that if (H,X,T) is a bitransformation group such that (H,X) is almost periodic and (X/H,T) is pointwise almost periodic $T_2$ and $x{\in}X$, then $E_x=\{q{\in}E(H,X){\mid}qx{\in}{\overline{xT}\}$ is a compact $T_2$ topological group and $E_{qx}=E_x(q{\in}E(H,X))$ when H is abelian, where E(H,X) is the enveloping semigroup of the transformation group (H,X).

• Journal of applied mathematics & informatics
• /
• v.25 no.1_2
• /
• pp.17-33
• /
• 2007

Suppose F is an arbitrary field. Let ${\mid}F{\mid}$ be the number of the elements of F. Let $T_{n}(F)$ be the space of all $n{\times}n$ upper-triangular matrices over F. A map ${\Psi}\;:\;T_{n}(F)\;{\rightarrow}\;T_{n}(F)$ is said to preserve idempotence if $A-{\lambda}B$ is idempotent if and only if ${\Psi}(A)-{\lambda}{\Psi}(B)$ is idempotent for any $A,\;B\;{\in}\;T_{n}(F)$ and ${\lambda}\;{\in}\;F$. It is shown that: when the characteristic of F is not 2, ${\mid}F{\mid}\;>\;3$ and $n\;{\geq}\;3,\;{\Psi}\;:\;T_{n}(F)\;{\rightarrow}\;T_{n}(F)$ is a map preserving idempotence if and only if there exists an invertible matrix $P\;{\in}\;T_{n}(F)$ such that either ${\Phi}(A)\;=\;PAP^{-1}$ for every $A\;{\in}\;T_{n}(F)\;or\;{\Psi}(A)=PJA^{t}JP^{-1}$ for every $P\;{\in}\;T_{n}(F)$, where $J\;=\;{\sum}^{n}_{i-1}\;E_{i,n+1-i}\;and\;E_{ij}$ is the matrix with 1 in the (i,j)th entry and 0 elsewhere.

• Korean Journal of Fisheries and Aquatic Sciences
• /
• v.36 no.4
• /
• pp.402-408
• /
• 2003

A quantitative method was suggested for estimating damages in fishery production due to the diffusion and deposition of suspended silt and clay by various construction processes in tidal flat fishing grounds. Marine populations are maintained through the process of spawning, growth, recruitment, natural death and death by fishing each year. All of the year classes of the population in a fishery ground could be affected when damages occur by human activities such as land filling or reclamation. The propose of this study is to calculate damages in terms of fishery production using a quantitative population dynamic method. If the maximum age in the population is $X_\lambda,$ the starting year of damage is $t_s,$ and the ending year of damage is $t_e,$ the number of year classes damaged is $t_{s-n\lambda}-t_e,$ Many year classes present in the year $t_s,$ and so if damages occur, they Influence all the year classes which are present in the population. Damaged year classes in year $t_e$ would still be in the population until the year $t_{e+n\lambda}$, where $n_{\lambda}$ is the oldest age class. If the expected yield of a year class is constant, the total yield from year classes in the fishing ground during the construction periods can be calculated as follows: $Y_\Phi=[(t_e-t_s+1)+n_c]{\cdot}Y_E+\sum\limits^{n_\lambda-n_c}_{l=1}\;\sum\limits^{n_\lambda-n_c}_{l=i}\;Y_{n_c+i}$ This method was applied for damage estimation in the production of Ruditapes philippinarum in a tidal flat fishing ground.

• International Commerce and Information Review
• /
• v.7 no.1
• /
• pp.213-233
• /
• 2005

A letter of credit is the best settlement among various means of payments until now. A letter of credit plays very important roles in rational and smooth international trade. Letter of credit is usually used in international trade. But many people have to prepare a lot of transport documents in order to transact with L/C. Therefore, the transactions will be happened to delay in international trade very often. Owing to the EDI, international trade will be materialized with electronic business of E-commerce. If we transact with the electronic documents, it will be reduced the time very much in international trade. Generally speaking, all relating parties transact with L/C complying with UCP, but there are no ruling articles about electronic documents in UCP. If all parties want to transact with electronic documents in global business, UCP has to contain the electronic provisions. So, ICC published eUCP on 2002. The purpose of the study was to analyze original electronic papers and provisions through foreign precedents in UCP and eUCP. If we want to exchange the electronic document, the UCP provisions about electronic documents would be revised as follows: UCP provision 20(b) would be revised, “Unless otherwise stipulated in the credit, banks have to accept as an original documents, a documents produced or appearing to have been produced: (i)by reprographic, automated or computerized systems (ii)as carbon copies,; provided that it is marked as original and, where necessary, appears to be signed. A document may be signed by handwriting, by facsimile signature, by perforated signature by symbol, or by any other mechanical or electronic method of authentication."

• Bulletin of the Korean Mathematical Society
• /
• v.22 no.2
• /
• pp.121-126
• /
• 1985

D.K. Harrison [5] has shown that if R and S are fields of characteristic different from 2, then two Witt rings W(R) and W(S) are isomorphic if and only if W(R)/I(R)$^{3}$ and W(S)/I(S)$^{3}$ are isomorphic where I(R) and I(S) denote the fundamental ideals of W(R) and W(S) respectively. In [1], J.K. Arason and A. Pfister proved a corresponding result when the characteristics of R and S are 2, and, in [9], K.I. Mandelberg proved the result when R and S are commutative semi-local rings having 2 a unit. In this paper, we prove the result when R and S are 2-fold full rings. Throughout this paper, unless otherwise specified, we assume that R is a commutative ring having 2 a unit. A quadratic space (V, B, .phi.) over R is a finitely generated projective R-module V with a symmetric bilinear mapping B: V*V.rarw.R which is nondegenerate (i.e., the natural mapping V.rarw.Ho $m_{R}$ (V, R) induced by B is an isomorphism), and with a quadratic mapping .phi.:V.rarw.R such that B(x,y)=(.phi.(x+y)-.phi.(x)-.phi.(y))/2 and .phi.(rx)= $r^{2}$.phi.(x) for all x, y in V and r in R. We denote the group of multiplicative units of R by U(R). If (V, B, .phi.) is a free rank n quadratic space over R with an orthogonal basis { $x_{1}$, .., $x_{n}$}, we will write < $a_{1}$,.., $a_{n}$> for (V, B, .phi.) where the $a_{i}$=.phi.( $x_{i}$) are in U(R), and denote the space by the table [ $a_{ij}$ ] where $a_{ij}$ =B( $x_{i}$, $x_{j}$). In the case n=2 and B( $x_{1}$, $x_{2}$)=1/2, we reserve the notation [ $a_{11}$, $a_{22}$] for the space.the space.e.e.e.

• Journal of the Korean Mathematical Society
• /
• v.45 no.6
• /
• pp.1613-1622
• /
• 2008

Let G be a graph with vertex set V(G) and edge set E(G), and let g, f be two nonnegative integer-valued functions defined on V(G) such that $g(x)\;{\leq}\;f(x)$ for every vertex x of V(G). We use $d_G(x)$ to denote the degree of a vertex x of G. A (g, f)-factor of G is a spanning subgraph F of G such that $g(x)\;{\leq}\;d_F(x)\;{\leq}\;f(x)$ for every vertex x of V(F). In particular, G is called a (g, f)-graph if G itself is a (g, f)-factor. A (g, f)-factorization of G is a partition of E(G) into edge-disjoint (g, f)-factors. Let F = {$F_1$, $F_2$, ..., $F_m$} be a factorization of G and H be a subgraph of G with mr edges. If $F_i$, $1\;{\leq}\;i\;{\leq}\;m$, has exactly r edges in common with H, we say that F is r-orthogonal to H. If for any partition {$A_1$, $A_2$, ..., $A_m$} of E(H) with $|A_i|=r$ there is a (g, f)-factorization F = {$F_1$, $F_2$, ..., $F_m$} of G such that $A_i\;{\subseteq}E(F_i)$, $1\;{\leq}\;i\;{\leq}\;m$, then we say that G has (g, f)-factorizations randomly r-orthogonal to H. In this paper it is proved that every (0, mf - (m - 1)r)-graph has (0, f)-factorizations randomly r-orthogonal to any given subgraph with mr edges if $f(x)\;{\geq}\;3r\;-\;1$ for any $x\;{\in}\;V(G)$.

• Journal of the Korean Mathematical Society
• /
• v.45 no.5
• /
• pp.1393-1404
• /
• 2008

Let K be a nonempty closed convex subset of a Banach space E. Suppose $\{T_{n}\}$ (n = 1,2,...) is a uniformly asymptotically regular sequence of nonexpansive mappings from K to K such that ${\cap}_{n=1}^{\infty}$ F$\(T_n){\neq}{\phi}$. For $x_0{\in}K$, define $x_{n+1}={\lambda}_{n+1}x_{n}+(1-{\lambda}_{n+1})T_{n+1}x_{n},n{\geq}0$. If ${\lambda}_n{\subset}[0,1]$ satisfies $lim_{n{\rightarrow}{\infty}}{\lambda}_n=0$, we proved that $\{x_n\}$ weakly converges to some $z{\in}F\;as\;n{\rightarrow}{\infty}$ in the framework of reflexive Banach space E which satisfies the Opial's condition or has $Fr{\acute{e}}chet$ differentiable norm or its dual $E^*$ has the Kadec-Klee property. We also obtain that $\{x_n\}$ strongly converges to some $z{\in}F$ in Banach space E if K is a compact subset of E or there exists one map $T{\in}\{T_{n};n=1,2,...\}$ satisfy some compact conditions such as T is semi compact or satisfy Condition A or $lim_{n{\rightarrow}{\infty}}d(x_{n},F(T))=0$ and so on.

• Kyungpook Mathematical Journal
• /
• v.58 no.4
• /
• pp.747-759
• /
• 2018

A graph G = (V (G), E(G) of order n = |V (G)| and size m = |E(G)| is said to be odd harmonious if there exists an injection $f:V(G){\rightarrow}\{0,\;1,\;2,\;{\ldots},\;2m-1\}$ such that the induced function $f^*:E(G){\rightarrow}\{1,\;3,\;5,\;{\ldots},\;2m-1\}$ defined by $f^*(uv)=f(u)+f(v)$ is bijection. While a bipartite graph G with partite sets A and B is said to be bigraceful if there exist a pair of injective functions $f_A:A{\rightarrow}\{0,\;1,\;{\ldots},\;m-1\}$ and $f_B:B{\rightarrow}\{0,\;1,\;{\ldots},\;m-1\}$ such that the induced labeling on the edges $f_{E(G)}:E(G){\rightarrow}\{0,\;1,\;{\ldots},\;m-1\}$ defined by $f_{E(G)}(uv)=f_A(u)-f_B(v)$ (with respect to the ordered partition (A, B)), is also injective. In this paper we prove that odd harmonious graphs and bigraceful graphs are equivalent. We also prove that the number of distinct odd harmonious labeled graphs on m edges is m! and the number of distinct strongly odd harmonious labeled graphs on m edges is [m/2]![m/2]!. We prove that the Cartesian product of strongly odd harmonious trees is strongly odd harmonious. We find some new disconnected odd harmonious graphs.

• Communications of Mathematical Education
• /
• v.5
• /
• pp.523-523
• /
• 1997

Suppose that G is a group of permutations of a set ${\Omega}$. For a finite subset ${\gamma}$of${\Omega}$, the movement of ${\gamma}$ under the action of G is defined as move(${\gamma}$):=$max\limits_{g{\epsilon}G}|{\Gamma}^{g}{\backslash}{\Gamma}|$, and ${\gamma}$ will be said to have restricted movement if move(${\gamma}$)<|${\gamma}$|. Moreover if, for an infinite subset ${\gamma}$of${\Omega}$, the sets|{\Gamma}^{g}{\backslash}{\Gamma}| are finite and bounded as g runs over all elements of G, then we may define move(${\gamma}$)in the same way as for finite subsets. If move(${\gamma}$)${\leq}$m for all ${\gamma}$${\subseteq}$${\Omega}$, then G is said to have bounded movement and the movement of G move(G) is defined as the maximum of move(${\gamma}$) over all subsets ${\gamma}$ of ${\Omega}$. Having bounded movement is a very strong restriction on a group, but it is natural to ask just which permutation groups have bounded movement m. If move(G)=m then clearly we may assume that G has no fixed points is${\Omega}$, and with this assumption it was shown in [4, Theorem 1]that the number t of G=orbits is at most 2m-1, each G-orbit has length at most 3m, and moreover|${\Omega}$|${\leq}$3m+t-1${\leq}$5m-2. Moreover it has recently been shown by P. S. Kim, J. R. Cho and C. E. Praeger in [1] that essentially the only examples with as many as 2m-1 orbits are elementary abelian 2-groups, and by A. Gardiner, A. Mann and C. E. Praeger in [2,3]that essentially the only transitive examples in a set of maximal size, namely 3m, are groups of exponent 3. (The only exceptions to these general statements occur for small values of m and are known explicitly.) Motivated by these results, we would decide what role if any is played by primes other that 2 and 3 for describing the structure of groups of bounded movement.

• Communications of the Korean Mathematical Society
• /
• v.27 no.4
• /
• pp.689-699
• /
• 2012

(S, *) is a semigroup S equipped with a unary operation "*". This work is devoted to a class of unary semigroups, namely E-$inversive$ *-$semigroups$. A unary semigroup (S, *) is called an E-inversive *-semigroup if the following identities hold: $$x^*xx^*=x^*$$, $$(x^*)^*=xx^*x$$, $$(xy)^*=y^*x^*$$. In this paper, E-inversive *-semigroups are characterized by several methods. Furthermore, congruences on these semigroups are also studied.