Clanlu Clanlu
  • 请到 [后台->外观->菜单] 中设置菜单
  • 登录
现在登录。
  • 请到 [后台->外观->菜单] 中设置菜单

Basic properties of centralizers in a ring

Math 2年 前

Solution to Abstract Algebra by Dummit & Foote 3rd edition Chapter 7.1 Exercise 7.1.9
Let $R$ be a ring. For a fixed element $a \in R$, define $C_R(a) = \{r \in R \ |\ ra = ar \}$. Prove that $C_R(a)$ is a subring of $R$ containing $a$. Prove that $$Z(R) = \bigcap_{a \in R} C_R(a).$$


Solution: (We do not need to assume that $R$ has a $1$.)
Note that $aa = aa$, so that $a \in C_R(a)$. Similarly, $0a = a0$, so $0 \in C_R(a)$. If $R$ has a $1$, then since $1a = a1$, $1 \in C_R(a)$.
Now if $x,y \in C_R(a)$, then $$(x-y)a = xa-ya = ax-ay = a(x-y),$$ so that $x-y \in C_R(a)$, and $xya = xay = axy$, so that $xy \in C_R(a)$. Thus $C_R(a)$ is a subring.
If $x \in Z(R)$, then for all $r \in R$, $xr = rx$. Thus for all $r \in R$, $x \in C_R(r)$, and we have $x \in \bigcap_{r \in R} C_R(r)$.
Now if $x \in \bigcap_{r \in R} C_R(r)$, then for all $r \in R$, $x \in C_R(r)$. So $xr = rx$, and we have $x \in Z(R)$.

#Center#Centralizer#Subring
0
Math
O(∩_∩)O哈哈~
猜你喜欢
  • The set of prime ideals of a commutative ring contains inclusion-minimal elements
  • Use Zorn’s Lemma to construct an ideal which maximally does not contain a given finitely generated ideal
  • Not every ideal is prime
  • Characterization of maximal ideals in the ring of all continuous real-valued functions
  • Definition and basic properties of the Jacobson radical of an ideal
23 5月, 2020
Dih(24) and Sym(4) are not isomorphic
精选标签
  • Subgroup 40
  • Order 37
  • Counterexample 36
Copyright © 2022 Clanlu. Designed by nicetheme.