• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• v.3 no.2
• /
• pp.37-49
• /
• 1999

In this paper we develop a general Homotopy method called the Group Homotopy method to solve the symmetric eigenproblem. The Group Homotopy method overcomes notable drawbacks of the existing Homotopy method, namely, (i) the possibility of breakdown or having a slow rate of convergence in the presence of clustering of the eigenvalues and (ii) the absence of any definite criterion to choose a step size that guarantees the convergence of the method. On the other hand, We also have a good approximations of the largest eigenvalue of a Symmetric matrix from Lanczos algorithm. We apply it for the largest eigenproblem of a very large symmetric matrix with a good initial points.

• Bulletin of the Korean Mathematical Society
• /
• v.46 no.4
• /
• pp.771-787
• /
• 2009

We use an idea of linear representations of the symmetric group to reduce the number of communication rounds in the verification protocol, proposed in Crypto 2005 by Peng et al., of a shuffling. We assume Paillier encryption scheme with which we can apply some known zero-knowledge proofs following the same line of approaches of Peng et al. Incidence matrices of 1-subsets and 2-subsets of a finite set is intensively used for the implementation, and the idea of $\lambda$-designs is employed for the improvement of the computational complexity.

• Journal of the Korean Mathematical Society
• /
• v.16 no.1
• /
• pp.87-93
• /
• 1979

In this note the geometric realization of a finite group of homotopy classes of self homotopy equivalences by a finite group of diffeomorphisms is investigated. In order for this to be accomplished an algebraic condition, which guarantees a certain group extension exists, must be satisfied. It is shown for a geometrically interesting class of aspherical manifolds, called injective Seifert fiber spaces over a locally symmetric space, that this necessary algebraic condition is also sufficient for geometric realization.

• Communications of the Korean Mathematical Society
• /
• v.10 no.2
• /
• pp.293-300
• /
• 1995

Let $R = k[y_1,\cdots,y_n] \otimes E[x_1, \cdots, x_n]$ with characteristic $k = p > 2$ (odd prime), where $$\mid$y_i$\mid$ = 2, $\mid$x_i$\mid$ = 1$ and $y_i = \betax_i, \beta$ is the Bockstein homomorphism. Topologically, $R = H^*(B(Z/p)^n,k)$. For a symmetric group $\sum_n, R^{\sum_n} = k[\sigma_1,\cdots,\sigma_n] \otimes E[d\sigma_1, \cdots, d\sigma_n]$ where d is the derivation satisfying $d(y_i) = x_i$ and $d(x_iy_i) = x_iy_i + x_jy_i, 1 \leq i, j \leq n$. We give a direct proof of this theorem by using induction.

• Bulletin of the Korean Mathematical Society
• /
• v.54 no.6
• /
• pp.2165-2182
• /
• 2017

Let G be a group and $\mathbb{C}$ the field of complex numbers. Suppose ${\sigma}:G{\rightarrow}G$ is an endomorphism satisfying ${{\sigma}}({{\sigma}}(x))=x$ for all x in G. In this paper, we first determine the central solution, f : G or $G{\times}G{\rightarrow}\mathbb{C}$, of the functional equation $f(xy)+f({\sigma}(y)x)=2f(x)+2f(y)$ for all $x,y{\in}G$, which is a variant of the quadratic functional equation. Using the central solution of this functional equation, we determine the general solution of the functional equation f(pr, qs) + f(sp, rq) = 2f(p, q) + 2f(r, s) for all $p,q,r,s{\in}G$, which is a variant of the equation f(pr, qs) + f(ps, qr) = 2f(p, q) + 2f(r, s) studied by Chung, Kannappan, Ng and Sahoo in [3] (see also [16]). Finally, we determine the solutions of this equation on the free groups generated by one element, the cyclic groups of order m, the symmetric groups of order m, and the dihedral groups of order 2m for $m{\geq}2$.

• Journal of the Korean Mathematical Society
• /
• v.58 no.2
• /
• pp.351-381
• /
• 2021

In this paper we introduce the notion of strong Galois H-progenerator object for a finite cocommutative Hopf quasigroup H in a symmetric monoidal category C. We prove that the set of isomorphism classes of strong Galois H-progenerator objects is a subgroup of the group of strong Galois H-objects introduced in [3]. Moreover, we show that strong Galois H-progenerator objects are preserved by strong symmetric monoidal functors and, as a consequence, we obtain an exact sequence involving the associated Galois groups. Finally, to the previous functors, if H is finite, we find exact sequences of Picard groups related with invertible left H-(quasi)modules and an isomorphism Pic(HMod) ≅ Pic(C)⊕G(H∗) where Pic(HMod) is the Picard group of the category of left H-modules, Pic(C) the Picard group of C, and G(H∗) the group of group-like morphisms of the dual of H.

• Journal of applied mathematics & informatics
• /
• v.17 no.1_2_3
• /
• pp.245-258
• /
• 2005

In this paper we prove that the alternating groups A_n, for n = p, p+1, p+2 and symmetric groups $S_n$, for n = p, p+1, where p$\ge$3 is a prime number, can be uniquely determined by their order components. As one of the important consequence of this characterization we show that the simple groups An, where n = p, p+1, P+2 and p$\ge$3 is prime, satisfy in Thompson's conjecture and Shi's conjecture.

• Korean Journal of Mathematics
• /
• v.18 no.2
• /
• pp.175-183
• /
• 2010

The classical group completion theorem states that under a certain condition the homology of ${\Omega}BM$ is computed by inverting ${\pi}_0M$ in the homology of M. McDuff and Segal extended this theorem in terms of homology fibration. Recently, more general group completion theorem for simplicial spaces was developed. In this paper, we construct a symmetric monoidal 2-category ${\mathcal{A}}$. The 1-morphisms of ${\mathcal{A}}$ are generated by three atomic 2-dimensional CW-complexes and the set of 2-morphisms is given by the group of path components of the space of homotopy equivalences of 1-morphisms. The main part of the paper is to compute the homotopy type of the group completion of the classifying space of ${\mathcal{A}}$, which is shown to be homotopy equivalent to ${\mathbb{Z}}{\times}BAut^+_{\infty}$.

• Bulletin of the Korean Mathematical Society
• /
• v.50 no.4
• /
• pp.1193-1200
• /
• 2013

The center of the Lie group $SU(n)$ is isomorphic to $\mathbb{Z}_n$. If $d$ divides $n$, the quotient $SU(n)/\mathbb{Z}_d$ is also a Lie group. Such groups are locally isomorphic, and their Weyl groups $W(SU(n)/\mathbb{Z}_d)$ are the symmetric group ${\sum}_n$. However, the integral representations of the Weyl groups are not equivalent. Under the mod $p$ reductions, we consider the structure of invariant rings $H^*(BT^{n-1};\mathbb{F}_p)^W$ for $W=W(SU(n)/\mathbb{Z}_d)$. Particularly, we ask if each of them is a polynomial ring. Our results show some polynomial and non-polynomial cases.

• Journal of the Korean Mathematical Society
• /
• v.50 no.2
• /
• pp.241-257
• /
• 2013

An automorphism group of a graph is said to be $s$-regular if it acts regularly on the set of $s$-arcs in the graph. A graph is $s$-regular if its full automorphism group is $s$-regular. In the present paper, all $s$-regular cubic graphs of order $10p^3$ are classified for each $s{\geq}1$ and each prime $p$.