# Questions tagged [integral-dependence]

The tag has no usage guidance.

55 questions
1answer
44 views

### Generalization of Atiyah-Macdonald Proposition 5.7

The Proposition is Let $A\subseteq B$ be integral domains, $B$ integral over $A$. Then $B$ is a field iff $A$ is a field. The proof is easy. I want to generalize this proposition. I want to prove ...
0answers
13 views

### Long Range Dependence, Order Statistics

I have a long range dependence process which is defined in such a way: $$σ^2_{μ,X}=∫_T∫_{R^2}Cov_X(t,u,v) μ(du) μ(dv) dt.$$ We can use derived formula for covariation using distribution functions ...
0answers
69 views

### How to solve analytically this equation?

I need to solve the next equation and to find $x_1$: $$\dfrac{d(x_0x_1)}{dz}=-8\dfrac{dx_0}{dz}\dfrac{1}{r-z(r-1)}$$ where $x_0$, $x_1$, $z$ are variables, and $r$, $\beta$ are constants. At this ...
2answers
89 views

### How to solve multiple dependent differential equation?

I have next differential equation: $$(x_0x_3)'=-(x_1x_2)'+8\cdot(-x_2'-\dfrac{x_1'}{x_0}+\dfrac{x_1x_0'}{x_0^2})$$ where $x_0'=\dfrac{dx_0}{dz}$, and it means the same for every sign $'$. On the ...
1answer
54 views

### Integration boundary condition dependent on integral derivative?

I need to solve integral: $\int_0^{r(z)} \dfrac{\mathrm{d}z}{r^4(z)-2r^2(z)}$, where $r(z)=r_i-z(r_i-1)$, where $r_i$ is constant, $z$ is longitudinal coordinate. Boundary condition $r(z)$ is ...
1answer
337 views

### Going Up Theorem - Examples? Witnesses?

I am currently in Chapter 5 - Integral Dependence and Valuations of the text Introduction to Commutative Algebra by Atiyah - Macdonald. I am in particular studying the `Going-up theorem', and I have a ...
1answer
47 views

### Domain without any non trivial integral extensions (any monic polynomial $f \in A[x] \setminus \{1\}$ has a root in $A$) is a field?

Let $A$ be an integral domain. Assume that any monic polynomial (different from $1$) with coefficients in $A$ has a root in $A$. Does it follow that $A$ is a field (necessarily algebraically closed)? ...
1answer
122 views

### Let $k$ be a field of characteristic $\neq 2$, and $n\geq m\geq 3$. Then $k[x_1,\ldots,x_n]/\langle x_1^2+\ldots+x_m^2\rangle$ is integrally closed. [duplicate]

I wish to show that $B:=k[x_1,\ldots,x_n]/\langle x_1^2+\ldots+x_m^2\rangle$ is a normal domain -- that is to say, it is integrally closed in its ring of fractions. Unfortunately, I don't know of any ...
3answers
199 views

1answer
192 views

### What is the integral closure of the integers in the real numbers?

What is the integral closure of the ring $\mathbb{Z}$ inside the field $\mathbb{R}$ of real numbers and what are it's properties? Is this studied at all?
0answers
557 views

### How to compute the integral closure of $\Bbb{Z}$ in $\mathbb Q(\sqrt[n]{p})$?

We have the definition of integral closure that all the integral elements of A in B. Could we just compute the integral closure of certain A in B. I am considering such a problem that given a prime p, ...
1answer
164 views

### Equivalent conditions for integral element

Let $A\subset B$ be a ring extension and $x\in B$. Then if $A$ is noetherian the following two conditions are equivalent: $i)$ $x$ is integral over $A$. $ii)$ There exists a finitely generated $A$-...
1answer
301 views

1answer
54 views

### Find a monic polynomial [closed]

For each $f \in K[x]$, find a monic polynomial satisfied by $f$ with coefficients in $K[x^2]$, where $K$ is a field.
1answer
156 views

### Show that $A[x] \cap A[x^{-1}]$ is integral over $A$. [duplicate]

Let $R$ be a commutative ring, $A$ a subring of $R$, and $x$ a unit in $R$. Show that every $y \in A[x] \cap A[x^{-1}]$ is integral over $A$. I'm supposed to use the fact that there exists an ...
1answer
56 views

### Why do we need injectivity in the definition of integral dependence?

Let $f: A \rightarrow B$ a ring morphism of commutative rings, then one has on $B$ a multiplication by elements of $A$ defined by $b*a \doteq b.f(a)$ (where . is the multiplication in the ring $B$). ...
2answers
625 views

1answer
855 views

1answer
839 views

### Algebraic vs. Integral Closure of a Ring

Let $R\subseteq S$ be a ring extension. It is true that the set of elements of $S$ that are are integral over $R$ (i.e. satisfy a monic polynomial equation over $R$) is a subring of $S$. Can ...
2answers
611 views

### $\mathbb{Q}[X,Y]/(X^2+Y^2-1)$ is integrally closed

I'm was browsing this question, where it is proven the quotient field of $\mathbb{Q}[X,Y]/(X^2+Y^2-1)$ is isomorphic to the rational function field $\mathbb{Q}(t)$ under the isomorphism  (x,y) \...
1answer
69 views

### Dimensions of integral ring extensions

If $X$ is a commutative ring with identity and $Y$ is an integral $X$-algebra, show that $\dim\,X=\dim\,Y$. I think also that $X$ needs to be a subring of $Y$. Why is this true?
1answer
71 views

### Simple integral extension question

If $R$ is a commutative ring, why is every $x$ in $R$ integral over $R$? I can't see what monic polynomial will have $x$ as a root.
2answers
357 views

2answers
525 views

2answers
124 views

### If $x$ is integral over $A_m$ for all maximal ideals $m$, then $x$ is integral over $A$

I am going over an old exam, and there is this question that I am stuck: Given $A$ a commutative ring with unity, show that if $x\in\operatorname{Frac}(A)$ is integral over $A_m$ for all maximal ...
4answers
306 views

### Consider $R[x]$ and let $S$ be the subring generated by $rx$, where $r \in R$ is some non-invertible element. Then $x$ is not integral over $S$

Consider $R[x]$ and let $S$ be the subring generated by $rx$, where $r \in R$ is some non-invertible element. Then I want to show that $x$ is not integral over $S$ I'm not seeing why this is the case....
1answer
68 views