hasAdditiveGroup

P69852 predicate

Indicates that something possesses an associated additive group structure, typically meaning its elements form a group under an addition-like operation.

Observed surface forms (2)

Sample triples (3)

Subject Object
Lie ring abelian group
Mordell curve elliptic curve group law via predicate surface "hasGroupLaw"
GF(p) cyclic group of order p via predicate surface "additiveGroup"