isAlgebraicOver
P72957
predicate
Indicates that one mathematical object satisfies a nontrivial polynomial equation whose coefficients lie in the other object (typically a field or ring), expressing algebraic dependence over that base.
Observed surface forms (1)
- isAlgebraicFunctionOf ×1
Sample triples (3)
| Subject | Object |
|---|---|
| GF(p^m) | GF(p) ⓘ |
| Gaussian rationals ℚ(i) | ℚ ⓘ |
| modular j-invariant | lambda modular function on appropriate covers via predicate surface "isAlgebraicFunctionOf" ⓘ |