maximalIdeal

2 triples
GPTKB property

Random triples
Subject Object
gptkb:p-adic_integers p\\mathbb{Z}_p
gptkb:ring_of_p-adic_integers pZ_p