Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4598277 | Journal of Pure and Applied Algebra | 2007 | 7 Pages |
Abstract
Let G be a finite group, k a commutative ring upon which G acts. For every subgroup H of G, the trace (or norm) map trH:kâkH is defined. trH is onto if and only if there exists an element xH such that trH(xH)=1. We will show that the existence of xP for every subgroup P of prime order determines the existence of xG by exhibiting an explicit formula for xG in terms of the xP, where P varies over prime order subgroups. Since trP is onto if and only if trgPgâ1 is, where gâG is an arbitrary element, we need to take only one P from each conjugacy class. We will also show why a formula with less factors does not exist, and show that the existence or non-existence of some of the xP's (where we consider only one P from each conjugacy class) does not affect the existence or non-existence of the others.
Related Topics
Physical Sciences and Engineering
Mathematics
Algebra and Number Theory
Authors
Ehud Meir,