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

The concept of jump concerns the distribution of $Tur{\acute{a}}n$ densities. A number ${\alpha}\;{\in}\;[0,1)$ is a jump for r if there exists a constant c > 0 such that if the $Tur{\acute{a}}n$ density of a family $\mathfrak{F}$ of r-uniform graphs is greater than ${\alpha}$, then the $Tur{\acute{a}}n$ density of $\mathfrak{F}$ is at least ${\alpha}+c$. To determine whether a number is a jump or non-jump has been a challenging problem in extremal hypergraph theory. In this paper, we give a way to generate non-jumps for hypergraphs. We show that if ${\alpha}$, ${\beta}$ are non-jumps for $r_1$, $r_2{\geq}2$ respectively, then $\frac{{\alpha}{\beta}(r_1+r_2)!r_1^{r_1}r_2^{r_2}}{r_1!r_2!(r_1+R_2)^{r_1+r_2}}$ is a non-jump for $r_1+r_2$. We also apply the Lagrangian method to determine the $Tur{\acute{a}}n$ density of the extension of the (r - 3)-fold enlargement of a 3-uniform matching.

• Journal of the Korean Mathematical Society
• /
• v.45 no.2
• /
• pp.425-433
• /
• 2008

Let R be a ring with identity $1_R$ and let U(R) denote the group of all units of R. A ring R is called locally finite if every finite subset in it generates a finite semi group multiplicatively. In this paper, some results are obtained as follows: (1) for any semilocal (hence semiperfect) ring R, U(R) is a finite (resp. locally finite) group if and only if R is a finite (resp. locally finite) ring; U(R) is a locally finite group if and only if U$(M_n(R))$ is a locally finite group where $M_n(R)$ is the full matrix ring of $n{\times}n$ matrices over R for any positive integer n; in addition, if $2=1_R+1_R$ is a unit in R, then U(R) is an abelian group if and only if R is a commutative ring; (2) for any semiperfect ring R, if E(R), the set of all idempotents in R, is commuting, then $R/J\cong\oplus_{i=1}^mD_i$ where each $D_i$ is a division ring for some positive integer m and |E(R)|=$2^m$; in addition, if 2=$1_R+1_R$ is a unit in R, then every idempotent is central.

• Bulletin of the Korean Mathematical Society
• /
• v.20 no.1
• /
• pp.45-49
• /
• 1983

If R is ring and M is a right (or left) R-module, then M is called a faithful R-module if, for some a in R, x.a=0 for all x.mem.M then a=0. In [4], R.E. Johnson defines that M is a prime module if every non-zero submodule of M is faithful. Let us define that M is of prime type provided that M is faithful if and only if every non-zero submodule is faithful. We call a right (left) ideal I of R is of prime type if R/I is of prime type as a R-module. This is equivalent to the condition that if xRy.subeq.I then either x.mem.I ro y.mem.I (see [5:3:1]). It is easy to see that in case R is a commutative ring then a right or left ideal of a prime type is just a prime ideal. We have defined in [5], that a chain of right ideals of prime type in a ring R is a finite strictly increasing sequence I$_{0}$.contnd.I$_{1}$.contnd....contnd.I$_{n}$; the length of the chain is n. By the right dimension of a ring R, which is denoted by dim, R, we mean the supremum of the length of all chains of right ideals of prime type in R. It is an integer .geq.0 or .inf.. The left dimension of R, which is denoted by dim$_{l}$ R is similarly defined. It was shown in [5], that dim$_{r}$R=0 if and only if dim$_{l}$ R=0 if and only if R modulo the prime radical is a strongly regular ring. By "a strongly regular ring", we mean that for every a in R there is x in R such that axa=a=a$^{2}$x. It was also shown that R is a simple ring if and only if every right ideal is of prime type if and only if every left ideal is of prime type. In case, R is a (right or left) primitive ring then dim$_{r}$R=n if and only if dim$_{l}$ R=n if and only if R.iden.D$_{n+1}$ , n+1 by n+1 matrix ring on a division ring D. in this paper, we establish the following results: (1) If R is prime ring and dim$_{r}$R=n then either R is a righe Ore domain such that every non-zero right ideal of a prime type contains a non-zero minimal prime ideal or the classical ring of ritght quotients is isomorphic to m*m matrix ring over a division ring where m.leq.n+1. (b) If R is prime ring and dim$_{r}$R=n then dim$_{l}$ R=n if dim$_{l}$ R=n if dim$_{l}$ R<.inf. (c) Let R be a principal right and left ideal domain. If dim$_{r}$R=1 then R is an unique factorization domain.TEX>R=1 then R is an unique factorization domain.

• Bulletin of the Korean Chemical Society
• /
• v.20 no.4
• /
• pp.427-430
• /
• 1999

The Grignard coupling reaction of bis(chloromethyl)diorganosilanes [(ClCH2)2SiR1R2: R1 = R2 = Me, la; R1 = Me, R2 = Ph, lb; R1 = R2 = Ph, lc] with diorganodichlorosilanes [(Cl2SiR3R4: R3 = R4 = Me, 2a; R3 = Me, R4 = Ph, 2b; R3 = R4 = Ph, 2c] at THE reflux temperature gave the intermolecular C-Si coupling product of 1,1,3,3-tetraorgano-1,3-disilacyclobutanes 3a-f in poor to moderate yields ranging from 7% to 50% along with polydiorganosilapropanes. The cyclization reaction of la-c with methyl-substituted dichlorosilanes 2a, b gave 1,3-disilacyclobutanes 3a-c, e, d in moderate yields (42-50%), while the same reaction with dichlorodiphenylsilane (2c) to 1,3-disilacyclobutanes 3d, f resulted in low yield (7-18%) probably due to the steric hindrance of two-phenyl groups on the silicon of 2c.

• Bulletin of the Korean Mathematical Society
• /
• v.22 no.1
• /
• pp.11-15
• /
• 1985

Manddelberg [9] has shown that a Clifford algebra of a free quadratic space over an arbitrary semi-local ring R in Brawer-Wall group BW(R) is determined by its rank, determinant, and Hasse invariant. In this paper, we prove a corresponding result when R is a full ring.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 non-degenerate (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)=1/2(.phi.(x+y)-.phi.(x)-.phi.(y)) 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 U9R). 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 $a_{11}$, $a_{22}$] for the space. A commutative ring R having 2 a unit is called full [10] if for every triple $a_{1}$, $a_{2}$, $a_{3}$ of elements in R with ( $a_{1}$, $a_{2}$, $a_{3}$)=R, there is an element w in R such that $a_{1}$+ $a_{2}$w+ $a_{3}$ $w^{2}$=unit.TEX>=unit.t.t.t.

• Kyungpook Mathematical Journal
• /
• v.54 no.1
• /
• pp.95-101
• /
• 2014

An n-tuple ($a_1,a_2,{\ldots},a_n$) is symmetric, if $a_k$ = $a_{n-k+1}$, $1{\leq}k{\leq}n$. Let $H_n$ = {$(a_1,a_2,{\ldots},a_n)$ ; $a_k$ ${\in}$ {+,-}, $a_k$ = $a_{n-k+1}$, $1{\leq}k{\leq}n$} be the set of all symmetric n-tuples. A symmetric n-sigraph (symmetric n-marked graph) is an ordered pair $S_n$ = (G,${\sigma}$) ($S_n$ = (G,${\mu}$)), where G = (V,E) is a graph called the underlying graph of $S_n$ and ${\sigma}$:E ${\rightarrow}H_n({\mu}:V{\rightarrow}H_n)$ is a function. The restricted super line graph of index r of a graph G, denoted by $\mathcal{R}\mathcal{L}_r$(G). The vertices of $\mathcal{R}\mathcal{L}_r$(G) are the r-subsets of E(G) and two vertices P = ${p_1,p_2,{\ldots},p_r}$ and Q = ${q_1,q_2,{\ldots},q_r}$ are adjacent if there exists exactly one pair of edges, say $p_i$ and $q_j$, where $1{\leq}i$, $j{\leq}r$, that are adjacent edges in G. Analogously, one can define the restricted super line symmetric n-sigraph of index r of a symmetric n-sigraph $S_n$ = (G,${\sigma}$) as a symmetric n-sigraph $\mathcal{R}\mathcal{L}_r$($S_n$) = ($\mathcal{R}\mathcal{L}_r(G)$, ${\sigma}$'), where $\mathcal{R}\mathcal{L}_r(G)$ is the underlying graph of $\mathcal{R}\mathcal{L}_r(S_n)$, where for any edge PQ in $\mathcal{R}\mathcal{L}_r(S_n)$, ${\sigma}^{\prime}(PQ)$=${\sigma}(P){\sigma}(Q)$. It is shown that for any symmetric n-sigraph $S_n$, its $\mathcal{R}\mathcal{L}_r(S_n)$ is i-balanced and we offer a structural characterization of super line symmetric n-sigraphs of index r. Further, we characterize symmetric n-sigraphs $S_n$ for which $\mathcal{R}\mathcal{L}_r(S_n)$~$\mathcal{L}_r(S_n)$ and $$\mathcal{R}\mathcal{L}_r(S_n){\sim_=}\mathcal{L}_r(S_n)$$, where ~ and $$\sim_=$$ denotes switching equivalence and isomorphism and $\mathcal{R}\mathcal{L}_r(S_n)$ and $\mathcal{L}_r(S_n)$ are denotes the restricted super line symmetric n-sigraph of index r and super line symmetric n-sigraph of index r of $S_n$ respectively.

• Bulletin of the Korean Mathematical Society
• /
• v.57 no.4
• /
• pp.1075-1081
• /
• 2020

Let R be a domain. It is proved that R is coherent when IFD(R) ⩽ 1, and R is Noetherian when IPD(R) ⩽ 1. Consequently, R is a G-Prüfer domain if and only if IFD(R) ⩽ 1, if and only if wG-gldim(R) ⩽ 1; and R is a G-Dedekind domain if and only if IPD(R) ⩽ 1.

• Bulletin of the Korean Mathematical Society
• /
• v.57 no.3
• /
• pp.709-737
• /
• 2020

Let R be a prime ring of characteristic different from 2. Suppose that F, G, H and T are generalized derivations of R. Let U be the Utumi quotient ring of R and C be the center of U, called the extended centroid of R and let f(x₁, …, x_n) be a non central multilinear polynomial over C. If F(f(r₁, …, r_n))G(f(r₁, …, r_n)) - f(r₁, …, r_n)T(f(r₁, …, r_n)) = H(f(r₁, …, r_n)²) for all r₁, …, r_n ∈ R, then we describe all possible forms of F, G, H and T.

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

Let m be any positive integer, R be a ring with identity, $M_m(R)$ be the matrix ring of all m by m matrices eve. R and $G_m(R)$ be the multiplicative group of all n by n nonsingular matrices in $M_m(R)$. In this pape., the following are investigated: (1) for any pairwise coprime ideals ${I_1,\;I_2,\;...,\;I_n}$ in a ring R, $M_m(R/(I_1{\cap}I_2{\cap}...{\cap}I_n))$ is isomorphic to $M_m(R/I_1){\times}M_m(R/I_2){\times}...{\times}M_m(R/I_n);$ and $G_m(R/I_1){\cap}I_2{\cap}...{\cap}I_n))$ is isomorphic to $G_m(R/I_1){\times}G_m(R/I_2){\times}...{\times}G_m(R/I_n);$ (2) In particular, if R is a finite ring with identity, then the order of $G_m(R)$ can be computed.

• Journal of applied mathematics & informatics
• /
• v.5 no.3
• /
• pp.819-826
• /
• 1998

The purpose of this paper is to prove the following results; (1) Let R be a prime ring of char $(R)\neq 2$ and I a nonzero left ideal of R. The existence of a nonzero symmetric bi-derivation D : $R\timesR\;\longrightarrow\;$ such that d is sew-commuting on I where d is the trace of D forces R to be commutative (2) Let m and n be integers with $m\;\neq\;0.\;or\;n\neq\;0$. Let R be a noncommutative prime ring of char$ (R))\neq \; 2-1\; p_1 \;n_1$ where p is a prime number which is a divisor of m, and I a nonzero two-sided ideal of R. Let $D_1$ ; $R\;\times\;R\;\longrightarrow\;and\;$ $D_2\;:\;R\;\times\;R\;longrightarrow\;R$ be symmetric bi-derivations. Suppose further that there exists a symmetric bi-additive mapping B ; $R\;\times\;R\;\longrightarrow\;and\;$ such that $md_1(\chi)\chi ＋ n\chi d_2(\chi)=f(\chi$) holds for all $\chi$$\in$I, where $d_1 \;and\; d_2$ are the traces of $D_1 \;and\; D_2$ respectively and f is the trace of B. Then we have $D_1=0 \;and\; D_2=0$.