additive group of real numbers
GPTKB entity
Statements (18)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:group_of_people
abelian group |
| gptkbp:cardinality |
uncountable
|
| gptkbp:hasConnection |
true
|
| gptkbp:hasNoTorsionElements |
true
|
| gptkbp:hasSubgroup |
additive group of complex numbers
|
| gptkbp:hasUnderlyingSet |
set of real numbers
|
| https://www.w3.org/2000/01/rdf-schema#label |
additive group of real numbers
|
| gptkbp:identityElement |
0
additive inverse |
| gptkbp:isDivisibleGroup |
true
|
| gptkbp:isomorphicTo |
vector space over rationals of dimension continuum
|
| gptkbp:isTopologicalGroup |
true
|
| gptkbp:notation |
(ℝ, +)
|
| gptkbp:relatedGroup |
addition
|
| gptkbp:bfsParent |
gptkb:Lie_group
gptkb:Lie_groups |
| gptkbp:bfsLayer |
5
|