I have known that two rings A and B are said to be Morita equivalent if the left module categories mod A and mod B are equivalent. Many properties of module category are Morita equivalent invariant, and we know ideal of A and B are one to one corespondents. I want to know is the nilpotent exponent of Jacobson radical of ring a Morita equivalent invariant?I think it is right for left Artin rings. Firstly, we have an equivalence functor F:mod A $\to$ mod B, for an A-module M, we have $rad^i M=\mathfrak{r}^i M$, where $\mathfrak{r}$ is the Jacobson radical of $A$. Secondly, we note that the nilpotent exponent of Jacobson radical is the maximum of radical length of $M$, for each A-module $M$. Finally, I think $F$ preserve the length of radical sequence of $M$, i.e. $rl_A M=rl_B F(M)$ . Therefore, the nilpotent exponent of Jacobson radical of left artin rings a Morita equivalent invariant. But I’m not sure it is right, and I want to know is it true for arbitrary ring.
2025-01-14 22:44:24.1736894664
Is the nilpotent exponent of the Jacobson radical of algebra a Morita equivalent invariant?
83 Views Asked by Zhenxian Chen https://math.techqa.club/user/zhenxian-chen/detail At
1
There are 1 best solutions below
Related Questions in RING-THEORY
- $x=(0,\overline{1})$ and $y=(0,\overline{2})$ generate the same ideal in $R=\mathbb{Z}\times\mathbb{Z}/5\mathbb{Z}$
- Show that the quotient ring $R/\mathcal{I}$ is a field.
- Prime ideals $\mathfrak{p} \supset \mathfrak{a}$ are finite in one-dimensional Noetherian domain
- Constructing finite fields of order $8$ and $27$ or any non-prime
- How do I show that the unit group of $\mathbb{Z}\times\mathbb{Z}/5\mathbb{Z}$ is a cyclic group of order 10?
- What is a cubic ideal/partial cubic ideal?
- Surjective ring homomorphism from polynomial to complex numbers
- Generalization of nilpotency in ring theory?
- Give an example of an injective ring homomorphism $f : R \to S$ where $R$ is commutative, but $S$ is not commutative
- Is the ring of formal power series in infinitely many variables a unique factorization domain?
Related Questions in REPRESENTATION-THEORY
- Conjugation preserves representation?
- linear representations, usual assumption
- Example of representation
- Simultaneously diagonalize the regular representation of C2 (+) C2 (+) C2.
- In what sense are the linear characters among the irreducible characters
- representation of sym^2(V)
- Proof that the induced class function $\theta^G$ is a character if $\theta$ is a representation on subgroup
- Character representation of right regular representation as sum of irreducible characters
- For simple $\mathbb C[G]$-modules is the representation unique
- Formulas give irreducible representation, $SL(2, \mathbb{C})$.
Related Questions in MORITA-EQUIVALENCE
- State-sum construction of the Drinfeld center of a fusion 2-category
- Is the nilpotent exponent of the Jacobson radical of algebra a Morita equivalent invariant?
- Isomorphisms of the tensor product of $\mathcal{A}^N$
- Why is the bicategory viewpoint useful?
- Is it true that any algebra is Morita equivalent to oposite?
- Morita theory for presheaf (functor) categories
- Asking for references on commutation and morita equivalence
- Morita equivalent about group algebra and representation ring
- Rigidity of finitely generated projective modules
- Let $R$ be a ring $P$ a projective generator of right $R$-modules. If $M$ is a left $A$-module, then $M \cong \text{Hom}_R(P, P \otimes_R M)$
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Refuting the Anti-Cantor Cranks
- Find $E[XY|Y+Z=1 ]$
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- What are the Implications of having VΩ as a model for a theory?
- How do we know that the number $1$ is not equal to the number $-1$?
- Defining a Galois Field based on primitive element versus polynomial?
- Is computer science a branch of mathematics?
- Can't find the relationship between two columns of numbers. Please Help
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- A community project: prove (or disprove) that $\sum_{n\geq 1}\frac{\sin(2^n)}{n}$ is convergent
- Alternative way of expressing a quantied statement with "Some"
Popular # Hahtags
real-analysis
calculus
linear-algebra
probability
abstract-algebra
integration
sequences-and-series
combinatorics
general-topology
matrices
functional-analysis
complex-analysis
geometry
group-theory
algebra-precalculus
probability-theory
ordinary-differential-equations
limits
analysis
number-theory
measure-theory
elementary-number-theory
statistics
multivariable-calculus
functions
derivatives
discrete-mathematics
differential-geometry
inequality
trigonometry
Popular Questions
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- How to find mean and median from histogram
- Difference between "≈", "≃", and "≅"
- Easy way of memorizing values of sine, cosine, and tangent
- How to calculate the intersection of two planes?
- What does "∈" mean?
- If you roll a fair six sided die twice, what's the probability that you get the same number both times?
- Probability of getting exactly 2 heads in 3 coins tossed with order not important?
- Fourier transform for dummies
- Limit of $(1+ x/n)^n$ when $n$ tends to infinity
Yes. The natural correspondence between the ideals of two Morita equivalent rings $R$ and $S$ preserves products of ideals, takes $\operatorname{rad}R$ to $\operatorname{rad}S$, and of course takes the zero ideal to the zero ideal.
So $\operatorname{rad}^nR=0$ if and only if $\operatorname{rad}^nS=0$.
You can find proofs of the necessary results in, for example, Proposition 18.44 and Corollary 18.50 of
Lam, T. Y., Lectures on modules and rings, Graduate Texts in Mathematics. 189. New York, NY: Springer. xxiii, 557 p. (1999). ZBL0911.16001.