Showing changes from revision #1 to #2:
Added | Removed | Changed
Definition
An abelian group is a divisible group if there exists a left -action , where is the positve integers, such that for all and all , the fiber of at is contractible:
Properties
Just as every abelian group is a -bimodule, every divisible group is a -bimodule, or a -vector space?.