This article is within the scope of
WikiProject Glossaries, a project which is currently considered to be inactive.GlossariesWikipedia:WikiProject GlossariesTemplate:WikiProject GlossariesGlossaries articles
This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of
mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join
the discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics articles
The definition here is "An algebra over a field is called separable if its extension by any finite purely inseparable extension is reduced". The definition at
Separable algebra is "associative K-algebra A is said to be separable if for every
field extension the algebra is semisimple". The latter is supported by, for example, DeMeyer and Ingraham (1971). Are these the same and if so what is the reference?
Spectral sequence (
talk)
17:36, 10 August 2013 (UTC)reply
A ring is called Cohen–Macaulay if all local rings are Cohen–Macaulay, meaning that they are Noetherian local rings with dimension equal to their depth.
I think it is intending to say something like
A local ring is Cohen–Macaulay if it is Noetherian with dimension equal to depth. In general a ring is called Cohen-Macaulay if the localisation at every maximal ideal is Cohen-Macaulay.
No, it just means proper as in a
proper subset. (unsigned))
which is also NOT DEFINED, and I suspect incorrect -
proper ideal is more relevant and I think different. Whichever way you look at it, more is needed here. I'm trying to find the best link for the mathmatical sense of
proper right, but WP seems to be no help at all.
Johnbod (
talk)
03:19, 7 December 2013 (UTC)reply
What makes you think "proper" in "proper ideal" is something tricky? (see
proper ideal for a definition.) It's not defined here, because it has only the expected meaning; i.e., proper as in "proper subset". --
Taku (
talk)
14:25, 7 December 2013 (UTC)reply