|
Masayoshi Nagata
Masayoshi Nagata ( Japanese: 永田 雅宜 ''Nagata Masayoshi''; February 9, 1927 – August 27, 2008) was a Japanese mathematician, known for his work in the field of commutative algebra. Work Nagata's compactification theorem shows that algebraic varieties can be embedded in complete varieties. The Chevalley–Iwahori–Nagata theorem describes the quotient of a variety by a group. In 1959, he introduced a counterexample to the general case of Hilbert's fourteenth problem on invariant theory. His 1962 book on local rings contains several other counterexamples he found, such as a commutative Noetherian ring that is not catenary, and a commutative Noetherian ring of infinite dimension. Nagata's conjecture on curves concerns the minimum degree of a plane curve specified to have given multiplicities at given points; see also Seshadri constant. Nagata's conjecture on automorphisms concerns the existence of wild automorphisms of polynomial algebras in three variables. R ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Nagoya University
, abbreviated to or NU, is a Japanese national research university located in Chikusa-ku, Nagoya. It was established in 1939 as the last of the nine Imperial Universities in the then Empire of Japan, and is now a Designated National University. The university is the birthplace of the Sakata School of physics and the Hirata School of chemistry. As of 2021, seven Nobel Prize winners have been associated with Nagoya University, the third most in Japan and Asia behind Kyoto University and the University of Tokyo. History Nagoya Imperial University was established as the last of the Imperial Universities in 1939 and was later renamed Nagoya University in 1947. Although relatively new as a university, it can trace its roots back to a Temporary Medical School/Public Hospital opened in 1871. Renowned for its contributions in physics and chemistry, the university has been the birthplace of notable scientific advancements such as the Sakata model, the PMNS matrix, the Okazak ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematician
A mathematician is someone who uses an extensive knowledge of mathematics in their work, typically to solve mathematical problems. Mathematicians are concerned with numbers, data, quantity, mathematical structure, structure, space, Mathematical model, models, and mathematics#Calculus and analysis, change. History One of the earliest known mathematicians was Thales of Miletus (); he has been hailed as the first true mathematician and the first known individual to whom a mathematical discovery has been attributed. He is credited with the first use of deductive reasoning applied to geometry, by deriving four corollaries to Thales's theorem. The number of known mathematicians grew when Pythagoras of Samos () established the Pythagorean school, whose doctrine it was that mathematics ruled the universe and whose motto was "All is number". It was the Pythagoreans who coined the term "mathematics", and with whom the study of mathematics for its own sake begins. The first woman math ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Automorphism
In mathematics, an automorphism is an isomorphism from a mathematical object to itself. It is, in some sense, a symmetry of the object, and a way of mapping the object to itself while preserving all of its structure. The set of all automorphisms of an object forms a group, called the automorphism group. It is, loosely speaking, the symmetry group of the object. Definition In an algebraic structure such as a group, a ring, or vector space, an ''automorphism'' is simply a bijective homomorphism of an object into itself. (The definition of a homomorphism depends on the type of algebraic structure; see, for example, group homomorphism, ring homomorphism, and linear operator.) More generally, for an object in some category, an automorphism is a morphism of the object to itself that has an inverse morphism; that is, a morphism f: X\to X is an automorphism if there is a morphism g: X\to X such that g\circ f= f\circ g = \operatorname _X, where \operatorname _X is the identity ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Seshadri Constant
In algebraic geometry, a Seshadri constant is an invariant of an ample line bundle ''L'' at a point ''P'' on an algebraic variety. It was introduced by Demailly to measure a certain ''rate of growth'', of the tensor powers of ''L'', in terms of the jets of the sections of the ''L''''k''. The object was the study of the Fujita conjecture. The name is in honour of the Indian mathematician C. S. Seshadri. It is known that Nagata's conjecture on algebraic curves is equivalent to the assertion that for more than nine general points, the Seshadri constants of the projective plane are maximal. There is a general conjecture for algebraic surfaces, the Nagata–Biran conjecture. Definition Let be a smooth projective variety, an ample line bundle on it, a point of , = . . Here, denotes the intersection number of and , measures how many times passing through . Definition: One says that is the Seshadri constant of at the point , a real number. When is an abelian variety ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Plane Curve
In mathematics, a plane curve is a curve in a plane that may be a Euclidean plane, an affine plane or a projective plane. The most frequently studied cases are smooth plane curves (including piecewise smooth plane curves), and algebraic plane curves. Plane curves also include the Jordan curves (curves that enclose a region of the plane but need not be smooth) and the graphs of continuous functions. Symbolic representation A plane curve can often be represented in Cartesian coordinates by an implicit equation of the form f(x,y)=0 for some specific function ''f''. If this equation can be solved explicitly for ''y'' or ''x'' – that is, rewritten as y=g(x) or x=h(y) for specific function ''g'' or ''h'' – then this provides an alternative, explicit, form of the representation. A plane curve can also often be represented in Cartesian coordinates by a parametric equation of the form (x,y)=(x(t), y(t)) for specific functions x(t) and y(t). Plane curves can sometimes also be repr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Degree Of An Algebraic Variety
In mathematics, the degree of an affine or projective variety of dimension is the number of intersection points of the variety with hyperplanes in general position.In the affine case, the general-position hypothesis implies that there is no intersection point at infinity. For an algebraic set, the intersection points must be counted with their intersection multiplicity, because of the possibility of multiple components. For (irreducible) varieties, if one takes into account the multiplicities and, in the affine case, the points at infinity, the hypothesis of ''general position'' may be replaced by the much weaker condition that the intersection of the variety has the dimension zero (that is, consists of a finite number of points). This is a generalization of Bézout's theorem. (For a proof, see .) The degree is not an intrinsic property of the variety, as it depends on a specific embedding of the variety in an affine or projective space. The degree of a hypersurface is equal ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Krull Dimension
In commutative algebra, the Krull dimension of a commutative ring ''R'', named after Wolfgang Krull, is the supremum of the lengths of all chains of prime ideals. The Krull dimension need not be finite even for a Noetherian ring. More generally the Krull dimension can be defined for modules over possibly non-commutative rings as the deviation of the poset of submodules. The Krull dimension was introduced to provide an algebraic definition of the dimension of an algebraic variety: the dimension of the affine variety defined by an ideal ''I'' in a polynomial ring ''R'' is the Krull dimension of ''R''/''I''. A field ''k'' has Krull dimension 0; more generally, ''k'' 'x''1, ..., ''x''''n''has Krull dimension ''n''. A principal ideal domain that is not a field has Krull dimension 1. A local ring has Krull dimension 0 if and only if every element of its maximal ideal is nilpotent. There are several other ways that have been used to define the dimension of a ring. Most of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Catenary Ring
In mathematics, a commutative ring ''R'' is catenary if for any pair of prime ideals ''p'', ''q'', any two strictly increasing chains :''p'' = ''p''0 ⊂ ''p''1 ⊂ ... ⊂ ''p''''n'' = ''q'' of prime ideals are contained in maximal strictly increasing chains from ''p'' to ''q'' of the same (finite) length. In a geometric situation, in which the dimension of an algebraic variety attached to a prime ideal will decrease as the prime ideal becomes bigger, the length of such a chain ''n'' is usually the difference in dimensions. A ring is called universally catenary if all finitely generated algebras over it are catenary rings. The word 'catenary' is derived from the Latin word ''catena'', which means "chain". There is the following chain of inclusions. Dimension formula Suppose that ''A'' is a Noetherian domain and ''B'' is a domain containing ''A'' that is finitely generated over ''A''. If ''P'' is a prime ideal of ''B'' and ''p'' its intersection with ''A'', then :\te ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Noetherian Ring
In mathematics, a Noetherian ring is a ring that satisfies the ascending chain condition on left and right ideals. If the chain condition is satisfied only for left ideals or for right ideals, then the ring is said left-Noetherian or right-Noetherian respectively. Formally, every increasing sequence I_1\subseteq I_2 \subseteq I_3 \subseteq \cdots of left (or right) ideals has a largest element; that is, there exists an n such that I_=I_=\cdots. Equivalently, a ring is left-Noetherian (respectively right-Noetherian) if every left ideal (respectively right-ideal) is finitely generated. A ring is Noetherian if it is both left- and right-Noetherian. Noetherian rings are fundamental in both commutative and noncommutative ring theory since many rings that are encountered in mathematics are Noetherian (in particular the ring of integers, polynomial rings, and rings of algebraic integers in number fields), and many general theorems on rings rely heavily on the Noetherian property ( ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Invariant Theory
Invariant theory is a branch of abstract algebra dealing with actions of groups on algebraic varieties, such as vector spaces, from the point of view of their effect on functions. Classically, the theory dealt with the question of explicit description of polynomial functions that do not change, or are ''invariant'', under the transformations from a given linear group. For example, if we consider the action of the special linear group ''SLn'' on the space of ''n'' by ''n'' matrices by left multiplication, then the determinant is an invariant of this action because the determinant of ''A X'' equals the determinant of ''X'', when ''A'' is in ''SLn''. Introduction Let G be a group, and V a finite-dimensional vector space over a field k (which in classical invariant theory was usually assumed to be the complex numbers). A representation of G in V is a group homomorphism \pi:G \to GL(V), which induces a group action of G on V. If k /math> is the space of polynomial functions on ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hilbert's Fourteenth Problem
In mathematics, Hilbert's fourteenth problem, that is, number 14 of Hilbert's problems proposed in 1900, asks whether certain algebras are finitely generated. The setting is as follows: Assume that ''k'' is a field and let ''K'' be a subfield of the field of rational functions in ''n'' variables, :''k''(''x''1, ..., ''x''''n'' ) over ''k''. Consider now the ''k''-algebra ''R'' defined as the intersection : R:= K \cap k _1, \dots, x_n\ . Hilbert conjectured that all such algebras are finitely generated over ''k''. Some results were obtained confirming Hilbert's conjecture in special cases and for certain classes of rings (in particular the conjecture was proved unconditionally for ''n'' = 1 and ''n'' = 2 by Zariski in 1954). Then in 1959 Masayoshi Nagata found a counterexample to Hilbert's conjecture. The counterexample of Nagata is a suitably constructed ring of invariants for the action of a linear algebraic group. History The problem originally arose in algebraic inva ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
