We also have an obvious notion of minimal pointed Weierstrass model.
Such a model always exists and is unique up to isomorphism
(Corollary REF ).
When \(R\)  is principal (e.g. a discrete
valuation ring), the minimal pointed Weierstrass model is defined by
a pointed integral Weierstrass equation (see e.g., [1]}, Proposition 2.8).

У нас также есть очевидное представление минимальной точечной модели Вейерштрасса. Такая модель всегда существует и единственна с точностью до изоморфизма (следствие REF). Когда R является главным (например, кольцом дискретной оценки), минимальная точечная модель Вейерштрасса определяется точечным интегральным уравнением Вейерштрасса (см., например, [1], утверждение 2.8).