maximal order

C49570
concept

A maximal order is a subring of a finite-dimensional algebra over a field (or Dedekind domain) that is an order and is not properly contained in any larger order within that algebra.

Instances (1)

Instance Via concept surface
Hurwitz quaternions