Powered group for a set of primes
Let be a set of primes. A group is termed -powered or uniquely -divisible if it satisfies the following equivalent definitions:
|1||-powered, or uniquely -divisible, for each prime||For every and every , there is a unique such that . In other words, the map is a bijection from to itself.|
|2||unique rational powers with denominators -numbers||Given any integers , with a -number (viz., a nonzero integer all of whose prime factors are in ), and any , there exists a unique such that .|
|3||group powered over the ring||is a group powered over the ring , i.e., the ring obtained by adjoining inverses of all elements of to , the ring of integers. (see also additive group of ring of integers localized at a set of primes).|
|4||-powered for any one number whose set of prime divisors is precisely (note that this definition can be used only in the case that is a finite set)||There exists a natural number such that the set of prime divisors of is exactly and the map is bijective from to itself.|
A rationally powered group is a group powered for the set of all primes.
Let be a set of primes. We call a group a -local group if is powered over all primes not in . Note that may also happen to be powered over one or more of the primes in .
Note in particular that a -local group is a group that is powered over all primes other than . Note that this definition differs completely from the definition of p-local subgroup.
Powering versus localization terminology
The domains of abstract group theory as well as combinatorial and geometric group theory often use the "powering" or "unique divisibility" jargon. The domain of algebraic topology typically uses the "localization" jargon because of the connection with local nilpotent spaces.
Conjunction with group properties
|Conjunction||Other component of conjunction||Facts about the conjunction|
|nilpotent group that is powered over a set of primes||nilpotent group|
We can think of forgetful functors:
category of -powered groups category of groups category of sets
Note that each of these categories arises from a variety of algebras, and the forgetful functors are variety reduct maps.
Both the two individual functors and their composite have left-adjoint functors. The three left-adjoint functors we obtain are:
|Functor source||Functor target||Left adjoint to ...||Description of functor|
|category of groups||category of -powered groups||forgetful functor from -powered groups to groups||Every group admits an initial homomorphism to a pi-powered group. The functor sending a group to the image of this initial homomorphism is termed the -powering functor, or equivalently, it is termed the localization functor for the complement of in the set of primes.|
|category of sets||category of -powered groups||forgetful functor from -powered groups to sets||See free powered group for a set of primes. A detailed existence proof is at there exist free powered groups for any set of primes and any size of generating set.|
|category of sets||category of groups||forgetful functor from groups to sets||(abstract) free group functor|
- Some aspects of groups with unique roots by Gilbert Baumslag, Acta mathematica, Volume 104, Page 217 - 303(Year 1960): PDF (ungated)More info: Baumslag's paper uses the notation -group for a group powered over the prime set .