## Return to Answer

5 Added property P_d

A simple example is obtained by taking $P$ to mean "has positive dimension".
Every local domain of positive dimension $(A,\mathfrak m)$ has $P$ at all maximal ideals (i.e. just at $\mathfrak m$ !) since $A_{\mathfrak m}=A$ , but $P$ fails at the generic point $\eta=(0)$ since $A_\eta=Frac(A)$ has dimension zero, being a field.

Edit In order to address Chuck's comment, let me emphasize that the answer above is very easily adapted to non local non-local rings.
For example any finitely generated domain $A$ of positive dimension $d$ over a field has property $P$ when localized at a maximal ideal $\frak m$ but not at the zero ideal.
More precisely, $dim A_{(0)}=0$ and $dimA_{\frak m}=d$ for any maximal ideal ${\frak m}$ : this equidimensionality result follows from Noether's normalization theorem.
This shows that if property $P_d$ is " has dimension $d$ ", then $P_d$ holds for $A_{\frak m}$ if ${\frak m}$ is maximal and does not hold for $A_{\frak p}$ if the prime $\frak p$ is not maximal.

4 added non local example.

A simple example is obtained by taking $P$ to mean "has positive dimension".
Every local domain of positive dimension $(A,\mathfrak m)$ has $P$ at all maximal ideals (i.e. just at $\mathfrak m$ !) since $A_{\mathfrak m}=A$ , but $P$ fails at the generic point $\eta=(0)$ since $A_\eta=Frac(A)$ has dimension zero, being a field.

Edit In order to address Chuck's comment, let me emphasize that the answer above is very easily adapted to non local rings.
For example any finitely generated domain $A$ of positive dimension $d$ over a field has property $P$ when localized at a maximal ideal $\frak m$ but not at the zero ideal.
More precisely, $dim A_{(0)}=0$ and $dimA_{\frak m}=d$ for any maximal ideal ${\frak m}$ : this equidimensionality result follows from Noether's normalization theorem.

3 added 8 characters in body

A simple example is obtained by taking $P$ to mean "has positive dimension".
Every local domain of positive dimension $(A,\mathfrak m)$ has $P$ at all maximal ideals (i.e. just at $\mathfrak m$ !) since $A_{\mathfrak m}=A$ , but $P$ fails at the generic point $\eta=(0)$ since $A_\eta$ A_\eta=Frac(A)\$ has dimension zero, being a field.

2 Replaced "integral ring" by "domain"

A simple example is obtained by taking $P$ to mean "has positive dimension".
Every integral local ring domain of positive dimension $(A,\mathfrak m)$ has $P$ at all maximal ideals (i.e. just at $\mathfrak m$ !) since $A_{\mathfrak m}=A$ , but $P$ fails at the generic point $\eta=(0)$ since $A_\eta$ has dimension zero, being a field.

1

A simple example is obtained by taking $P$ to mean "has positive dimension".
Every integral local ring of positive dimension $(A,\mathfrak m)$ has $P$ at all maximal ideals (i.e. just at $\mathfrak m$ !) since $A_{\mathfrak m}=A$ , but $P$ fails at the generic point $\eta=(0)$ since $A_\eta$ has dimension zero, being a field.
{"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": 61, "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": false}, "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.9184466004371643, "perplexity_flag": "head"}