• 대한수학회지
• /
• 제49권3호
• /
• pp.493-502
• /
• 2012

In this article, we give a characterization theorem for a class of corank-1 Butler groups of the form $\mathcal{G}$($A_1$, ${\ldots}$, $A_n$). In particular, two groups $G$ and $H$ are quasi-isomorphic if and only if there is a label-preserving bijection ${\phi}$ from the edges of $T$ to the edges of $U$ such that $S$ is a circuit in T if and only if ${\phi}(S)$ is a circuit in $U$, where $T$, $U$ are quasi-representing graphs for $G$, $H$ respectively.

• 대한수학회지
• /
• 제48권2호
• /
• pp.289-300
• /
• 2011

Let T(X) denote the semigroup (under composition) of transformations from X into itself. For a fixed nonempty subset Y of X, let S(X, Y) = {${\alpha}\;{\in}\;T(X)\;:\;Y\;{\alpha}\;{\subseteq}\;Y$}. Then S(X, Y) is a semigroup of total transformations of X which leave a subset Y of X invariant. In this paper, we characterize when S(X, Y) is isomorphic to T(Z) for some set Z and prove that every semigroup A can be embedded in S($A^1$, A). Then we describe Green's relations for S(X, Y) and apply these results to obtain its group H-classes and ideals.

• 대한수학회지
• /
• 제48권2호
• /
• pp.301-309
• /
• 2011

Let R = $Mat_2(F)$ be the ring of all 2 by 2 matrices over a finite field F, X the set of all nonzero, nonunits of R and G the group of all units of R. After investigating some properties of orbits under the left (and right) regular action on X by G, we show that the graph automorphisms group of $\Gamma(R)$ (the zero-divisor graph of R) is isomorphic to the symmetric group $S_{|F|+1}$ of degree |F|+1.

• 대한수학회논문집
• /
• 제29권1호
• /
• pp.27-36
• /
• 2014

In this paper, we introduce the notion of f-derivations from a semilattice S to a lattice L, as a generalization of derivation and f-derivation of lattices. Also, we define the simple f-derivation from S to L, and research the properties of them and the conditions for a lattice L to be distributive. Finally, we prove that a distributive lattice L is isomorphic to the class $SD_f(S,L)$ of all simple f-derivations on S to L for every ${\wedge}$-homomorphism $f:S{\rightarrow}L$ such that $f(x_0){\vee}f(y_0)=1$ for some $x_0,y_0{\in}S$, in particular, $$L{\simeq_-}=SD_f(S,L)$$ for every ${\wedge}$-homomorphism $f:S{\rightarrow}L$ such that $f(x_0)=1$ for some $x_0{\in}S$.

• 대한수학회보
• /
• 제41권3호
• /
• pp.393-401
• /
• 2004

In this paper, we apply the concept of the group \ulcorner(X,A) of self pair homotopy equivalences of a CW-pair (X, A) to the Postnikov system. By using a short exact sequence related to the group of self pair homotopy equivalences, we obtain the following result: for any Postnikov section X$\sub$n/ of a CW-complex X, the group \ulcorner(X$\sub$n/, A) of self pair homotopy equivalences on the pair (X$\sub$n/, X) is isomorphic to the group \ulcorner(X) of self homotopy equivalences on X. As a corollary, we have, \ulcorner(K($\pi$, n), M($\pi$, n)) ≡ \ulcorner(M($\pi$, n)) for each n$\pi$1, where K($\pi$,n) is an Eilenberg-Mclane space and M($\pi$,n) is a Moore space.

• 대한수학회보
• /
• 제52권5호
• /
• pp.1549-1557
• /
• 2015

Characterizations of closed subgroups in abelian groups have been generalized to modules in essentially dierent ways; they are in general inequivalent. Here we consider the relations between these generalizations over commutative rings, and we characterize the commutative rings over which they coincide. These are exactly the commutative noetherian distributive rings. We also give a characterization of c-injective modules over commutative noetherian distributive rings. For a noetherian distributive ring R, we prove that, (1) direct product of simple R-modules is c-injective; (2) an R-module D is c-injective if and only if it is isomorphic to a direct summand of a direct product of simple R-modules and injective R-modules.

• 대한수학회논문집
• /
• 제21권1호
• /
• pp.37-43
• /
• 2006

We prove that $M_1\longrightarrow^f\;M_2$ is an injective representation of a quiver $Q={\bullet}{\rightarrow}{\bullet}$ if and only if $M_1\;and\;M_2$ are injective left R-modules, $M_1\longrightarrow^f\;M_2$ is isomorphic to a direct sum of representation of the types $E_l{\rightarrow}0$ and $M_1\longrightarrow^{id}\;M_2$ where $E_l\;and\;E_2$ are injective left R-modules. Then, we generalize the result so that a representation$M_1\longrightarrow^{f_1}\;M_2\; \longrightarrow^{f_2}\;\cdots\;\longrightarrow^{f_{n-1}}\;M_n$ of a quiver $Q={\bullet}{\rightarrow}{\bullet}{\rightarrow}{\cdots}{\rightarrow}{\bullet}$ is an injective representation if and only if each $M_i$ is an injective left R-module and the representation is a direct sum of injective representations.

• 대한수학회지
• /
• 제41권3호
• /
• pp.479-487
• /
• 2004

Let G be a finite group and N be a normal subgroup of G. We denote by ncc(N) the number of conjugacy classes of N in G and N is called n-decomposable, if ncc(N) = n. Set $K_{G}\;=\;\{ncc(N)$\mid$N{\lhd}G\}$. Let X be a non-empty subset of positive integers. A group G is called X-decomposable, if KG = X. In this paper we characterise the {1, 3, 4}-decomposable finite non-perfect groups. We prove that such a group is isomorphic to Small Group (36, 9), the $9^{th}$ group of order 36 in the small group library of GAP, a metabelian group of order $2^n{2{\frac{n-1}{2}}\;-\;1)$, in which n is odd positive integer and $2{\frac{n-1}{2}}\;-\;1$ is a Mersenne prime or a metabelian group of order $2^n(2{\frac{n}{3}}\;-\;1)$, where 3$\mid$n and $2\frac{n}{3}\;-\;1$ is a Mersenne prime. Moreover, we calculate the set $K_{G}$, for some finite group G.

• 대한수학회보
• /
• 제50권3호
• /
• pp.801-809
• /
• 2013

In this paper, we construct nilpotent semigroups S such that $S^n=\{0\}$, $S^{n-1}{\neq}\{0\}$ and ${\Gamma}(S)$ is a refinement of the star graph $K_{1,n-3}$ with center $c$ together with finitely many or infinitely many end vertices adjacent to $c$, for each finite positive integer $n{\geq}5$. We also give counting formulae to calculate the number of the mutually non-isomorphic nilpotent semigroups when $n=5$, 6 and in finite cases.

• Kyungpook Mathematical Journal
• /
• 제57권2호
• /
• pp.187-191
• /
• 2017

Let R be a domain with quotient field K and prime subring A. Then R is integral over each of its subrings having quotient field K if and only if (A, R) is a survival pair. This shows the redundancy of a condition involving going-down pairs in a earlier characterization of such rings. In characteristic 0, the domains being characterized are the rings R that are isomorphic to subrings of the ring of all algebraic integers. In positive (prime) characteristic, the domains R being characterized are of two kinds: either R = K is an algebraic field extension of A or precisely one valuation domain of K does not contain R.