Divisible not implies rationally powered: Difference between revisions

From Groupprops
(Created page with "{{subgroup property non-implication| stronger = divisible group| weaker = rationally powered group}} ==Statement== It is possible for a divisible group (i.e., a group in...")
 
No edit summary
 
Line 1: Line 1:
{{subgroup property non-implication|
{{group property non-implication|
stronger = divisible group|
stronger = divisible group|
weaker = rationally powered group}}
weaker = rationally powered group}}
Line 9: Line 9:
==Proof==
==Proof==


The simplest example is the [[group of rationals modulo integers]] <math>\mathbb{Q}/\mathbb{Z}</math>. We can also take the [[circle group]] <math>\R/\mathbb{Z}</math>. Also, any [[general linear group]] over the field of complex numbers (or in general, over any algebraically closed field of characteristic zero) satisfies the condition.
The simplest example is the [[group of rational numbers modulo integers]] <math>\mathbb{Q}/\mathbb{Z}</math>. We can also take the [[circle group]] <math>\R/\mathbb{Z}</math>. Also, any [[general linear group]] over the field of complex numbers (or in general, over any algebraically closed field of characteristic zero) satisfies the condition.

Latest revision as of 06:55, 13 February 2013

This article gives the statement and possibly, proof, of a non-implication relation between two group properties. That is, it states that every group satisfying the first group property (i.e., divisible group) need not satisfy the second group property (i.e., rationally powered group)
View a complete list of group property non-implications | View a complete list of group property implications
Get more facts about divisible group|Get more facts about rationally powered group

Statement

It is possible for a divisible group (i.e., a group in which every element has a nth root for every n) to not be a rationally powered group (i.e., there is at least one element and one n for which the nth root is not unique).

Proof

The simplest example is the group of rational numbers modulo integers Q/Z. We can also take the circle group R/Z. Also, any general linear group over the field of complex numbers (or in general, over any algebraically closed field of characteristic zero) satisfies the condition.