Math and stuff
-
Nilradical and Jacobson radical
Proposition A ring $A$ is such that every ideal not contained in the nilradical contains a nonzero idempotent (that is, an element $e$ such that $e^2 = e \ne 0$). Prove that the nilradical and Jacobson radical of $A$ are equal. Solution When $A = (0)$, this is trivial. Suppose...
-
A local ring contains no idempotent $\ne 0, 1$
Proposition A local ring contains no idempotent $\ne 0, 1$. Solution Let $A$ be a local ring that contains no idempotent $\ne 0, 1$. Let $x$ be an idempotent $\ne 0, 1$. If no such element exists, we are done. Suppose it is a unit and let $y$ be the...
-
$a = r(a)$ if and only if $a$ is an intersection of prime ideals
Proposition Let $a$ be an ideal $\ne (1)$ in a ring $A$. Show that $a = r(a) \iff a$ is an intersection of prime ideals. Solution Suppose $a = r(a)$. By Proposition 1.14[Atiyah], $r(a)$ is the intersection of the prime ideals containing $a$. Therefore, $a$ is an intersection of prime...
-
Integration over paths
Proposition Integrate the function $f(z) = \overline{z}$ over the following paths: $\gamma(t) = t + it (0 \leq t \leq 1)$. $\gamma(t) = t + it^2 (0 \leq t \leq 1)$. $\gamma_1(t) = t$ with $0 \leq t \leq 1$, and $\gamma_2(t) = 1 + it$ with $0 \leq t...
-
Integral over a circle
Proposition Integrate the following functions over the circle $C[0, 2]$: $f(z) = z + \overline{z}$. $f(z) = \frac{1}{z^4}$. $f(z) = z^2 - 2z + 3$. $f(z) = xy$. Solution The circle can be parametrized as $\gamma(t) = 2\exp(it) = 2\cos(t) + 2i\sin(t)$. Then $\gamma’(t) = 2i\exp(it) = -2\sin(t) + 2i\cos(t)$....