mathematics Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...

, a Weierstrass ring, named by Nagata after

Karl Weierstrass Karl Theodor Wilhelm Weierstrass (german: link=no, Weierstraß ; 31 October 1815 – 19 February 1897) was a German mathematician often cited as the "father of modern analysis". Despite leaving university without a degree, he studied mathematics ...

, is a

commutative In mathematics, a binary operation is commutative if changing the order of the operands does not change the result. It is a fundamental property of many binary operations, and many mathematical proofs depend on it. Most familiar as the name o ...

local ring In abstract algebra, more specifically ring theory, local rings are certain rings that are comparatively simple, and serve to describe what is called "local behaviour", in the sense of functions defined on varieties or manifolds, or of algebraic num ...

that is

Henselian In mathematics, a Henselian ring (or Hensel ring) is a local ring in which Hensel's lemma holds. They were introduced by , who named them after Kurt Hensel. Azumaya originally allowed Henselian rings to be non-commutative, but most authors now res ...

, pseudo-geometric, and such that any

quotient ring In ring theory, a branch of abstract algebra, a quotient ring, also known as factor ring, difference ring or residue class ring, is a construction quite similar to the quotient group in group theory and to the quotient space in linear algebra. ...

by a

prime ideal In algebra, a prime ideal is a subset of a ring that shares many important properties of a prime number in the ring of integers. The prime ideals for the integers are the sets that contain all the multiples of a given prime number, together with ...

is a

finite extension In mathematics, more specifically field theory, the degree of a field extension is a rough measure of the "size" of the field extension. The concept plays an important role in many parts of mathematics, including algebra and number theory &mdash ...

of a

regular local ring In commutative algebra, a regular local ring is a Noetherian local ring having the property that the minimal number of generators of its maximal ideal is equal to its Krull dimension. In symbols, let ''A'' be a Noetherian local ring with maximal ide ...

Examples

*The

Weierstrass preparation theorem In mathematics, the Weierstrass preparation theorem is a tool for dealing with analytic functions of several complex variables, at a given point ''P''. It states that such a function is, up to multiplication by a function not zero at ''P'', a p ...

can be used to show that the ring of convergent

power series In mathematics, a power series (in one variable) is an infinite series of the form \sum_^\infty a_n \left(x - c\right)^n = a_0 + a_1 (x - c) + a_2 (x - c)^2 + \dots where ''an'' represents the coefficient of the ''n''th term and ''c'' is a const ...

over the

complex number In mathematics, a complex number is an element of a number system that extends the real numbers with a specific element denoted , called the imaginary unit and satisfying the equation i^= -1; every complex number can be expressed in the form ...

s in a finite number of variables is a Wierestrass ring. The same is true if the complex numbers are replaced by a

perfect field In algebra, a field ''k'' is perfect if any one of the following equivalent conditions holds: * Every irreducible polynomial over ''k'' has distinct roots. * Every irreducible polynomial over ''k'' is separable. * Every finite extension of ''k'' is ...

with a valuation. *Every ring that is a

finitely-generated module In mathematics, a finitely generated module is a module (mathematics), module that has a Finite set, finite generating set. A finitely generated module over a Ring (mathematics), ring ''R'' may also be called a finite ''R''-module, finite over ''R' ...

over a Weierstrass ring is also a Weierstrass ring.

References

Bibliography

* * Commutative algebra {{commutative-algebra-stub