isAlgebraicGroupOver
P78396
predicate
Indicates that one mathematical structure forms an algebraic group when considered over a specified base field or ring.
Observed surface forms (1)
- isAlgebraicGroupDefinedOver ×1
Sample triples (3)
| Subject | Object |
|---|---|
|
general linear group GL(n,C)
surface form:
GL(n,ℂ)
|
ℂ ⓘ |
| SL(2,C) | C ⓘ |
|
special linear group SL(n,C)
surface form:
SL(n,ℂ)
|
ℂ via predicate surface "isAlgebraicGroupDefinedOver" ⓘ |