Section 6.10

Ideals

[15/93%]
Show
LaTeX
Problem 6.10.1

Let AA be the ring of real 2×22 \times 2 matrices of the form (ab0c)\begin{pmatrix} a & b \\ 0 & c \end{pmatrix}. What are the 2-sided ideals in AA?

?
Problem 6.10.2

Let Mn×n(F)M_{n \times n}(\mathbf{F}) be the ring of n×nn \times n matrices over a field F\mathbf{F}. Prove that it has no 2-sided ideals except Mn×n(F)M_{n \times n}(\mathbf{F}) and {0}\left\{ 0\right\}.

?
Problem 6.10.3

Let Mn×n(F)M_{n \times n}(\mathbf{F}) be the ring of n×nn \times n matrices over a field F\mathbf{F}. For n≥1n \geq 1 does there exist a ring homomorphism from M(n+1)×(n+1)(F)M_{(n+1) \times (n+1)}(\mathbf{F}) onto Mn×n(F)M_{n \times n}(\mathbf{F})?

?
Problem 6.10.4

Let RR be the ring of n×nn \times n matrices over a field. Suppose SS is a ring and h:R→Sh : R \rightarrow S is a homomorphism. Show that hh is either injective or zero.

?
Problem 6.10.5

Let F\mathbf{F} be a field and let XX be a finite set. Let R(X,F)R(X, \mathbf{F}) be the ring of all functions from XX to F\mathbf{F}, endowed with the pointwise operations. What are the maximal ideals of R(X,F)R(X, \mathbf{F})?

?
Problem 6.10.6

Suppose VV is a vector space over a field KK. If UU and WW are subspaces, let E(U,W)E(U,W) be the set of linear endomorphisms FF of VV over KK with the property that the image of FUFU in V/WV/W is finite dimensional. Show that E(U,U)E(U,U) is a subring of the ring of endomorphisms of VV with two-sided ideals E(V,U)E(V,U) and E(U,0)E(U,0).

?
Problem 6.10.7

Let RR be a commutative ring with identity element and a∈Ra \in R. Let nn and mm be positive integers, and write d=gcd⁡{n,m}d = \gcd \left\{ n,m\right\}. Prove that the ideal of RR generated by an−1a^n - 1 and am−1a^m - 1 is the same as the ideal generated by ad−1a^d - 1.

?
Problem 6.10.8
?
(1)

Let RR be a commutative ring with identity containing an element aa with a3=a+1a^3 = a+1. Further, let II be an ideal of RR of index <5< 5 in RR. Prove that I=RI = R.

(2)

Show that there exists a commutative ring with identity that has an element aa with a3=a+1a^3 = a+1 and that contains an ideal of index 5.

Remark.
?

The term index is used here exactly as in group theory; namely the index of II in RR means the order of R/IR/I.

Problem 6.10.9

Let RR be a commutative ring with 1, and R∗R^{*} be its group of units. Suppose that the additive group of RR is generated by {u2∣u∈R∗}\left\{ u^2 \mid u \in R^{*}\right\}. Prove that RR has, at most, one ideal II for which R/IR/I has cardinality 3.

?
Problem 6.10.10

Find all commutative rings RR with identity such that RR has a unique maximal ideal and such that the group of units of RR is trivial.

?
Problem 6.10.11

Let RR be a ring with identity, and let II be the left ideal of RR generated by {ab−ba∣a,b∈R}\left\{ ab-ba \mid a,b \in R\right\}. Prove that II is a two-sided ideal.

?
Problem 6.10.12

Let RR be a ring with identity element. Suppose that I1,I2,…,InI_1, I_2, \ldots , I_n are left ideals in RR such that R=I1⊕I2⊕⋯⊕InR = I_1 \oplus I_2 \oplus \cdots \oplus I_n (as additive groups). Prove that there are elements ui∈Iiu_i \in I_i such that for any elements ai∈Iia_i \in I_i, aiui=aia_i u_i = a_i and aiuj=0a_i u_j = 0 if j≠ij \neq i.

?
Problem 6.10.13

Suppose that RR is a subring of a commutative ring SS and that RR is of finite index nn in SS. Let mm be an integer that is relatively prime to nn. Prove that the natural map R/mR→S/mSR/mR \rightarrow S/mS is a ring isomorphism.

?
Problem 6.10.14

Let MM be one of the following fields: R\mathbb {R}, C\mathbb {C}, Q\mathbb {Q}, and F9\mathbf{F}_9 (the field with nine elements). Let I⊂M[x]I \subset M[x] be the ideal generated by x4+2x−2x^4 + 2x - 2. For which choices of MM is the ring M[x]/IM[x]/I a field?

?
Problem 6.10.15

Let RR be a principal ideal domain and let II and JJ be nonzero ideals in RR. Show that IJ=I∩JIJ = I \cap J if and only if I+J=RI+J = R.

?