The image of an ideal under an automorphism is a subset of the same ideal

246 Views Asked by At

Let $A$ be a commutative ring with an identity element $1$, let $a$ be an ideal of $A$, and $f: A \rightarrow A$ be any automorphism. Is it true that $ f(a)\subseteq a$.

2

There are 2 best solutions below

0
On

Another (counter)example: take $A = \mathbb Z[i]$, $a = (2+i)A$, and $f$ to be complex conjugation.

0
On

A sort of universal counterexample is $A=\mathbb Z[X,Y]$, $f$ the automorphism exchanging $X$ and $Y$ and $\mathfrak a=(X)$.