Statements (13)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:appliesTo |
gptkb:algebra
group theory representation theory |
| gptkbp:defines |
A theorem asserting that a certain set or structure is finite under given conditions
|
| gptkbp:field |
gptkb:mathematics
|
| gptkbp:notableExample |
gptkb:Mordell–Weil_theorem
Finiteness of class number Finiteness of fundamental group Jordan's finiteness theorem |
| gptkbp:bfsParent |
gptkb:Étale_cohomology
|
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
finiteness theorem
|