Skip to main content
deleted 10 characters in body
Source Link
Hailong Dao
  • 30.5k
  • 5
  • 102
  • 188

Dear Tim: I am not sureperhaps I understandmisunderstood your question., but I think any reasonably technical field has a few examples. I heard algebraic geometry is such a field, so I looked up a couple of sources and found these two right away:

  1. Let $f: R\to S$ be a local homomorphism of local rings. Suppose $R$ is regular, $S$ is Cohen-Macaulay, $f$ is finite and $\text{dim} R = \text{dim} S$. Then $f$ is flat.

This is a basic result that is used quite frequently. I don't think you can drop any of the hypotheses, they are all basic definitions and independent of each other.

Or how about:

  1. A morphism of schemes $f: X \to S$ is quasi-finite if it is locally of finite type, quasi compact and has finite fibres.

Again, I don't think you can drop any of the hypotheses. I am reasonably sure EGA has a few more results like this (-:

Dear Tim: I am not sure I understand your question. I think any reasonably technical field has a few examples. I heard algebraic geometry is such a field, so I looked up a couple of sources and found these two right away:

  1. Let $f: R\to S$ be a local homomorphism of local rings. Suppose $R$ is regular, $S$ is Cohen-Macaulay, $f$ is finite and $\text{dim} R = \text{dim} S$. Then $f$ is flat.

This is a basic result that is used quite frequently. I don't think you can drop any of the hypotheses, they are all basic definitions and independent of each other.

Or how about:

  1. A morphism of schemes $f: X \to S$ is quasi-finite if it is locally of finite type, quasi compact and has finite fibres.

Again, I don't think you can drop any of the hypotheses. I am reasonably sure EGA has a few more results like this (-:

Dear Tim: perhaps I misunderstood your question, but I think any reasonably technical field has a few examples. I heard algebraic geometry is such a field, so I looked up a couple of sources and found these two:

  1. Let $f: R\to S$ be a local homomorphism of local rings. Suppose $R$ is regular, $S$ is Cohen-Macaulay, $f$ is finite and $\text{dim} R = \text{dim} S$. Then $f$ is flat.

This is a basic result that is used quite frequently. I don't think you can drop any of the hypotheses, they are all basic definitions and independent of each other.

Or how about:

  1. A morphism of schemes $f: X \to S$ is quasi-finite if it is locally of finite type, quasi compact and has finite fibres.

Again, I don't think you can drop any of the hypotheses. I am reasonably sure EGA has a few more results like this (-:

Post Made Community Wiki
Source Link
Hailong Dao
  • 30.5k
  • 5
  • 102
  • 188

Dear Tim: I am not sure I understand your question. I think any reasonably technical field has a few examples. I heard algebraic geometry is such a field, so I looked up a couple of sources and found these two right away:

  1. Let $f: R\to S$ be a local homomorphism of local rings. Suppose $R$ is regular, $S$ is Cohen-Macaulay, $f$ is finite and $\text{dim} R = \text{dim} S$. Then $f$ is flat.

This is a basic result that is used quite frequently. I don't think you can drop any of the hypotheses, they are all basic definitions and independent of each other.

Or how about:

  1. A morphism of schemes $f: X \to S$ is quasi-finite if it is locally of finite type, quasi compact and has finite fibres.

Again, I don't think you can drop any of the hypotheses. I am reasonably sure EGA has a few more results like this (-: