• 제목/요약/키워드: semigroup

검색결과 379건 처리시간 0.025초

REDUCED PROPERTY OVER IDEMPOTENTS

  • Kwak, Tai Keun;Lee, Yang;Seo, Young Joo
    • Korean Journal of Mathematics
    • /
    • 제29권3호
    • /
    • pp.483-492
    • /
    • 2021
  • This article concerns the property that for any element a in a ring, if a2n = an for some n ≥ 2 then a2 = a. The class of rings with this property is large, but there also exist many kinds of rings without that, for example, rings of characteristic ≠2 and finite fields of characteristic ≥ 3. Rings with such a property is called reduced-over-idempotent. The study of reduced-over-idempotent rings is based on the fact that the characteristic is 2 and every nonzero non-identity element generates an infinite multiplicative semigroup without identity. It is proved that the reduced-over-idempotent property pass to polynomial rings, and we provide power series rings with a partial affirmative argument. It is also proved that every finitely generated subring of a locally finite reduced-over-idempotent ring is isomorphic to a finite direct product of copies of the prime field {0, 1}. A method to construct reduced-over-idempotent fields is also provided.

COMMUTATIVITY OF PRIME GAMMA NEAR RINGS WITH GENERALIZED DERIVATIONS

  • MARKOS, ADNEW;MIYAN, PHOOL;ALEMAYEHU, GETINET
    • Journal of applied mathematics & informatics
    • /
    • 제40권5_6호
    • /
    • pp.915-923
    • /
    • 2022
  • The purpose of the present paper is to obtain commutativity of prime Γ-near-ring N with generalized derivations F and G with associated derivations d and h respectively satisfying one of the following conditions:(i) G([x, y]α = ±f(y)α(xoy)βγg(y), (ii) F(x)βG(y) = G(y)βF(x), for all x, y ∈ N, β ∈ Γ (iii) F(u)βG(v) = G(v)βF(u), for all u ∈ U, v ∈ V, β ∈ Γ,(iv) if 0 ≠ F(a) ∈ Z(N) for some a ∈ V such that F(x)αG(y) = G(y)αF(x) for all x ∈ V and y ∈ U, α ∈ Γ.

A STUDY ON INVARIANT REGIONS, EXISTENCE AND UNIQUENESS OF THE GLOBAL SOLUTION FOR TRIDIAGONAL REACTION-DIFFUSION SYSTEMS

  • IQBAL M. BATIHA;NABILA BARROUK;ADEL OUANNAS;ABDULKARIM FARAH
    • Journal of applied mathematics & informatics
    • /
    • 제41권4호
    • /
    • pp.893-906
    • /
    • 2023
  • In this article, we are devoted to study the problem of the existence, uniqueness and positivity of the global solutions of the 3 × 3 reaction-diffusion systems with the total mass of the components with time. We also suppose that the nonlinear reaction term has a critical growth with respect to the gradient. The technique that we used to prove the global existence is the method of the compact semigroup.

ANTI-HYBRID INTERIOR IDEALS IN ORDERED SEMIGROUPS

  • LINESAWAT, KRITTIKA;LEKKOKSUNG, SOMSAK;LEKKOKSUNG, NAREUPANAT
    • Journal of applied mathematics & informatics
    • /
    • 제40권3_4호
    • /
    • pp.769-784
    • /
    • 2022
  • The main theme of this present paper is to study ordered semigroups in the context of anti-hybrid interior ideals. The notion of anti-hybrid interior ideals in ordered semigroups is introduced. We prove that the concepts of ideals and interior coincide in some particular classes of ordered semigroups; regular, intra-regular, and semisimple. Finally, the characterization of semisimple ordered semigroups in terms of anti-hybrid interior ideals is considered.

가변논리소자에 의한 논리함수의 실현에 관한 연구 (A Study on the Realiation of Logical function by flexible Logical Cells)

  • 임재탁
    • 대한전자공학회논문지
    • /
    • 제11권4호
    • /
    • pp.1.1-11
    • /
    • 1974
  • 변경의 Parameter를 제어 함으로써 임의의 조합논리함수를 이차원가변논리회로로 실현하는 일반적이고 조직적인 방법을 개발하였다. n변수-n출력 조합논리회로의 진리치표를 상태할당에 의해서 상태가의 변환으로 포착하여 이를 다치일변수 영리수수의 실현문제로 취급하였다. 이 다위일변수 함수집합이 정규결합연산에 환하여 반군을 이룬다는 사실에 착안하여 3개의 기저함수를 정의하고 이 기저함수에 의하여 임의의 다치일변수함수를 생성하는 기저함수렬의 조직적 구성법을 구하였다. 기저함수를 실현하는 기본회로를 단위회로의 일차원 배열로 구성하고 오직 하나의 기본회로만으로 3개의 기저함수외에도 몇개의 기저함수의 계열과 또 기저함수의 역함수를 실현하도록 하였다. 이 기본회로를 이차원으르 배열하고 변경의 parameter만을 적절히 설정 함으로써 임의의 조합논리회로를 실현하는 알고리즘을 구성하였다.

  • PDF

C(S) extensions of S-I-BCK-algebras

  • Zhaomu Chen;Yisheng Huang;Roh, Eun-Hwan
    • 대한수학회논문집
    • /
    • 제10권3호
    • /
    • pp.499-518
    • /
    • 1995
  • In this paper we consider more systematically the centralizer C(S) of the set $S = {f_a $\mid$ f_a : X \to X ; x \longmapsto x * a, a \in X}$ with respect to the semigroup End(X) of all endomorphisms of an implicative BCK-algebra X with the condition (S). We obtain a series of interesting results. The main results are stated as follows : (1) C(S) with repect to a binary operation * defined in a certain way forms a bounded implicative BCK-algebra with the condition (S). (2) X can be imbedded in C(S) such that X is an ideal of C(S)/ (3) If X is not bounded, it can be imbedded in a bounded subalgebra T of C(S) such that X is a maximal ideal of T. (4) If $X (\neq {0})$ is semisimple, C(S) is BCK-isomorphic to $\prod_{i \in I}{A_i}$ in which ${A_i}_{i \in I}$ is simple ideal family of X.

  • PDF

Lp-Boundedness for the Littlewood-Paley g-Function Connected with the Riemann-Liouville Operator

  • Rachdi, Lakhdar Tannech;Amri, Besma;Chettaoui, Chirine
    • Kyungpook Mathematical Journal
    • /
    • 제56권1호
    • /
    • pp.185-220
    • /
    • 2016
  • We study the Gauss and Poisson semigroups connected with the Riemann-Liouville operator defined on the half plane. Next, we establish a principle of maximum for the singular partial differential operator $${\Delta}_{\alpha}={\frac{{\partial}^2}{{\partial}r^2}+{\frac{2{\alpha}+1}{r}{\frac{\partial}{{\partial}r}}+{\frac{{\partial}^2}{{\partial}x^2}}+{\frac{{\partial}^2}{{\partial}t^2}}};\;(r,x,t){\in}]0,+{\infty}[{\times}{\mathbb{R}}{\times}]0,+{\infty}[$$. Later, we define the Littlewood-Paley g-function and using the principle of maximum, we prove that for every $p{\in}]1,+{\infty}[$, there exists a positive constant $C_p$ such that for every $f{\in}L^p(d{\nu}_{\alpha})$, $${\frac{1}{C_p}}{\parallel}f{\parallel}_{p,{\nu}_{\alpha}}{\leqslant}{\parallel}g(f){\parallel}_{p,{\nu}_{\alpha}}{\leqslant}C_p{\parallel}f{\parallel}_{p,{\nu}_{\alpha}}$$.

EXTREMELY MEASURABLE SUBALGEBRAS

  • Ayyaswamy, S.K.
    • 대한수학회보
    • /
    • 제22권1호
    • /
    • pp.7-10
    • /
    • 1985
  • For each a.mem.S and f.mem.m(S), denote by $l_{a}$ f(s)=f(as) for all s.mem.S. If A is a norm closed left translation invariant subalgebra of m(S) (i.e. $l_{a}$ f.mem.A whenever f.mem.A and a.mem.S) containing 1, the constant ont function on S and .phi..mem. $A^{*}$, the dual of A, then .phi. is a mean on A if .phi.(f).geq.0 for f.geq.0 and .phi.(1) = 1, .phi. is multiplicative if .phi. (fg)=.phi.(f).phi.(g) for all f, g.mem.A; .phi. is left invariant if .phi.(1sf)=.phi.(f) for all s.mem.S and f.mem.A. It is well known that the set of multiplicative means on m(S) is precisely .betha.S, the Stone-Cech compactification of S[7]. A subalgebra of m(S) is (extremely) left amenable, denoted by (ELA)LA if it is nom closed, left translation invariant containing contants and has a multiplicative left invariant mean (LIM). A semigroup S is (ELA) LA, if m(S) is (ELA)LA. A subset E.contnd.S is left thick (T. Mitchell, [4]) if for any finite subser F.contnd.S, there exists s.mem.S such that $F_{s}$ .contnd.E or equivalently, the family { $s^{-1}$ E : s.mem.S} has finite intersection property.y.

  • PDF

SIMPLE VALUATION IDEALS OF ORDER 3 IN TWO-DIMENSIONAL REGULAR LOCAL RINGS

  • Noh, Sun-Sook
    • 대한수학회논문집
    • /
    • 제23권4호
    • /
    • pp.511-528
    • /
    • 2008
  • Let (R, m) be a 2-dimensional regular local ring with algebraically closed residue field R/m. Let K be the quotient field of R and $\upsilon$ be a prime divisor of R, i.e., a valuation of K which is birationally dominating R and residually transcendental over R. Zariski showed that there are finitely many simple $\upsilon$-ideals $m\;=\;P_0\;{\supset}\;P_1\;{\supset}\;{\cdots}\;{\supset}\;P_t\;=\;P$ and all the other $\upsilon$-ideals are uniquely factored into a product of those simple ones [17]. Lipman further showed that the predecessor of the smallest simple $\upsilon$-ideal P is either simple or the product of two simple $\upsilon$-ideals. The simple integrally closed ideal P is said to be free for the former and satellite for the later. In this paper we describe the sequence of simple $\upsilon$-ideals when P is satellite of order 3 in terms of the invariant $b_{\upsilon}\;=\;|\upsilon(x)\;-\;\upsilon(y)|$, where $\upsilon$ is the prime divisor associated to P and m = (x, y). Denote $b_{\upsilon}$ by b and let b = 3k + 1 for k = 0, 1, 2. Let $n_i$ be the number of nonmaximal simple $\upsilon$-ideals of order i for i = 1, 2, 3. We show that the numbers $n_{\upsilon}$ = ($n_1$, $n_2$, $n_3$) = (${\lceil}\frac{b+1}{3}{\rceil}$, 1, 1) and that the rank of P is ${\lceil}\frac{b+7}{3}{\rceil}$ = k + 3. We then describe all the $\upsilon$-ideals from m to P as products of those simple $\upsilon$-ideals. In particular, we find the conductor ideal and the $\upsilon$-predecessor of the given ideal P in cases of b = 1, 2 and for b = 3k + 1, 3k + 2, 3k for $k\;{\geq}\;1$. We also find the value semigroup $\upsilon(R)$ of a satellite simple valuation ideal P of order 3 in terms of $b_{\upsilon}$.