| Project/Area Number |
15540002
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
Algebra
|
|---|
| Research Institution | MURORAN INSTITUTE OF TECHNOLOGY |
|---|
Principal Investigator |
TAKEGAHARA Yugen Muroran Institute of Technology, Faculty of Engineering, Professor, 工学部, 教授 (10211351)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
CHIGIRA Naoki Muroran Institute of Technology, Faculty of Engineering, Associate Professor, 工学部, 助教授 (40292073)
|
|---|
| Project Period (FY) |
2003 – 2004
|
| Project Status |
Completed (Fiscal Year 2004)
|
| Budget Amount *help |
¥3,700,000 (Direct Cost: ¥3,700,000)
Fiscal Year 2004: ¥1,800,000 (Direct Cost: ¥1,800,000)
Fiscal Year 2003: ¥1,900,000 (Direct Cost: ¥1,900,000)
|
|---|
| Keywords | finite group / homomorphism / exponential generation function / symmetric group / complex reflection group / Weyl group / irreducible character / p-adic property / 交代群 / 置換表現 / 母関数 / p進解析関数 / Frobeniusの定理 / Frobenius予想 |
|---|
| Research Abstract |
a)We study the properties of two p-adic power series exp(f(x)) and exp(g(x)), which appear in the exponential generating function for the number of solutions in the alternating group on n-letters to the equation x^d=1. Moreover, when exp(f(x)) and exp(g(x)) are considered as the exponential generating functions for the sequences {h_n} and {r_n}, respectively, we express h_n and r_n by p-adic analytic functions.
b)Let H be a finite simple group, and identify H with the group consisting of all inner automorphisms of H. Let G be a group of automorphisms of H, and suppose that an element a of G is not an element of H and that a^2 is an element of H. The conjecture : "if a divisor e of the order of H is a multiple of the largest power of 2 dividing the order of H and if the number of solutions in aH to the equation x^<2e>=1 is e, then every element of aH is a solution to the equation x^<2e>=1" is jure if H is the alternating group on n-letters.
c)We consider G_n to be the kernel of a homomorphism from the wreath product of a finite group G with the symmetric group on n-letters which is determined by a homomorphism from G to the cyclic group C_m generated by a primitive m-th root of the unity in the complex numbers. Using the first orthogonality relation, we prove that the exponential generating function for the number of homomorphisms from a finitely generated group A to G_n is described as a sum of exponential functions of the form exp(f(x)) which are determined by elements cφ_m(A) of the factor group A/φ_m(A) of A by the intersection φ_m(A) of all kernels of homomorphisms from A to C_m.
d)We obtain, p-adic properties of the exponential generating function of the number of homomorphisms from a finite cyclic p-group to the wreath product of a finite cyclic group of order p by the symmetric group of n-letters.
|
