Mathematics Asked by LAD on September 9, 2020

I’m doing Exercise 5 in textbook Algebra by Saunders MacLane and Garrett Birkhoff.

If a ring $R$ is not commutative, an element $c$ is called central in $R$ if $c r=r c$ for every $r in R$. Construct from $R$ a ring $R[x]$ containing $R$ as a subring and a central element $x$ such that to any ring $R^{prime}$ with a central element $c$ and containing $R$ as a subring there is a unique morphism $E_{c}: R[x] rightarrow R^{prime}$ with $E_{c}(r)=r$ for all $r in R$ and $E_{c}(x)=c$.

Could you please verify if my attempt is fine or contains logical mistakes? Thank you so much for your help!

Let $R[x]$ be the set of all sequences $p:mathbb N to R$ such that ${n in mathbb N mid p_n neq 0}$ is finite. For $p,q in R[x]$, we define addition and multiplication by $$begin{aligned} (p + q)_n &= p_n+q_n \ (p q)_n &= sum_{k=0}^{n} p_{k} q_{n-k}end{aligned}$$

It’s then straightforward to verify that $R[x]$ is a ring. Define $x in R[x]$ by $x_n = 1$ if $n = 1$ and $x_n = 0$ otherwise. Then $x$ is a central element of $R[x]$. Furthermore, $x^k := underbrace{xcdots x}_{k text{ times}}$ is such that $(x^k)_n = 1$ if $n = k$ and $(x^k)_n = 0$ otherwise. We identify $a in R$ with $p in R[x]$ for which $p_n = a$ if $n=0$ and $p_n = 0$ otherwise. It follows that $p in R[x]$ can be represented uniquely as $p= sum_n p_n x^n$.

Consider the map $E_c:R[x] to R’, sum_n p_n x^n mapsto sum_n p_n c^n$. By construction, this is the unique morphism satisfying the required conditions.

This looks good to me! You didn't prove all of your claims (and as a result you didn't explicitly use all of the assumptions – e.g. you never mentioned the fact that $c$ is central), but it's clear you understand what's going on so I'm sure you could. In any case, this is absolutely the correct construction.

Correct answer by diracdeltafunk on September 9, 2020

1 Asked on February 13, 2021 by theobands

1 Asked on February 13, 2021 by adam-rubinson

1 Asked on February 13, 2021

0 Asked on February 13, 2021 by durdi

convex analysis convex optimization inequality multivariable calculus real analysis

1 Asked on February 13, 2021 by user859358

2 Asked on February 13, 2021

3 Asked on February 13, 2021 by user3801230

1 Asked on February 13, 2021

1 Asked on February 13, 2021 by lorenza-fuller

1 Asked on February 13, 2021 by lss

0 Asked on February 13, 2021

2 Asked on February 13, 2021 by richardfatman

3 Asked on February 12, 2021 by physor

1 Asked on February 12, 2021 by krishan

2 Asked on February 12, 2021 by floppo

0 Asked on February 12, 2021 by eod-enaj

1 Asked on February 12, 2021 by user736690

1 Asked on February 12, 2021 by smirniy007

Get help from others!

Recent Answers

- Joshua Engel on Why fry rice before boiling?
- Peter Machado on Why fry rice before boiling?
- Jon Church on Why fry rice before boiling?
- haakon.io on Why fry rice before boiling?
- Lex on Does Google Analytics track 404 page responses as valid page views?

© 2022 AnswerBun.com. All rights reserved. Sites we Love: PCI Database, MenuIva, UKBizDB, Menu Kuliner, Sharing RPP, SolveDir