torsionSubgroup
P176919
predicate
Indicates that one group is the torsion subgroup of another, consisting of all elements that have finite order under the group operation.
Sample triples (1)
| Subject | Object |
|---|---|
| Picard group | classes of line bundles of finite order under tensor product ⓘ |