I was trying to prove that a surjective Endomorphism $f:A \to A$ of a noetherian ring is also injective. I would like to know why this argument is not correct? $A/\rm{Ker}f \cong \rm{Im}f=A \Rightarrow Kerf=\{0\}$
2025-01-13 05:18:29.1736745509
Endomorphism of a rings
518 Views Asked by Alejandro Jiménez https://math.techqa.club/user/alejandro-jimenez/detail At
2
There are 2 best solutions below
4
user239203
On
It doesn't work because there isn't any general principle of ring theory according to which $R/I$ should be isomorphic to $R$ only if $I=0$.
If $f$ were surjective but not injective, then the sequence of ideals $$0\subseteq\ker( f)\subseteq \ker (f^2)\subseteq \ker (f^3)\subseteq\cdots$$ would be strictly increasing, which is inconsistent with noetherianity of $A$.
Related Questions in ABSTRACT-ALGEBRA
- Projective Indecomposable modules of quiver algebra
- Binary relations for Cobb-Douglas
- Relations among these polynomials
- Number of necklaces of 16 beads with 8 red beads, 4 green beads and 4 yellow beads
- Page 99 of Hindry's Arithmetics, follows from exact sequence that $\text{N}(IJ) = \text{N}(J)\text{card}(J/IJ)$?
- How to write the identity permutation as a product of transpositions
- Is $H$ a subgroup?
- $x=(0,\overline{1})$ and $y=(0,\overline{2})$ generate the same ideal in $R=\mathbb{Z}\times\mathbb{Z}/5\mathbb{Z}$
- Having some problems with understanding conics and graphing (eccentricity)
- Is this Cayley Diagram contradictory?
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 NOETHERIAN
- Prime ideals $\mathfrak{p} \supset \mathfrak{a}$ are finite in one-dimensional Noetherian domain
- Local Noetherian ring and its invariants
- A field is always noetherian
- Zerodivisors and grade of an ideal
- $A \oplus M$ is Noetherian iff $A$ is Noetherian and $M$ is a f.g. $A$-module
- What does this field notation mean?
- Direct sum of noetherian rings
- Localization of a one-dimensional noetherian integral domain
- Examples of Noetherian Domains of Dimension One
- Noetherian criterion and principal ideals.
Related Questions in RING-ISOMORPHISM
- Is $\operatorname{Mat}(2,\mathbb{R})$ isomorphic to $\operatorname{Mat}(3,\mathbb{R})$?
- R[x]/(x^4+1) isomorphic to direct sum of complex numbers
- Application of Chinese Remainder Theorem to Ring Isomorphism
- Is F[x] isomorphic to Z for any field F?
- $\mathbb{K}[[x,y]]/\langle\, f\,\rangle \cong \mathbb{K}[[x]],\mathbb{K}[[y]]$. in formal power series ring
- Ring Homomorphism in field of rational functions of x and y with rational coefficients
- Significance of unity in ring for isomorphism
- Prove that $R/I$ and $S/\phi(I)$ are isomorphic
- Factor ring of polynomial ring with coefficients in $\mathbb{Z}_{n}$.
- Finding an isomorphism between finite fields of same order, but different construction.
Related Questions in MORPHISM
- Morphism between affine scheme corresponding with ring homomorphism
- If functions compose both ways to make automorphisms, are they isomorphisms?
- Extension of projection from a point to a Blow Up
- If $\{v_1, v_2, ..., v_n\}$ is a basis and $f$ is an injective morphism, show that $\{f(v_1), f(v_2), ..., f(v_n)\}$ is linearly independent.
- The magic of the morphisms
- Why are "the" morphisms of the category of topological spaces continuous maps?
- What is the link between homomorphisms and mutual information?
- Functions which map Lebesgue measurable sets into Lebesgue measurable sets
- Why do we study the number of homomorphisms/isomorphisms between fields?
- Constant morphism from $\mathbb{P}^m_k$ to $\mathbb{P}^n_k$ as schemes
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
Your argument cannot be correct, since it doesn't use the noetherian hypothesis; this is because for a non-noetherian ring the statement is wrong:
Consider the polynomial ring $A = \mathbb Z[x_1,x_2,x_3,\dotsc]$ in infinitely many variables. It is clearly not noetherian. Now, consider the ring homomorphism $f\colon A\to A$ given on variables by $f(x_1) = 0$ and $f(x_n) = x_{n-1}$ for $n>1$. It is surjective, but not injective.