Not signed in (Sign In)

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 definitions deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor 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 mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nforum nlab noncommutative noncommutative-geometry 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 stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft 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).
    • The entry Clifford algebra used to state the classification and Bott periodicty over the complex numbers, but not over the real numbers. I have added in now the relevant statements, straight from Lawson-Michelson:

      Just the bare statements so far.

    • Page created, but author did not leave any comments.

      Anonymous

      v1, current

    • As discussed on the nforum in the thread here, the definition of the antisymmetric tensor power was incorrect.

      diff, v20, current

    • recently I have been pointing frequently to “positive characteristic”. Now I thought these pointers better go to a dedicated entry positive characteristic, so I started one.

    • touched the formatting of the pointers to references on characteristic of E-rings

      diff, v8, current

    • starting article on ordered Koch fields

      Anonymous

      v1, current

    • Page created, but author did not leave any comments.

      Anonymous

      v1, current

    • Page created, but author did not leave any comments.

      Anonymous

      v1, current

    • started page on strictly ordered rings

      Anonymous

      v1, current

    • starting page on linearly ordered rings

      Anonymous

      v1, current

    • Generalized the definition at group of units, and added another example (analyzing the group of units of the p-adic integers).

    • Page created, but author did not leave any comments.

      Anonymous

      v1, current

    • Page created, but author did not leave any comments.

      Anonymous

      v1, current

    • Page created, but author did not leave any comments.

      Anonymous

      v1, current

    • Page created, but author did not leave any comments.

      Anonymous

      v1, current

    • Page created, but author did not leave any comments.

      Anonymous

      v1, current

    • Page created, but author did not leave any comments.

      Anonymous

      v1, current

    • added some details about the ring of power series modeling infinitesimals in fields.

      Anonymous

      diff, v26, current

    • starting page on ordered local integral domains

      Anonymous

      v1, current

    • starting page on Archimedean ordered local integral domains

      Anonymous

      v1, current

    • starting page on Archimedean ordered local rings

      Anonymous

      v1, current

    • starting page on Archimedean ordered reduced local rings

      Anonymous

      v1, current

    • starting page on ordered reduced local rings

      Anonymous

      v1, current

    • creating article for a weaker notion of “integral domain” where the zero divisors only form an ideal instead of being equal to zero, in the same way that a local ring is where the non-invertible elements only form an ideal instead of being equal to zero.

      Anonymous

      v1, current

    • starting page on possibly trivial integral domains, in which the trivial ring is included in the notion of integral domain

      Anonymous

      v1, current

    • starting page on setoids whose quotient sets are rings

      Anonymouse

      v1, current

    • starting article on semisimple rings

      Anonymous

      v1, current

    • starting page on reduced local rings

      Anonymous

      v1, current

    • starting page on possibly trivial fields, in which the trivial ring is included in the notion of field

      Anonymous

      v1, current

    • starting page on setoids whose quotient sets are fields

      Anonymouse

      v1, current

    • I added to field a mention of some other constructive variants of the definition, with a couple more references.

    • starting page on setoids whose quotient sets are local rings

      Anonymouse

      v1, current

    • starting page on the notion of field defined by Anders Kock

      Anonymous

      v1, current

    • starting article on weak local rings

      Anonymous

      v1, current

    • Added to local ring a short remark on that the spectrum of a ring is local if and only if the ring is local.

    • at the beginning of ring I have spelled out a more explicit definition. Also added the examples of rings on cyclic groups to explain the origin of the word “ring”.

    • This comment is invalid XHTML+MathML+SVG; displaying source. <div> <p>created <a href="https://ncatlab.org/nlab/show/nonabelian+group+cohomology">nonabelian group cohomology</a></p> <p>the secret title of this entry is "Schreier theory done right". (where "right" is right from the <a href="https://ncatlab.org/nlab/show/nPOV">nPOV</a>)</p> <p>this is the first part of the answer to</p> <blockquote> What is going on at <a href="https://ncatlab.org/nlab/show/nonabelian+Lie+algebra+cohomology">nonabelian Lie algebra cohomology</a>? </blockquote> <p>The second part of the answer is the statement:</p> <blockquote> The same. </blockquote> <p>;-)</p> <p>I'll expand on that eventually.</p> </div>
    • Created a stub for this concept.

      v1, current

    • a stub entry, for the moment just to record some references

      v1, current

    • some minimum, for the moment mainly to make links work

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • added to identity type a mentioning of the alternative definition in terms of inductive types (paths).

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current