• 한국수학사학회지
• /
• 제21권3호
• /
• pp.127-142
• /
• 2008

수학의 역사에서는 이미 발견되어 논증된 정리를 새로운 방법으로 공략함으로써 그 정리의 깊은 의미를 드러내는 작업의 기록을 쉽게 찾을 수 있다. 이 연구는 직관적으로 비교적 이해하기 쉬운 소재인 수형도를 대상으로 하여, 꼭지점의 집합이 결정되었을 때 수형도의 개수를 결정하여 주는 케일리 공식(Cayley formula)의 증명에 대한 서로 다른 네 가지 접근방법을 소개하는 것을 목적으로 한다. 네 가지 증명은 수형도의 성질로부터 유도된 재귀적 관계식을 이용한 케일리의 증명에서부터 특정한 수학적 대상과 수형도 사이의 일대일대응 관계에 주목하는 나머지 세 가지 증명으로 이루어진다. 특히, 마지막 증명은 순수한 수학적 작업이 다른 분야에 강력한 도구를 제공하는 전형적인 예를 보여준다.

• Kyungpook Mathematical Journal
• /
• 제56권2호
• /
• pp.349-355
• /
• 2016

For any integer $n{\geq}2$, each palindrome of n induces a circulant graph of order n. It is known that for each integer $n{\geq}2$, there is a one-to-one correspondence between the set of (resp. aperiodic) palindromes of n and the set of (resp. connected) circulant graphs of order n (cf. [2]). This bijection gives a one-to-one correspondence of the palindromes ${\sigma}$ with $gcd({\sigma})=1$ to the connected circulant graphs. It was also shown that the number of palindromes ${\sigma}$ of n with $gcd({\sigma})=1$ is the same number of aperiodic palindromes of n. Let $a_n$ (resp. $b_n$) be the number of aperiodic palindromes ${\sigma}$ of n with $gcd({\sigma})=1$ (resp. $gcd({\sigma}){\neq}1$). Let $c_n$ (resp. $d_n$) be the number of periodic palindromes ${\sigma}$ of n with $gcd({\sigma})=1$ (resp. $gcd({\sigma}){\neq}1$). In this paper, we calculate the numbers $a_n$, $b_n$, $c_n$, $d_n$ in two ways. In Theorem 2.3, we $n_d$ recurrence relations for $a_n$, $b_n$, $c_n$, $d_n$ in terms of $a_d$ for $d{\mid}n$ and $d{\neq}n$. Afterwards, we nd formulae for $a_n$, $b_n$, $c_n$, $d_n$ explicitly in Theorem 2.5.

• Kyungpook Mathematical Journal
• /
• 제61권4호
• /
• pp.679-710
• /
• 2021

We study the tensor product algebra P_k(x₁) ⊗ P_k(x₂) ⊗ ⋯ ⊗ P_k(x_m), where P_k(x) is the partition algebra defined by Jones and Martin. We discuss the centralizer of this algebra and corresponding Schur-Weyl dualities and also index the inequivalent irreducible representations of the algebra P_k(x₁) ⊗ P_k(x₂) ⊗ ⋯ ⊗ P_k(x_m) and compute their dimensions in the semisimple case. In addition, we describe the Bratteli diagrams and branching rules. Along with that, we have also constructed the RS correspondence for the tensor product of m-partition algebras which gives the bijection between the set of tensor product of m-partition diagram of P_k(n₁) ⊗ P_k(n₂) ⊗ ⋯ ⊗ P_k(n_m) and the pairs of m-vacillating tableaux of shape [λ] ∈ Γ_k^m, Γ_k^m = {[λ] = (λ₁, λ₂, …, λ_m)|λ_i ∈ Γ_k, i ∈ {1, 2, …, m}} where Γ_k = {λ_i ⊢ t|0 ≤ t ≤ k}. Also, we provide proof of the identity $(n_1n_2{\cdots}n_m)^k={\sum}_{[{\lambda}]{\in}{\Lambda}^k_{{n_1},{n_2},{\ldots},{n_m}}}$ f^[λ]m_k^[λ] where m_k^[λ] is the multiplicity of the irreducible representation of $S{_{n_1}}{\times}S{_{n_2}}{\times}....{\times}S{_{n_m}}$ module indexed by ${[{\lambda}]{\in}{\Lambda}^k_{{n_1},{n_2},{\ldots},{n_m}}}$, where f^[λ] is the degree of the corresponding representation indexed by ${[{\lambda}]{\in}{\Lambda}^k_{{n_1},{n_2},{\ldots},{n_m}}}$ and ${[{\lambda}]{\in}{\Lambda}^k_{{n_1},{n_2},{\ldots},{n_m}}}=\{[{\lambda}]=({\lambda}_1,{\lambda}_2,{\ldots},{\lambda}_m){\mid}{\lambda}_i{\in}{\Lambda}^k_{n_i},i{\in}\{1,2,{\ldots},m\}\}$ where ${\Lambda}^k_{n_i}=\{{\mu}=({\mu}_1,{\mu}_2,{\ldots},{\mu}_t){\vdash}n_i{\mid}n_i-{\mu}_1{\leq}k\}$.