arXiv:1602.08667v5 [math.GR] 12 Jul 2018 R hwta rnfrhstefloigproperties. following the has transfer a that show transfer ocmuaiedtriatue et(rrgt eua repres regular right) Mat( (or to left a uses determinant noncommutative into ut egv aua nepeaino h rnfr ngopth group in transfers the of order determ interpretation in noncommutative ideas natural determinants. using noncommutative a his by give develop transfers we we the sult, paper, of this In properties the 7]. Footnote [8, terminant H eemnn.I ssmlrt h iuonedtriat[2]. Dieudonn´e determinant the to similar is It determinant. oMat(2 to arx[] h td eemnn ssarglrrpeetto fr representation regular a uses determinant Study The [3]. matrix o xml,Aprnsterm[,Term42,Brsd’ hoe [6 theorem 14.4.2]. Theorem Burnside’s gr [5, finite 4.2], theorem In Theorem Hall-Wielandt’s Transfer and [1, group. 4.2.6], theorems. theorem the satz transfer Alperin’s of in example, subgroup role a for important of an group play quotient transfers abelian an to n h utetgroup quotient the and , hs lmnsaealpsil nt uso h form the of sums finite possible all are elements whose Let Let ˆ r md ugse htatase a edrvda nonco a as derived be can transfer a that suggested Tˆoru Umeda 2010 Date rnfri endb sa cu 7 sagophmmrhs fr homomorphism group a as [7] Schur Issai by defined is transfer A nteohrhn,Eur td endtedtriato qua a of determinant the defined Study Eduard hand, other the On e od n phrases. and words Key 1 rnfri ru ooopimfrom homomorphism group a is transfer A (1) 3 rnfrb etcstrpeettvseul rnfrb transfer a equals representatives coset left by transfer A (3) 2 rnfri nain ne hneo oe representativ coset of change a under invariant is transfer A (2) H/K RO FSM RPRISO RNFRUSING TRANSFER OF PROPERTIES SOME OF PROOF G uy6 2021. 6, July : R ahmtc ujc Classification. Subject Mathematics ,RH m, ersnaie 4 eto 3 Section [4, representatives in3 tion bla utetgopo ugopo nt ne.I hsp t in this theory In group index. in determinants. finite transfers tative of the of subgroup interpretation a natural of group quotient abelian ABSTRACT. V n, eagroup, a be eacmuaiern ihuiyand unity with ring commutative a be G sagophomomorphism group a is → C ,where ), H/K . 1]. ,where ), OCMUAIEDETERMINANTS NONCOMMUTATIVE sstelf o ih)cstrpeettvsof representatives coset right) (or left the uses H H rnfri ru ooopimfo ru oan to group a from homomorphism group a is transfer A m rnfr ocmuaiedtriat ru algebra. group determinant; noncommutative transfer; steqaenos iial,w en noncommutative a define we Similarly, quaternions. the is ugopof subgroup a steidxof index the is H/K AY YAMAGUCHI NAOYA .Introduction 1. of . 1]. K V rmr 00;Scnay1H0 15A15. 11H60; Secondary 20C05; Primary G G in → 1 H ffiieindex, finite of H/K H in naeingop h rnfrof transfer The group. abelian an G : u anrsl stefollowing. the is result main Our . G RG G → to h ru ler of algebra group the H/K H/K rso noncommu- of erms K P h ento fthe of definition The . omlsbru of subgroup normal a g pr egv a give we aper, ∈ 4 hoe 3 Theorem [4, G nainfrom entation hoesinclude, theorems x H nns sare- a As inants. oyi em of terms in eory g ,x g, mttv de- mmutative s[,Proposi- [4, es mMat( om in ih coset right y g magroup a om u theory, oup G oexplain to ∈ ecan We . ternionic Haupt- , R G . The . 1]. n, over RG H G ) 2 N. YAMAGUCHI
Theorem 1. We can regard the transfer VG→H/K as the noncommutative deter- minant Det. That is, we have
Det(g) = sgn(g)VG→H/K (g) (g ∈ G) where the map sgn : G → {−1, 1} is a group homomorphism and 1 is the unit element of R. In addition, we can show that the above properties of the transfer (1), (2), and (3) by the following properties of the noncommutative determinant Det. (1′) The determinant is a multiplicative map from RG to R(H/K). (2′) The determinant is invariant under a change of a regular representation. (3′) The determinant of any left regular representation equals the determinant of any right regular representation.
2. Definition of the transfer Here, we define the left and right transfer of G into H/K. Let G = t1H ∪ t2H ∪···∪ tmH. That is, we take a complete set {t1,t2,...,tm} of left coset representatives of H in G. We define g = ti for all g ∈ tiH. The definition of the left transfer is the following.
Definition 2 (Left transfer [4, Definition 3.3]). We define the map VG→H/K : G → H/K by m −1 VG→H/K (g)= gti gti K. i=1 Y n o We call the map VG→H/K the left transfer of G into H/K. Next, we define the right transfer of G into H/K. Let G = Hu1 ∪Hu2 ∪···∪Hum. That is, we take a complete set {u1,u2,...,um} of right coset representatives of H in G. We define g = ui for all g ∈ Hui. The definition of the right transfer is the following. e Definition 3 (Right transfer [4, Definition 3.3]). We define the map VG→H/K : G → H/K by m −1 e VG→H/K (g)= uig (uig) K. i=1 Y n o We call the map VG→H/Ke the right transfer of Gfinto H/K. The definitions of the left and right transfers use the coset representatives of e H in G. But, we can show that the left and right transfers are invariant under a change of coset representatives. Furthermore, we can show that a transfer is a group homomorphism from G to H/K and a transfer by left coset representatives equals a transfer by right coset representatives.
3. Definition of the noncommutative determinant Here, we define the noncommutative determinant. First, we define the left regular representation of RG. We take a complete set T = {t1,t2,...,tm} of left coset representatives of H in G. Then, for all α ∈ RG, there exists a unique LT (α) ∈ Mat(m,RH) such that
α(t1 t2 ··· tm) = (t1 t2 ··· tm)LT (α), 3 where we regard α(t1 ··· tm) as scalar multiplication (αt1 ··· αtm). The R-algebra homomorphism LT : RG ∋ α 7→ LT (α) ∈ Mat(m,RH) is called the left regular representation with respect to T . ′ ′ ′ ′ Let T = {t1,t2,...,tm} be an another complete set of left coset representatives −1 of H in G. Then, there exists P ∈ Mat(m,RH) such that LT = P LT ′ P . Example 4. Let G = Z/2Z = {0, 1}, H = {0}, and α = x0+ y1 ∈ RG. Then, we have x0 y0 α(0 1) = (0 1) . y0 x0 To obtain an expression for LT , we define the indicator functionχ ˙ by 1 g ∈ H, χ˙(g)= (0 g∈ / H for all g ∈ G.
Lemma 5. Let α = g∈G xgg. Then, we have −1 −1 P LT (α)ij = χ˙ ti gtj xgti gtj. g∈G X Proof. We have
−1 −1 (t1 t2 ··· t ) χ˙ t gt x t gt m i j g i j g∈G X 1≤i≤m,1≤j≤m m m −1 −1 = χ˙(t gt1)x gt1 ··· χ˙(t gt )x gt i g i m g m i=1 ∈ i=1 ∈ X gXG X gXG = x g (t1 t2 ··· t ). g m ∈ gXG This completes the proof. From Lemma 5, we have −1 −1 LT (g)ij =χ ˙ ti gtj ti gtj −1 −1 ti gtj ti gtj ∈ H, = −1 (0 ti gtj 6∈ H. −1 From ti gtj ∈ H if and only if gtj = ti, we have −1 −1 gtj gtj ti gtj ∈ H, LT (g)ij = −1 (0 ti gtj 6∈ H. As for the definition of the noncommutative determinant, let ψ : Mat(m,RH) → Mat (m, R (H/K)) be an R-linear map such that
ψ (hEij ) = (hK)Eij for all h ∈ H and 1 ≤ i, j ≤ m, where Eij is the matrix with 1 in the (i j) entry and 0 otherwise. Obviously, ψ is an R-algebra homomorphism. The definition of the noncommutative determinant is the following. 4 N. YAMAGUCHI
Definition 6. We define the map Det : RG → R (H/K) by
Det = det ◦ ψ ◦ LT . −1 Since there is P such that LT = P LT ′ P , we have
Det = det ◦ ψ ◦ LT
= det ◦ ψ ◦ LT ′ . Thus, the determinant is invariant under a change of left regular representations, so the determinant Det is well-defined. If K is the commutator subgroup of H, the determinant is similar to the Dieudonn´edeterminant. Obviously, the map Det is a homomorphism. That is, Det(αβ) = Det(α)Det(β) for all α, β ∈ RG. Therefore, we obtain properties (1′) and (2′). Remark 1. In general, that α ∈ RG is invertible is not equivalent to that Det(α) ∈ R(H/K) is invertible. For example, let R = C, Z/2Z = 0, 1 be the group of order two, S3 be the symmetric group of degree three, G = Z/2Z × S3, H = S3, and K = [H,H] the commutator subgroup of H. Then α = 0,e + 0, (123) + 0, (132) is not invertible, where e is the unit element of H. But, Det(α)=9K is invertible. 4. Proof of the properties Here, we prove the transfer properties by using the noncommutative determi- nant’s properties. −1 For all g ∈ G and for all t ∈ T , there exists a unique tj ∈ T such that ti gtj ∈ H. Therefore, there exists sgn(g) ∈ {−1, 1} such that
Det(g) = det (ψ (LT (g))) m −1 = sgn(g) gti gti K i=1 Y n o = sgn(g)VG→H/K (g). Thus, we have
sgn(gh)VG→H/K (gh) = Det(gh) = Det(g)Det(h)
= sgn(g)sgn(h)VG→H/K (g)VG→H/K (h). Hence, we obtain sgn(gh) = sgn(g)sgn(h),
VG→H/K (gh)= VG→H/K (g)VG→H/K (h). Therefore, from property (1′) that Det is a homomorphism, the left transfer VG→H/K is a group homomorphism (Assuming, that is, R = F2, and we do not consider the signature). Next, we show that the left transfer is invariant under a change of coset repre- sentatives by using property (2′) that the determinant is invariant under a change of regular representations. That is, we show that m m 1 −1 − ′ ′ gti gti K = gti gti K i=1 i=1 Y n o Y ′ ′ where we define g = ti for all g ∈ tiH. 5
From property (2′), there exists sgn′(g) ∈ {−1, 1} such that m −1 gti gti K = sgn(g)Det(g) i=1 Y n o m −1 ′ ′ ′ = sgn(g)sgn (g) gti gti K. i=1 Y Therefore, we have sgn(g)sgn′(g) = 1 and m m 1 −1 − ′ ′ gti gti K = gti gti K. i=1 i=1 Y n o Y Hence, the left transfer is invariant under a change of coset representatives. ′ Now let us prove property (3) that VG→H/K = VG→H/K from property (3 ) that any left regular representation is equivalent to any right regular representation. Let G = Hu1 ∪ Hu2 ∪···∪ Hum. That is,e we take a complete set U = {u1,u2,...,um} of right coset representatives of H in G. Then, for all α ∈ RG, there exists RU (α) ∈ Mat(m,RH) such that u1 u1 u2 u2 . α = RU (α) . . . . u u m m The R-algebra homomorphism RU : RG ∋ α 7→ RU (α) ∈ Mat(m,RH) is called the right regular representation. The same as the left transfer, we can show that the following lemma.
Lemma 7. Let α = g∈G xgg. Then, we have −1 −1 PRU (α)ij = χ˙(uiguj )xguiguj . ∈ gXG Therefore, there exists sgn(g) ∈ {−1, 1} such that
(det ◦ ψ ◦ RU ) (g)= sgn(g)VG→H/K (g) g and V is invariant under a change of coset representatives of H in G. We G→H/K e have properties (1) and (2). g Sincee T is a complete set of left coset representatives of H in G, we can take a −1 −1 −1 −1 complete set of T = {t1 ,t2 ,...,tm } of right coset representatives of H in G. Therefore, −1 −1 −1 −1 −1 −1 −1 RT (α)ij = χ˙ ti g(tj ) xgti g(tj ) g∈G X = LT (α)ij . We obtain property (3′). As a result,
(det ◦ ψ ◦ RU ) (g) = (det ◦ ψ ◦ LT ) (g). Therefore, we have
sgn(g) = sgn(g), VG→H/K = VG→H/K . We obtain property (3). This completes the proof of Theorem 1. g e 6 N. YAMAGUCHI
Acknowledgments I am deeply grateful to Prof. Tˆoru Umeda, Prof. Hiroyuki Ochiai, Prof. Minoru Itoh and Prof. Hideaki Morita who provided helpful com- ments and suggestions. In particular, Tˆoru Umeda gave me the initial motivation for undertaking this study. I would also like to thank Cid Reyes for comments and suggestions. This work was supported by a grant from the Japan Society for the Promotion of Science (JSPS KAKENHI Grant Number 15J06842). REFERENCES [1] ALPERIN, Jonathan L. Sylow intersections and fusion. Journal of Algebra, 1967, 6.2: 222– 241. [2] ARTIN, Emil. Geometric algebra. Courier Dover Publications, 2016. [3] ASLAKSEN, Helmer. Quaternionic determinants. The Mathematical Intelligencer, 1996, 18.3: 57–65. [4] MAYER, Daniel C. Artin Transfer Patterns on Descendant Trees of Finite p − Groups, Advances in Pure Mathematics, 2016, 6: 66–104. [5] HALL, Marshall. The theory of groups. American Mathematical Soc., 1976. [6] HUPPERT, B. Endliche gruppen I. Spring-Verlag, New York Berlin, 1967. [7] SCHUR, I. Neuer Beweis eines Satzes ¨uber endliche Gruppen, Sitzungsberichteder K¨oniglich Preussischen Akademie der Wissenschaften zu Berlin, 1902, 1013–1019. [8] UMEDA, Tˆoru, On some variants of induced representations, Symposium on Representation Theory 2012, 2012, 7–17 (in Japanese).
Naoya Yamaguchi Center for Co-Evolutional Social Systems Kyushu University Nishi-ku, Fukuoka 819-0395 Japan [email protected]