Search results

{{Short description|Algebraic geometry theorem}} ...7}}, is a condition on the second-order elements of the points of a plane algebraic curve meeting a given line. ...

...an integral domain when <math>\overline{k}</math> is the algebraic closure of <math>k</math> (that is, to say, <math>L, \overline{k}</math> are [[linearl ==Properties== ...

...98714/projectivization-of-a-vector-space-projective-geometry-definition-vs-algebraic |access-date=2024-08-22 |website=Mathematics Stack Exchange |language=en}}< == Properties == ...

...n which generalises the idea of exponential functions on the ordered field of real numbers. ...splay="inline">K</math> onto the multiplicative group of positive elements of <math display="inline">K</math>. The ordered field <math>K\,</math> togethe ...

...e between elements. For example, if <code>f</code> is a function on values of type <code>Person</code>, it must be the case that for two <code>Person</co ...|hdl-access=free }}</ref> Quotient types have been studied in the context of [[Martin-Löf type theory]],<ref name=NuoLiThesis2015>{{Cite web |last=Li |f ...

...hat ''e'' is positive (i.e. ''e'' &ge; 0), the product of any two positive elements is again positive, and when ''A'' is considered as a [[vector space]] over == Properties == ...

...or more generally a subset of a variety encodes the distribution of points of given [[height function|height]]. ...ith height function ''H'', such that there are only finitely many elements of bounded height, define a ''counting function'' ...

| properties = [[Semi-symmetric graph|semi-symmetric]]<br />[[Bipartite graph|bipartite] == Properties == ...

...s closed under [[continuous function|continuous]] [[Semialgebraic set|semi-algebraic]] functions defined over the [[integer]]s. == Examples of real closed rings == ...

...]] who studied these surfaces in 1880, Darboux cyclides are a [[superset]] of [[Dupin cyclide]]s and [[quadric]]s. These surfaces have applications in [[ ...ed a ''reducible'' cyclide. A reducible cyclide either splits into a union of spheres/planes or [[degeneracy (mathematics)|degenerates]] to a curve in [[ ...

...l, K. R.|author2=Yakimov, M. T.|title=Unipotent and Nakayama automorphisms of quantum nilpotent algebras|date=1 Nov 2013|class=math.QA|eprint=1311.0278}} ...fferent multiplicative [[associativity|association]] of the <math>n</math> elements is zero. ...

...[Ramification (mathematics)|ramification]] data for [[abelian extension]]s of a global field. Let ''K'' be a global field with [[ring of integers]] ''R''. A '''modulus''' is a formal product<ref>{{harvnb|Janusz| ...

...nite [[monoid]]s, varieties of finite [[ordered semigroup]]s and varieties of finite [[ordered monoid]]s are defined similarly. This notion is very similar to the general notion of [[Variety (universal algebra)|variety]] in universal algebra. ...

...s 0 and monomial symmetric functions when ''t'' is 1 and are special cases of [[Macdonald polynomials]]. ...ents equal to ''i'', and ''S''_''n'' is the [[symmetric group]] of order ''n''!. ...

...p cohomology]], to study the group. It is mostly of interest for the study of infinite groups. Special cases of groups with finiteness properties are [[finitely generated group|finitely generated]] and [[finitely presente ...

...Stufe, if finite, is always a power of 2, and that conversely every power of 2 occurs.<ref name=R13/> ==Powers of 2== ...

...first = D. G. |date=December 1960 | title = A structure theory for a class of lattice-ordered rings | journal = Acta Mathematica | volume = 104 | issue = == Properties == ...

...mallest [[Rank (linear algebra)|rank]] of any generalized adjacency matrix of the graph; it is denoted by <math>\operatorname{mr} (G)</math>. ==Properties== ...

{{Short description|Lie algebra all of which elements are semisimple}} ...tion. Thus, <math>\lambda = 0</math>. <math>\square</math></ref> thus, its elements are [[simultaneously diagonalizable]]. ...

...es (or zeros) in the input.<ref name=weg>[[Ingo Wegener]], "The Complexity of Symmetric Boolean Functions", in: ''Computation Theory and Logic'', ''[[Lec ...correspond one-to-one with the functions that map ''n+1'' elements to two elements, <math>f: \{0, 1, ..., n\} \rightarrow \{0, 1\}</math>. ...