Showing changes from revision #5 to #6:
Added | Removed | Changed
Definition
An abelian group is a divisible group if there exists a multiplicative -action , where is the positive integers, such that for all and all , the fiber of at is contractible: