hasMultiplicationFormula
P71174
predicate
Indicates that there exists a specific multiplication-based formula or rule that defines or computes the value or behavior of the related entity.
Observed surface forms (6)
- multiplicativeProperty ×3
- hasMultiplicationDefinedBy ×1
- hasMultiplicationRule ×1
- isMultiplicativeFor ×1
- multiplicativeDefinition ×1
- multiplicativeFactor ×1
Sample triples (9)
| Subject | Object |
|---|---|
| Euler class | direct sum of oriented bundles of odd rank under suitable conditions via predicate surface "isMultiplicativeFor" ⓘ |
| Gamma function | Gauss multiplication formula ⓘ |
| Jordan’s totient functions | J_k(mn) = J_k(m)J_k(n) if gcd(m,n)=1 via predicate surface "multiplicativeDefinition" ⓘ |
| Jordan’s totient functions | J_k(n)/n^k = ∏_{p|n}(1 - p^{-k}) via predicate surface "multiplicativeFactor" ⓘ |
| Legendre symbol | (a^2/p)=1 if p does not divide a via predicate surface "multiplicativeProperty" ⓘ |
| Legendre symbol | (ab/p)=(a/p)(b/p) via predicate surface "multiplicativeProperty" ⓘ |
| Ramanujan tau function | τ(mn) = τ(m)τ(n) for gcd(m,n)=1 via predicate surface "multiplicativeProperty" ⓘ |
| Temperley–Lieb algebra | concatenation of diagrams via predicate surface "hasMultiplicationDefinedBy" ⓘ |
| affine group of R^n | (A,b)(C,d) = (AC, A d + b) via predicate surface "hasMultiplicationRule" ⓘ |