Krull–Azumaya theorem

GPTKB entity