Gap modules for direct product groups

Research output: Contribution to journalArticle

11 Citations (Scopus)

Abstract

Let G be a finite group. A gap G-module V is a finite dimensional real G-representation space satisfying the following two conditions: (1) The following strong gap condition holds: dim VP>2\dim VH for all P < H≤ G such that P is of prime power order, which is a sufficient condition to define a G-surgery obstruction group and a G-surgery obstruction. (2) V has only one H-fixed point 0 for all large subgroups H, namely H ∈ ℒmathscr(L)(G). A finite group G not of prime power order is called a gap group if there exists a gap G-module. We discuss the question when the direct product K× L is a gap group for two finite groups K and L. According to [(5)], if K and K× C2 are gap groups, so is K× L. In this paper, we prove that if K is a gap group, so is K× C2. Using [(5)], this allows us to show that if a finite group G has a quotient group which is a gap group, then G itself is a gap group. Also, we prove the converse: if K is not a gap group, then K× D2n is not a gap group. To show this we define a condition, called NGC, which is equivalent to the non-existence of gap modules.

Original languageEnglish
Pages (from-to)975-990
Number of pages16
JournalJournal of the Mathematical Society of Japan
Volume53
Issue number4
DOIs
Publication statusPublished - Jan 1 2001

Fingerprint

Direct Product
Module
Finite Group
Obstruction
Surgery
Quotient group
Converse
Nonexistence
Fixed point
Subgroup
Sufficient Conditions

All Science Journal Classification (ASJC) codes

  • Mathematics(all)

Cite this

Gap modules for direct product groups. / Sumi, Toshio.

In: Journal of the Mathematical Society of Japan, Vol. 53, No. 4, 01.01.2001, p. 975-990.

Research output: Contribution to journalArticle

@article{826615239c2f41e1b1c677f282e99bb7,
title = "Gap modules for direct product groups",
abstract = "Let G be a finite group. A gap G-module V is a finite dimensional real G-representation space satisfying the following two conditions: (1) The following strong gap condition holds: dim VP>2\dim VH for all P < H≤ G such that P is of prime power order, which is a sufficient condition to define a G-surgery obstruction group and a G-surgery obstruction. (2) V has only one H-fixed point 0 for all large subgroups H, namely H ∈ ℒmathscr(L)(G). A finite group G not of prime power order is called a gap group if there exists a gap G-module. We discuss the question when the direct product K× L is a gap group for two finite groups K and L. According to [(5)], if K and K× C2 are gap groups, so is K× L. In this paper, we prove that if K is a gap group, so is K× C2. Using [(5)], this allows us to show that if a finite group G has a quotient group which is a gap group, then G itself is a gap group. Also, we prove the converse: if K is not a gap group, then K× D2n is not a gap group. To show this we define a condition, called NGC, which is equivalent to the non-existence of gap modules.",
author = "Toshio Sumi",
year = "2001",
month = "1",
day = "1",
doi = "10.2969/jmsj/05340975",
language = "English",
volume = "53",
pages = "975--990",
journal = "Journal of the Mathematical Society of Japan",
issn = "0025-5645",
publisher = "The Mathematical Society of Japan",
number = "4",

}

TY - JOUR

T1 - Gap modules for direct product groups

AU - Sumi, Toshio

PY - 2001/1/1

Y1 - 2001/1/1

N2 - Let G be a finite group. A gap G-module V is a finite dimensional real G-representation space satisfying the following two conditions: (1) The following strong gap condition holds: dim VP>2\dim VH for all P < H≤ G such that P is of prime power order, which is a sufficient condition to define a G-surgery obstruction group and a G-surgery obstruction. (2) V has only one H-fixed point 0 for all large subgroups H, namely H ∈ ℒmathscr(L)(G). A finite group G not of prime power order is called a gap group if there exists a gap G-module. We discuss the question when the direct product K× L is a gap group for two finite groups K and L. According to [(5)], if K and K× C2 are gap groups, so is K× L. In this paper, we prove that if K is a gap group, so is K× C2. Using [(5)], this allows us to show that if a finite group G has a quotient group which is a gap group, then G itself is a gap group. Also, we prove the converse: if K is not a gap group, then K× D2n is not a gap group. To show this we define a condition, called NGC, which is equivalent to the non-existence of gap modules.

AB - Let G be a finite group. A gap G-module V is a finite dimensional real G-representation space satisfying the following two conditions: (1) The following strong gap condition holds: dim VP>2\dim VH for all P < H≤ G such that P is of prime power order, which is a sufficient condition to define a G-surgery obstruction group and a G-surgery obstruction. (2) V has only one H-fixed point 0 for all large subgroups H, namely H ∈ ℒmathscr(L)(G). A finite group G not of prime power order is called a gap group if there exists a gap G-module. We discuss the question when the direct product K× L is a gap group for two finite groups K and L. According to [(5)], if K and K× C2 are gap groups, so is K× L. In this paper, we prove that if K is a gap group, so is K× C2. Using [(5)], this allows us to show that if a finite group G has a quotient group which is a gap group, then G itself is a gap group. Also, we prove the converse: if K is not a gap group, then K× D2n is not a gap group. To show this we define a condition, called NGC, which is equivalent to the non-existence of gap modules.

UR - http://www.scopus.com/inward/record.url?scp=0035486383&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0035486383&partnerID=8YFLogxK

U2 - 10.2969/jmsj/05340975

DO - 10.2969/jmsj/05340975

M3 - Article

AN - SCOPUS:0035486383

VL - 53

SP - 975

EP - 990

JO - Journal of the Mathematical Society of Japan

JF - Journal of the Mathematical Society of Japan

SN - 0025-5645

IS - 4

ER -