| 研究課題/領域番号 |
19K03436
|
|---|
| 研究機関 | 室蘭工業大学 |
|---|
研究代表者 |
竹ケ原 裕元 室蘭工業大学, 大学院工学研究科, 教授 (10211351)
|
|---|
| 研究期間 (年度) |
2019-04-01 – 2024-03-31
|
| キーワード | 有限群 / バーンサイド環 / テンソル誘導写像 / 可解群 / べき等元 / 束バーンサイド環 |
|---|
| 研究実績の概要 |
有限群Gの各部分群Hに対してモノイドM(H)を対応させる、Gのモノイド関手に対して、M-バーンサイド環と呼ばれる、バーンサイド環の一般化MB(G)が定義される。これまでに、MB(G)に関して、Gの部分群HとHの部分群K及び、HからK集合VへのK-写像に対する、Vの部分K-集合に関わる普遍性の概念を導入している。Mがこの普遍性を含むある仮定―仮定Ａ―を満たす場合に、Gの部分群Hに対しMB(H)からMB(G)への乗法的写像である、マッキー分解公式を満たす性質のよいテンソル誘導写像が存在することがわかっている。
Gが作用する有限可換モノイドSに関して定まるモノイド関手Mがhereditaryであるとは、Gの各部分群Hに対してM(H)はSの部分半群であり (M(H)の単位元がSの単位元である必要はない)、さらに幾つかの条件が成り立つことを言う。このhereditaryモノイド関手は仮定Ａを満たすことがわかってている。
Gの部分群束L(G)は、Gの2つの部分群の積をそれらの共通部分と定めるとき、Gを単位元とするモノイドとなるが、Gの各部分群HにHの正規べき零部分群が作るL(G)の部分半群を対応させるモノイド関手Nが存在することを示した。さらに、モノイド関手Nがhereditaryであることを証明した。
上記のN-バーンサイド環について、べき等元による可解群の特徴付けを与えた。CN(G)を非共役なGのべき零部分群の完全集合とするとき、Gが可解群であるための必要十分条件はN-バーンサイド環の原始べき等元の個数がCN(G)の要素の個数であることを証明した。
有限左G集合Xの部分集合からなる集合Sub(X)はGが作用する束であり、この束により定まる束バーンサイド環について、Gが可解群であるための必要十分条件に関する研究を進めた。
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
Gの各部分群HにHの正規べき零部分群が作るGの部分群束L(G)の部分半群により定まるN-バーンサイド環がhereditaryであることがわかった。Gが可解群であるためのN-バーンサイド環の原始べき等元の個数に関する必要十分条件がわかった。
|
| 今後の研究の推進方策 |
有限左G集合Xの部分集合からなる集合Sub(X)により定まる束バーンサイド環について、Gが可解群であるための必要十分条件を明らかにする。。
|
| 次年度使用額が生じた理由 |
予定していた、研究成果発表、研究打ち合わせ等のための出張が取りやめになったため。
次年度では、研究成果発表、研究打ち合わせ等の旅費、および図書購入費として使用する。
|
