On exponentiation of \(G\)-sets
type: Item
instance of: scholarly article
title: On exponentiation of \(G\)-sets
zbMATH Open document ID: 0813.05069
DOI: 10.1016/0012-365X(93)E0109-H
author: Andreas Blass
published in: Discrete Mathematics
publication date: 1995-02-01T00:00:00Z
review text: The author presents two theorems about exponentiation of (actual or virtual) \(G\)-sets, where \(G\) is a finite group. The first theorem uses a special case of Dress's concept of exponentiation for virtual \(G\)-sets (cf. \textit{A. Dress} [Proc. Symp. Pure Math. 21, 39-45 (1971; Zbl 0248.20007)]) to clarify the rule of signs introduced by \textit{A. Joyal} [C. R. Math. Acad. Sci., Soc. R. Can. 7, 285-290 (1985; Zbl 0605.20009)] in his theory of virtual sets. The second theorem relates the power sets of (actual) \(G\)-sets to the corresponding linear representations of \(G\): For any two \(G\)-sets \(A\) and \(B\), the following are equivalent. (a) \({\mathbf C} A\) and \({\mathbf C} B\) are equivalent representations of \(G\). (b) \(2^{A}\) and \(2^{B}\) are isomorphic \(G\)-sets. (Here 2 is a two- element set with trivial \(G\)-action, so \(2^ A\) is the power set of \(A\).) (c) \({\mathbf C}2^ A\) and \({\mathbf C} 2^ B\) are equivalent representations of \(G\). The paper contains the proofs of the theorems and some additional remarks and examples.
Mathematics Subject Classification ID: 05E15
Mathematics Subject Classification ID: 05E10
Mathematics Subject Classification ID: 20D60
Mathematics Subject Classification ID: 20C30
zbMATH DE Number: 716447
zbMATH Keywords: left action
zbMATH Keywords: cyclic subgroup
zbMATH Keywords: fixed point
zbMATH Keywords: exponentiation
zbMATH Keywords: finite group
zbMATH Keywords: power sets
zbMATH Keywords: linear representations
zbMATH Keywords: equivalent representations
reviewed by: Nikolai I. Osetinski
MaRDI profile type: Publication
cites work: Q5662090
cites work: Q3743472
cites work: Q3752561
cites work: Auswahlaxiom in der Algebra
description: scientific article; zbMATH DE number 716447