groupTheoryInterpretation

P43792 predicate

Indicates a mapping that interprets abstract group-theoretic expressions or structures in terms of a specific group and its operations.


Sample triples (1)

Subject Object
Euler’s totient function φ(n) φ(n) equals the order of the multiplicative group (ℤ/nℤ)×