• Korean Journal of Mathematics
• /
• 제4권2호
• /
• pp.101-115
• /
• 1996

In this paper, we will show that the minimal number of generators of any four dimensional, faithful, $\mathcal{B}$(Schur algebra of size 4)-module is two. This result can be applied to classify the isomorphism classes of the class {$\mathcal{B}{\ltimes}N^2{\mid}N$ is a faithful, $\mathcal{B}$-module with $dim_k(N)=4$}.

• 한국IT서비스학회지
• /
• 제9권4호
• /
• pp.219-229
• /
• 2010

The Green's equivalence relations have played a fundamental role in the development of semigroup theory. They are concerned with mutual divisibility of various kinds, and all of them reduce to the universal equivalence in a group. Boolean matrices have been successfully used in various areas, and many researches have been performed on them. Studying Green's relations on a monoid of boolean matrices will reveal important characteristics about boolean matrices, which may be useful in diverse applications. Although there are known algorithms that can compute Green relations, most of them are concerned with finding one equivalence class in a specific Green's relation and only a few algorithms have been appeared quite recently to deal with the problem of finding the whole D or J equivalence relations on the monoid of all $n{\times}n$ Boolean matrices. However, their results are far from satisfaction since their computational complexity is exponential-their computation requires multiplication of three Boolean matrices for each of all possible triples of $n{\times}n$ Boolean matrices and the size of the monoid of all $n{\times}n$ Boolean matrices grows exponentially as n increases. As an effort to reduce the execution time, this paper shows an isomorphism between the R relation and L relation on the monoid of all $n{\times}n$ Boolean matrices in terms of transposition. introduces theorems based on it discusses an improved algorithm for the J relation computation whose design reflects those theorems and gives its execution results.

• Journal of applied mathematics & informatics
• /
• 제9권2호
• /
• pp.579-591
• /
• 2002

Let G be a finite group and $\omega$(G) the set of elements orders of G. Denote by h($\omega$(G)) the number of isomorphism classes of finite groups H satisfying $\omega$(G)=$\omega$(H). In this paper, we show that for G=PSL(3, q), h($\omega$(G))=1 where q=11, 12, 19, 23, 25 and 27 and h($\omega$(G)=2 where q = 17 and 29.

• 대한수학회지
• /
• 제39권3호
• /
• pp.331-349
• /
• 2002

Let G be a reductive algebraic group and let B, F be G-modules. We denote by $VEC_{G}$ (B, F) the set of isomorphism classes in algebraic G-vector bundles over B with F as the fiber over the origin of B. Schwarz (or Karft-Schwarz) shows that $VEC_{G}$ (B, F) admits an abelian group structure when dim B∥G = 1. In this paper, we introduce a stable functor $VEC_{G}$ (B, $F^{\chi}$) and prove that it is an abelian group for any G-module B. We also show that this stable functor will have nice properties.

• 대한수학회지
• /
• 제54권2호
• /
• pp.517-543
• /
• 2017

Let H be a cocommutative faithfully flat Hopf quasigroup in a strict symmetric monoidal category with equalizers. In this paper we introduce the notion of (strong) Galois H-object and we prove that the set of isomorphism classes of (strong) Galois H-objects is a (group) monoid which coincides, in the Hopf algebra setting, with the Galois group of H-Galois objects introduced by Chase and Sweedler.

• 대한수학회보
• /
• 제34권1호
• /
• pp.1-8
• /
• 1997

Let G be a finiteg oroup. We denote BG a classifying space of G, which a contractible universal principal G bundle EG. The stable type of BG does not determine G up to isomorphism. A simple example [due to N. Minami]is given by $Q_{4p} \times Z/2$ and $D_{2p} \times Z/4$ where ps is an odd prime, $Q_{4p} is the generalized quarternion group of order 4p and $D_{2p}$ is the dihedral group of order 2p. However the paper [6] gives us a necessary and sufficient condition for $BG_1$ and $BG_2$ to be stably equivalent localized et pp. The local stable type of BG depends on the conjegacy classes of homomorphisms from the p-groups Q into G. This classification theorem simplifies if G has a normal sylow p-subgroup. Then the stable homotopy type depends on the Weyl group of the sylow p-subgroup.

• 대한수학회논문집
• /
• 제9권4호
• /
• pp.905-915
• /
• 1994

Let $M_g$ be the moduli space of isomorphism classes of genus g smooth curves. It is a quasi-projective variety of dimension 3g - 3, when $g > 2$. It is known that a complete subvariety of $M_g$ has dimension $< g-1 [D]$. In general it is not known whether this bound is rigid. For example, it is not known whether $M_4$ has a complete surface in it. But one knows that there is a complete curve through any given finite points [H]. Recently, an explicit example of a complete curve in moduli space is given in [G-H]. In [G-H] they constructed a complete curve of $M_3$ as an intersection of five hypersurfaces of the Satake compactification of $M_3$. One way to get a complete curve of $M_3$ is to find a complete one dimensional family $p : X \to B$ of plane quartics which gives a nontrivial morphism from the base space B to the moduli space $M_3$. This is because every non-hyperelliptic smooth curve of genus three can be realized as a nonsingular plane quartic and vice versa. This paper has come out from the effort to find such a complete family of plane quartics. Since nonsingular quartics form an affine space some fibers of p must be singular ones. In this paper, due to the semistable reduction theorem [M], we search singular plane quartics which can occur as singular fibers of the family above. We first list all distinct plane quartics in terms of singularities.

• 대한수학회논문집
• /
• 제35권3호
• /
• pp.809-823
• /
• 2020

Let C[0, T] denote the space of continuous, real-valued functions on the interval [0, T] and let C₀[0, T] be the space of functions x in C[0, T] with x(0) = 0. In this paper, we introduce a Banach algebra ${\bar{\mathcal{S}}}_{{\alpha},{\beta};{\varphi}}$ on C[0, T] and its equivalent space ${\bar{\mathcal{F}}}({\mathcal{H}}) $, a space of transforms of equivalence classes of measures, which generalizes Fresnel class 𝓕(𝓗), where 𝓗 is an appropriate real separable Hilbert space of functions on [0, T]. We also investigate their properties and derive an isomorphism between ${\bar{\mathcal{S}}}_{{\alpha},{\beta};{\varphi}}$ and ${\bar{\mathcal{F}}}({\mathcal{H}}) $. When C[0, T] is replaced by C₀[0, T], ${\bar{\mathcal{F}}}({\mathcal{H}}) $ and ${\bar{\mathcal{S}}}_{{\alpha},{\beta};{\varphi}}$ reduce to 𝓕(𝓗) and Cameron-Storvick's Banach algebra 𝓢, respectively, which is the space of generalized Fourier-Stieltjes transforms of the complex-valued, finite Borel measures on L²[0, T].

• 대한수학회지
• /
• 제50권6호
• /
• pp.1271-1290
• /
• 2013

Let M be a fixed left R-module. For a left R-module X, we introduce the notion of M-prime (resp. M-semiprime) submodule of X such that in the case M=R, it coincides with prime (resp. semiprime) submodule of X. Other concepts encountered in the general theory are M-$m$-system sets, M-$n$-system sets, M-prime radical and M-Baer's lower nilradical of modules. Relationships between these concepts and basic properties are established. In particular, we identify certain submodules of M, called "primeM-ideals", that play a role analogous to that of prime (two-sided) ideals in the ring R. Using this definition, we show that if M satisfies condition H (defined later) and $Hom_R(M,X){\neq}0$ for all modules X in the category ${\sigma}[M]$, then there is a one-to-one correspondence between isomorphism classes of indecomposable M-injective modules in ${\sigma}[M]$ and prime M-ideals of M. Also, we investigate the prime M-ideals, M-prime submodules and M-prime radical of Artinian modules.

• 대한수학회지
• /
• 제51권4호
• /
• pp.853-866
• /
• 2014

Constacyclic codes of length $p^s$ over $R=\mathbb{F}_{p^m}+u\mathbb{F}_{p^m}+u^2\mathbb{F}_{p^m}$ are precisely the ideals of the ring $\frac{R[x]}{<x^{p^s}-1>}$. In this paper, we investigate constacyclic codes of length $p^s$ over R. The units of the ring R are of the forms ${\gamma}$, ${\alpha}+u{\beta}$, ${\alpha}+u{\beta}+u^2{\gamma}$ and ${\alpha}+u^2{\gamma}$, where ${\alpha}$, ${\beta}$ and ${\gamma}$ are nonzero elements of $\mathbb{F}_{p^m}$. We obtain the structures and Hamming distances of all (${\alpha}+u{\beta}$)-constacyclic codes and (${\alpha}+u{\beta}+u^2{\gamma}$)-constacyclic codes of length $p^s$ over R. Furthermore, we classify all cyclic codes of length $p^s$ over R, and by using the ring isomorphism we characterize ${\gamma}$-constacyclic codes of length $p^s$ over R.