• Bulletin of the Korean Mathematical Society
• /
• v.52 no.4
• /
• pp.1353-1363
• /
• 2015

Let D be a division ring and w($x_1,\;x_2,\;{\ldots},\;x_m$) be a generalized group monomial over $D^*$. In this paper, we investigate subnormal subgroups and maximal subgroups of $D^*$ which satisfy the identity $w(x_1,\;x_2,\;{\ldots},\;x_m)=1$.

• Korean Journal of Mathematics
• /
• v.5 no.2
• /
• pp.177-183
• /
• 1997

Let ${\sigma}(X,x_0,G)$ be the fundamental group of a transformation group (X,G). Let $R({\varphi},{\psi})$) be the generalized Reidemeister number for an endomorphism $({\varphi},{\psi}):(X,G){\rightarrow}(X,G)$. In this paper, our main results are as follows ; we prove some sufficient conditions for $R({\varphi},{\psi})$ to be the cardinality of $Coker(1-({\varphi},{\psi})_{\bar{\sigma}})$, where 1 is the identity isomorphism and $({\varphi},{\psi})_{\bar{\sigma}}$ is the endomorphism of ${\bar{\sigma}}(X,x_0,G)$, the quotient group of ${\sigma}(X,x_0,G)$ by the commutator subgroup $C({\sigma}(X,x_0,G))$, induced by (${\varphi},{\psi}$). In particular, we prove $R({\varphi},{\psi})={\mid}Coker(1-({\varphi},{\psi})_{\bar{\sigma}}){\mid}$, provided that (${\varphi},{\psi}$) is eventually commutative.

• Journal of applied mathematics & informatics
• /
• v.30 no.3_4
• /
• pp.455-462
• /
• 2012

The cyclic group $Cn={\langle}(12{\cdots}n){\rangle}$ acts on the set ($^{[n]}_k$) of all $k$-subsets of [$n$]. In this action of $C_n$ the number of orbits of size $d$, for $d|n$, is $$O^{n,k}_d=\frac{1}{d}\sum_{\frac{n}{d}|s|n}{\mu}(\frac{ds}{n})(^{n/s}_{k/s})$$. Stanton and White[7] generalized the above identity to construct the orbit polynomials $$O^{n,k}_d(q)=\frac{1}{[d]_{q^{n/d}}}\sum_{\frac{n}{d}|s|n}{\mu}(\frac{ds}{n})[^{n/s}_{k/s}]{_q}^s$$ and conjectured that $O^{n,k}_d(q)$ have non-negative coefficients. In this paper we give a combinatorial proof for the positivity of coefficients of the orbit polynomial $O^{n,3}_d(q)$.

• Korean Journal of Mathematics
• /
• v.25 no.3
• /
• pp.349-358
• /
• 2017

The cyclic group $C_n={\langle}(12{\cdots}n){\rangle}$ acts on the set $(^{[n]}_k)$ of all k-subsets of [n]. In this action of $C_n$ the number of orbits of size d, for d | n, is $$O^{n,k}_d={\frac{1}{d}}{\sum\limits_{{\frac{n}{d}}{\mid}s{\mid}n}}{\mu}({\frac{ds}{n}})(^{n/s}_{k/s})$$. Stanton and White [6] generalized the above identity to construct the orbit polynomials $$O^{n,k}_d(q)={\frac{1}{[d]_{q^{n/d}}}}{\sum\limits_{{\frac{n}{d}}{\mid}s{\mid}n}}{\mu}({\frac{ds}{n}})[^{n/s}_{k/s}]_{q^s}$$ and conjectured that $O^{n,k}_d(q)$ have non-negative coefficients. In this paper we give a constructive proof for the positivity of coefficients of the orbit polynomial $O^{n,2}_d(q)$.

• Bulletin of the Korean Mathematical Society
• /
• v.29 no.2
• /
• pp.265-275
• /
• 1992

The characteristic free representation theory of the general linear group has found a wide range of applications, ranging from the theory of free resolutions to the symmetric function theory. Representation theory is used to facilitate the calculation of explicit free resolutions of large classes of ideals (and modules). Recently, K. Akin and D. A. Buchsbaum [2] realized the Jacobi-Trudi identity for a Schur function as a resolution of GL$_{n}$-modules. Over a field of characteristic zero, it was observed by A. Lascoux [6]. T.Jozefiak and J.Weyman [5] used the Koszul complex to realize a formula of D.E. Littlewood as a resolution of schur modules. This leads us to further study resolutions of Schur modules of a particular form. In this article we will describe some new classes of finite free resolutions associated to the Pieri type skew Young diagrams. As a special case of these finite free resolutions we obtain the generalized Koszul complex constructed in [1]. In section 2 we review some of the basic difinitions and properties of Schur modules that we shall use. In section 3 we describe certain exact complexes associated to the Pieri type skew partitions. Throughout this article, unless otherwise specified, R is a commutative ring with an identity element and a mudule F is a finitely generated free R-module.e.

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

Consider a sequence of compactly supported Hamiltonian diffeomorphisms ${\phi}_k$ of an exact symplectic manifold, all of which are "graphical" in the sense that their graphs are identified by a Darboux-Weinstein chart with the image of a one-form. We show by an elementary argument that if the ${\phi}_k$ $C^0$-converge to the identity, then their Calabi invariants converge to zero. This generalizes a result of Oh, in which the ambient manifold was the two-disk and an additional assumption was made on the Hamiltonians generating the ${\phi}_k$. We discuss connections to the open problem of whether the Calabi homomorphism extends to the Hamiltonian homeomorphism group. The proof is based on a relationship between the Calabi invariant of a $C^0$-small Hamiltonian diffeomorphism and the generalized phase function of its graph.