Not signed in (Sign In)

Start a new discussion

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor galois-theory gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic manifolds mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory string string-theory subobject superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory type type-theory universal variational-calculus

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
  1. starting article on a degree of a polynomial, since its entry in the disambiguation page degree linked to a nonexistent page.

    Anonymous

    v1, current

    • CommentRowNumber2.
    • CommentAuthorJ-B Vienney
    • CommentTime7 days ago

    Added the definition of homogeneous polynomial as a pp such that the n thn^{th} derivative of pp is n.pn.p.

    diff, v2, current

    • CommentRowNumber3.
    • CommentAuthorJ-B Vienney
    • CommentTime7 days ago

    It was false, deleted.

    diff, v2, current

    • CommentRowNumber4.
    • CommentAuthorJ-B Vienney
    • CommentTime7 days ago
    • (edited 7 days ago)

    Corrected: homogeneous polynomials in one variable xx of degree nn are the ones such that x(p).x=n.p\partial_x (p).x = n.p.

    diff, v2, current

    • CommentRowNumber5.
    • CommentAuthorJ-B Vienney
    • CommentTime7 days ago

    @Anonymous: Do you have a reference where such a definition appears? I find it very interesting.

    • CommentRowNumber6.
    • CommentAuthorJ-B Vienney
    • CommentTime7 days ago

    Added homogeneous polynomials in a finite number of indeterminate + a notion of polynomial homogeneous with respect to some variable.

    diff, v4, current

  2. Changed minimum to a slightly different version involving the maximum in the one indeterminate version because the definition using maximum generalizes better to the multiple indeterminant version, and to constructive mathematics.

    Anonymous

    diff, v8, current

  3. swapped derivative out for shift operator in the single indeterminant case, so that it works for all rings, not just rings of characteristic zero.

    Anonymous

    diff, v10, current

  4. also, moving query boxes to the nForum

    +– {: .query} I might want to switch out derivatives with shift operators, since the definition involving the derivatives only work for commutative rings with characteristic zero. =–

    +– {: .query} J-B: Do you know the notion of Hasse-Schmidt derivative? Maybe it could work in positive characteristic.

    With one indeterminant xx, it is defined for every k0k \ge 0 by D k(x n+k)=(n+kk)x nD^{k}(x^{n+k}) = \binom{n+k}{k} x^{n} and I think that we then have for all P:R[x]P:R[x], deg(P)=min{i0,li,D l(P)=0}deg(P) = min \{i \ge 0, \forall l \ge i, D^{l}(P) = 0 \} (or something similar). =–

    Anonymous

    diff, v10, current

  5. readded definition in terms of derivatives, would be useful to link it up to Euler’s identity

    Anonymous

    diff, v10, current

    • CommentRowNumber11.
    • CommentAuthorUrs
    • CommentTime6 days ago

    I have made adjustments to the wording in the beginning (here) of the Definition-section. Mostly just for readability, such as to reduce frequent repetitions, but also concerning one minor technical point:

    • I changed “isProp modality” to “isProp predicate”: the modality would be propositional truncation, which is different.

    diff, v11, current

    • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTime6 days ago

    I moved this claim from before to after the informal motivation (now here):

    In the following, we work in dependent type theory with excluded middle:

    But I am not sure what this comment is really doing: The material that follows does not look like it uses dependent type theory much at all. (?)

    The only relevant comment I see is that rings of polynomials are advertized as “higher inductive types”. At that point it seems you really want to invoke a universal property

    diff, v11, current

  6. switched language over to set theory language

    Anonymous

    diff, v12, current

  7. I’ve replaced all the instances of the nonce word ‘indeterminant’ with ‘indeterminate’ (Wiktionary and the sites that scrape it know the first word, but the second word has actual attestations and can be found in dictionaries.

    Anonymous

    diff, v12, current

  8. adding context sidebar

    Anonymous

    diff, v12, current

Add your comments
  • Please log in or leave your comment as a "guest post". If commenting as a "guest", please include your name in the message as a courtesy. Note: only certain categories allow guest posts.
  • To produce a hyperlink to an nLab entry, simply put double square brackets around its name, e.g. [[category]]. To use (La)TeX mathematics in your post, make sure Markdown+Itex is selected below and put your mathematics between dollar signs as usual. Only a subset of the usual TeX math commands are accepted: see here for a list.

  • (Help)