• East Asian mathematical journal
• /
• 제14권1호
• /
• pp.173-204
• /
• 1998

• Kyungpook Mathematical Journal
• /
• 제6권1호
• /
• pp.3-5
• /
• 1964

• Kyungpook Mathematical Journal
• /
• 제5권2호
• /
• pp.23-33
• /
• 1963

• East Asian mathematical journal
• /
• 제21권2호
• /
• pp.241-248
• /
• 2005

Properties of congruences on n-ary groups are investigated.

• 호남수학학술지
• /
• 제38권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.

• ETRI Journal
• /
• 제29권3호
• /
• pp.381-389
• /
• 2007

In this paper we propose a graph-theoretic method based on linear congruence for constructing low-density parity check (LDPC) codes. In this method, we design a connection graph with three kinds of special paths to ensure that the Tanner graph of the parity check matrix mapped from the connection graph is without short cycles. The new construction method results in a class of (3, ${\rho}$)-regular quasi-cyclic LDPC codes with a girth of 12. Based on the structure of the parity check matrix, the lower bound on the minimum distance of the codes is found. The simulation studies of several proposed LDPC codes demonstrate powerful bit-error-rate performance with iterative decoding in additive white Gaussian noise channels.

• 호남수학학술지
• /
• 제37권2호
• /
• pp.187-205
• /
• 2015

We discuss the relationship between interval-valued fuzzy ideals and interval-valued fuzzy congruence on a distributive lattice L and show that for a generalized Boolean algebra the lattice of interval-valued fuzzy ideals is isomorphic to the lattice of interval-valued fuzzy congruences. Finally we consider the products of interval-valued fuzzy ideals and obtain a necessary and sufficient condition for an interval-valued fuzzy ideal on the direct sum of lattices to be representable as a direct sum of interval-valued fuzzy ideals on each lattice.

• 대한수학회보
• /
• 제52권1호
• /
• pp.35-43
• /
• 2015

Let q > 1 be an odd integer and c be a fixed integer with (c, q) = 1. For each integer a with $1{\leq}a{\leq}q-1$, it is clear that the exists one and only one b with $0{\leq}b{\leq}q-1$ such that $ab{\equiv}c$ (mod q). Let N(c, q) denote the number of all solutions of the congruence equation $ab{\equiv}c$ (mod q) for $1{\leq}a$, $b{\leq}q-1$ in which a and $\bar{b}$ are of opposite parity, where $\bar{b}$ is defined by the congruence equation $b\bar{b}{\equiv}1$ (modq). The main purpose of this paper is using the mean value theorem of Dirichlet L-functions to study the mean value properties of a summation involving $(N(c,q)-\frac{1}{2}{\phi}(q))$ and Kloosterman sums, and give a sharper asymptotic formula for it.

• 대한수학회보
• /
• 제49권4호
• /
• pp.693-704
• /
• 2012

We consider Weierstrass functions and divisor functions arising from $q$-series. Using these we can obtain new identities for divisor functions. Farkas [3] provided a relation between the sums of divisors satisfying congruence conditions and the sums of numbers of divisors satisfying congruence conditions. In the proof he took logarithmic derivative to theta functions and used the heat equation. In this note, however, we obtain a similar result by differentiating further. For any $n{\geq}1$, we have $$k{\cdot}{\tau}_{2;k,l}(n)=2n{\cdot}E_{\frac{k-l}{2}}(n;k)+l{\cdot}{\tau}_{1;k,l}(n)+2k{\cdot}{\sum_{j=1}^{n-1}}E_{\frac{k-1}{2}(j;k){\tau}_{1;k,l}(n-j)$$. Finally, we shall give a table for $E_1(N;3)$, ${\sigma}(N)$, ${\tau}_{1;3,1}(N)$ and ${\tau}_{2;3,1}(N)$ ($1{\leq}N{\leq}50$) and state simulation results for them.

• 대한수학회논문집
• /
• 제28권1호
• /
• pp.63-69
• /
• 2013

On any semigroup S, there is an equivalence relation ${\phi}^S$, called the locally equivalence relation, given by a ${\phi}^Sb{\Leftrightarrow}aSa=bSb$ for all $a$, $b{\in}S$. In Theorem 4 [4], Tiefenbach has shown that if ${\phi}^S$ is a band congruence, then $G_a$ := $[a]_{{\phi}^S}{\cap}(aSa)$ is a group. We show in this study that $G_a$ := $[a]_{{\phi}^S}{\cap}(aSa)$ is also a group whenever a is any idempotent element of S. Another main result of this study is to investigate the relationships between $[a]_{{\phi}^S}$ and $aSa$ in terms of semigroup theory, where ${\phi}^S$ may not be a band congruence.