Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
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.
added pointer to:
recently I have been pointing frequently to “positive
added pointer to:
Generalized the definition at group of units, and added another example (analyzing the group of units of the p-adic integers).
I’m losing track of all the little recent edits I’ve made, but among them I created Euclidean domain, and added to principal ideal domain and unique factorization domain, proving the familiar inclusions between them. Piddled around a little with polynomial as well.
added section about Bézout domains in constructive mathematics, most of the text copied from principal ideal domain
Anonymous
renaming page to the one used in the Stacks reference, parallel with Artinian ring.
Anonymous
I added to field a mention of some other constructive variants of the definition, with a couple more references.
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”.
<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>
Redirects also semantics (linguistics).
added to identity type a mentioning of the alternative definition in terms of inductive types (paths).
added to inter-universal Teichmüller theory a pointer to the recent note
(Though after reading I am not sure if that note helps so much.)
a bare list of references, to be !include
-ed into the lists of references of relevant entries (at quantum hall effect and noncommutative geometry, maybe also at matrix model), for ease of synchronizing