isRingOfIntegersOf

P27200 predicate

Indicates that one mathematical structure is the ring of integers associated with a given number field or algebraic extension.


Sample triples (1)
Subject Object
Gaussian integers quadratic field ℚ(i)

Please wait…