• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.6 no.4
• /
• pp.321-330
• /
• 2006

We introduce the concept of intuitionistic fuzzy weak congruence on a semiring and obtain the relation between intuitionistic fuzzy weak congruence and intuitionistic fuzzy ideal of a semiring. Also we define and investigate intuitionistic fuzzy quotient semiring of a semiring over an intuitionistic fuzzy ideal or over an intuitionistic fuzzy weak congruence.

• Journal of the Chungcheong Mathematical Society
• /
• v.24 no.3
• /
• pp.449-456
• /
• 2011

In this paper, we considered the congruence relation, isomorphism and obtained some properties of HS-algebras.

• Journal of the Chungcheong Mathematical Society
• /
• v.27 no.1
• /
• pp.57-64
• /
• 2014

It is known that the class of CI-algebras is a generalization of the class of BE-algebras [5]. Recently, K. H. Kim introduced the notion of a CS-algebra [4]. In this paper we discuss a closed deductive system of a CS-algebra, and we find some fundamental properties. Moreover, we study a CS-algebra homomorphism and a congruence relation.

• East Asian mathematical journal
• /
• v.40 no.1
• /
• pp.95-107
• /
• 2024

Let K be an imaginary quadratic field with ring of integers 𝓞_K and N be a positive integer. By K_(N) we mean the ray class field of K modulo N𝓞_K. In this paper, for each prime p of K relatively prime to N𝓞_K we explicitly describe the action of the Artin symbol (${\frac{K_{(N)}/K}{p}}$) on special values of modular functions of level N. Furthermore, we extend the Kronecker congruence relation for the elliptic modular function j to some modular functions of higher level.

• The Pure and Applied Mathematics
• /
• v.4 no.2
• /
• pp.131-135
• /
• 1997

We give the relation between the semilattice congruence N and the set of prime ideals of the ordered $\Gamma$-semigroup M.

• Honam Mathematical Journal
• /
• v.44 no.2
• /
• pp.165-178
• /
• 2022

In this paper, Sheffer stroke BL-algebra and its properties are investigated. It is shown that a Cartesian product of two Sheffer stroke BL-algebras is a Sheffer stroke BL-algebra. After describing a filter of Sheffer stroke BL-algebra, a congruence relation on a Sheffer stroke BL-algebra is defined via its filter, and quotient of a Sheffer stroke BL-algebra is constructed via a congruence relation. Also, it is defined a homomorphism between Sheffer stroke BL-algebras and is presented its properties. Thus, it is stated that the class of Sheffer stroke BL-algebras forms a variety.

• Bulletin of the Korean Mathematical Society
• /
• v.50 no.2
• /
• pp.445-449
• /
• 2013

We consider a congruence ${\rho}$ on a group G as a subsemigroup of the direct product $G{\times}G$. It is well known that a relation ${\rho}$ on G is a congruence if and only if there exists a normal subgroup N of G such that ${\rho}=\{(s,\;t):st^{-1}{\in}N\}$. In this paper we prove that if G is a finitely presented group, and if N is a normal subgroup of G with finite index, then the congruence ${\rho}=\{(s,\;t):st^{-1}{\in}N\}$ on G is finitely presented.

• Kyungpook Mathematical Journal
• /
• v.6 no.1
• /
• pp.3-5
• /
• 1964

• Journal of the Korean Institute of Intelligent Systems
• /
• v.17 no.1
• /
• pp.100-111
• /
• 2007

We introduce the concept of intuitionistic fuzzy G-equivalence relations (congruence), and we obtain some results. Furthermore, we prove that $IFC_G(K)$ is isomorphic to $IFN^*(K)$ for any group K. Also, we prove that($IFC_{G,({\lambda},{\mu})}/{\sim},\;*$) and ($IFNG_{({\lambda},{\mu})}(K),\;{\circ}$) are isomorphic.

• Journal of the Korean School Mathematics Society
• /
• v.8 no.1
• /
• pp.89-100
• /
• 2005

This study is to compare contents of mathematics textbooks of Korea and Russia laying stress on topic 'congruence of triangles'. We analyze and compare contents description system, relation between congruent conditions of triangles and construction problem, and jestification methods of congruent conditions of triangles in Korean and Russian mathematics textbooks.