## Return to Answer

2 deleted 10 characters in body

Dear Tim: I am not sure perhaps I understand 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 tworight 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.

2) 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 (-:

1 [made Community Wiki]

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.

2) 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 (-:
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 14, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 5, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.970832347869873, "perplexity_flag": "head"}