• Bulletin of the Korean Mathematical Society
• /
• v.43 no.1
• /
• pp.119-123
• /
• 2006

Let G be a symmetric group. In this paper we describe a method that for a certain irreducible character X of G it finds a subgroup H such that the restriction of X on H has a linear constituent with multiplicity one. Then using a well known algorithm we can construct a representation of G affording X.

• Kyungpook Mathematical Journal
• /
• v.51 no.3
• /
• pp.261-281
• /
• 2011

In this paper, we will construct symmetric links by using the method adapted from the graph theory, and study a Seifert matrix of a symmetric link from the information of the Seifert matrix of the base link and the corresponding group action.

• 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.

• 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.

• 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.

• 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.

• 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}$.

• Honam Mathematical Journal
• /
• v.34 no.3
• /
• pp.375-379
• /
• 2012

We find a general solution $f:G{\rightarrow}G$ of the symmetric functional equation $$x+f(y+f(x))=y+f(x+f(y)),\;f(0)=0$$ where G is a 2-divisible abelian group. We also prove that there exists no measurable solution $f:\mathbb{R}{\rightarrow}\mathbb{R}$ of the equation. We also find the continuous solutions $f:\mathbb{C}{\rightarrow}\mathbb{C}$ of the equation.