Intereting Posts

Does $A\oplus \mathbb{Z}\cong B\oplus \mathbb{Z}$ imply $A\cong B$?
If $L:\mathbb{R}^n \rightarrow \mathbb{R}^m$ and $m<n$ linear trans. What does this tell about injectivity and surjectivity?
Question on differentiability of a continuous function
If $f_{n}$ are non-negative and $\int_{X}f_{n}d\mu=1$ does $\frac{1}{n}f_{n}$ converge almost-everywhere to $0$? does $\frac{1}{n^{2}}f_{n}$?
If $|f(z)|\lt a|q(z)|$ for some $a\gt 0$, then $f=bq$ for some $b\in \mathbb C$
(Easy?) consequence of the Riemann Hypothesis
Rings whose spectrum is Hausdorff
Characterisation of extreme mono- and epi- morphisms in category of topological spaces.
$\int_0^{\infty} A( f(B(x)) ) + C(x) ) dx = \int_0^{\infty} f(x) dx$
Conditional expectation on Gaussian random variables
A sum for stirling numbers Pi, e.
Binomial probability with summation
Connectedness of the boundary
Show that the linear operator $(Tf)(x)=\frac{1}{\pi} \int_0^{\infty} \frac{f(y)}{(x+y)} dy$ satisfies $\|T\|\leq 1$.
Axioms for sets of numbers

I have in my notes that the Jacobson radical of a ring $R$ is:

$J(R) = \cap${$I$ | $I$ primitive ideal of $R$}

$= \cap$ {$Ann_R M$ | $M$ simple $R$-module}.

I have now seen elsewhere that

$J(R) = \{x ∈ R: xy-1 ∈ R^\times \text{ for all } y ∈R\}$

I was just wondering would anyone be able to provide an explanation as to how to get from one definition to the other? Thanks.

- A Question on a claim regarding the notion of “space” in “Indiscrete Thoughts”
- What is the difference between Singular Value and Eigenvalue?
- Definition of an Ordered Pair
- Definition of the total derivative.
- Good way to describe “converging parallel lines”?
- To whom do we owe this construction of angles and trigonometry?

- Alternative definition of hyperbolic cosine without relying on exponential function
- Why *all* $\epsilon > 0$, in the $\varepsilon-\delta$ limit definition?
- Question about the definition of a category
- Calculus 2 integral $\int {\frac{2}{x\sqrt{x+1}}}\, dx$
- Assuming convergence of the following series, find the value of $\sqrt{6+\sqrt{6+\sqrt{6+…}}}$
- $\epsilon$-$\delta$ proof that $\lim_{x \to 1} \sqrt{x} = 1$
- How is the epsilon-delta definition of continuity equivalent to the following statement?
- Prove $\sqrt{2} + \sqrt{5}$ is irrational
- Prove that ${\sqrt2}^{\sqrt2}$ is an irrational number without using a theorem.
- Help with $\lim_{x\rightarrow +\infty} (x^2 - \sqrt{x^4 - x^2 + 1})$

Let R be a commutative ring. then:

$$J(R) = \cap\{I | \text{I is primitive ideal of R}\} = \cap\{Ann_R M | \text{M is simple R-module}\}=\cap\{m| \text{m is maximal ideal of R}\}=\{x\in R|\forall y\in R, \text{1-xy is unit in R}\}.$$

Proof of the last equality:

assume $x\in J(R)$. If $1-xy$ is not unit of $R$. Then there exists a maximal ideal $m$ of $R$ such that $1-xy \in m$. But by definition of $J(R)$, $x\in m$. So $1\in m$, a contradiction.

conversly:

Suppose that, for each $y\in R$, it is the case that $1-xy$ is a unit of$R$. Let $m$ be a maximal ideal of $R$ such that $x\notin m$. Since $$m\subset m+(x)\subset R$$ by the maximality of $m$, we have $m+(x)=R$. So that there exist $u\in m$, $y\in R$ such that $u+xy=1$. Hence $1-xy\in m$, and so cannot be a unit, contradiction.

If $S$ is a simple (right) $R$-module and $x\in S$, $x\ne0$, then $xR=S$ and so $\def\Ann{\operatorname{Ann}}\Ann_R(x)$ is a maximal right ideal.

Since $\Ann_R(S)=\bigcap_{x\in S}\Ann_R(x)$ we see that $J(R)$ is an intersection of maximal right ideals.

Conversely, since $\Ann_R(R/I)\subseteq I$, for every right ideal $I$, we see that every maximal right ideal contains a primitive ideal.

Therefore the Jacobson radical $J(R)$ is the intersection of all maximal right ideals.

An element $x\in R$ is called right (resp. left) quasiregular if $1-x$ is (left) right invertible. A right ideal is called quasiregular if it consists of right quasiregular elements. In this case, every element is also left quasiregular. Indeed, suppose all elements of $I$ are right quasiregular. Let $x\in I$; then $(1-x)(1-y)=1$ for some $y\in R$, that is, $x+y-xy=0$. In particular $y=xy-x\in I$ and therefore $y$ is right quasiregular; let $(1-y)(1-z)=0$. Now $1-y$ is invertible, so $1-x=1-z=(1-y)^{-1}$ and hence $x=z$, showing that $1-x$ is left quasiregular.

We want now to show that every $x\in J(R)$ is right quasiregular. If not, $(1-x)R\ne R$, so there exists a maximal right ideal $I$ such that $(1-x)R\subseteq I$. In particular $1-x\in I$, so $x\notin I$: this contradicts $x$ belonging to all maximal right ideals.

So, if $x\in J(R)$, we know that $xy\in J(R)$ for every $y\in R$ and hence $1-xy$ is left and right quasiregular; thus $1-xy$ is invertible.

Conversely, suppose $1-xy$ is invertible for every $y\in R$. We want to show that $x$ belongs to all maximal right ideals.

Let $I$ be a maximal right ideal. If $x\notin I$, we know that $xR+I=R$, so $xy+z=1$ for some $y\in R$ and $z\in I$. This is impossible, because $z=1-xy$ is invertible by assumption on $x$.

- Definite Integral $\int_0^\infty\exp(-\sqrt{x^2+y^2})\left(\frac{1}{x^2+y^2}+\frac{1}{\sqrt{x^2+y^2}}\right)dx$ (mod. Bessel funs 2nd kind $K_n$?)
- Diagonalisable or not?
- Suggestions on how to prove the following equality. $a^{m+n}=a^m a^n$
- Is the Michael line star countable?
- Required reading on the Collatz Conjecture
- Understanding the trivial primality test
- If n balls are thrown into k bins, what is the probability that every bin gets at least one ball?
- A triangle determinant that is always zero
- Any positive linear functional $\phi$ on $\ell^\infty$ is a bounded linear operator and has $\|\phi \| = \phi((1,1,…)) $
- Projections on the Riemann Sphere are antipodal
- What does the $-\log$ term mean in the calculation of entropy?
- Books to study for Math GRE, self-study, have some time.
- Self-Contained Proof that $\sum\limits_{n=1}^{\infty} \frac1{n^p}$ Converges for $p > 1$
- $x^{2000} + \frac{1}{x^{2000}}$ in terms of $x + \frac 1x$.
- Find a matrix relative to new bases