This tag is for questions about rings, which are a type of algebraic structure studied in abstract algebra and algebraic number theory.

learn more… | top users | synonyms (1)

2
votes
3answers
121 views

How to show distributivity in a ring, and what is wrong with my algebra?

I am trying to show the following is a commutative ring with unity, however I am encountering a problem. First, addition and multiplication are defined as: $$a \oplus b=a+b-1$$$$a \odot ...
0
votes
1answer
20 views

Prove that $\forall a,b\in\mathbb{C} \exists c,d \in \mathbb{C}: c+d = a \land cd = b$

Prove that: $\forall a,b\in\mathbb{C} \exists c,d \in \mathbb{C}: c+d = a \land cd = b$ We just learned about the characteristic/minimal polynomial and diagonalization but I am not sure if it has ...
2
votes
1answer
31 views

Example of non-commutative ring with exactly 2014 two sided-proper ideals.

find a non-commutative ring with exactly 2014 two sided-proper ideals.find a ring with exactly 2014 pairwise non-isomorphic irreducible modules. If it was the commutative ring i would have thought of ...
0
votes
1answer
18 views

Minimal right ideals

Let $I$ be a minimal right ideal of a ring $R$ with $1$. If $r\in R$, could we say that $rI$ is zero or a minimal right ideal? I assumed a right ideal $J$ in $rI$ and intersecting it with $I$ got a ...
1
vote
1answer
25 views

homomorphism between cohomology induced by the multiplication of an H-space

Define the product on $\mathbb{C}P^\infty$ in the following way: \begin{eqnarray*} \phi:\mathbb{C}P\overset{\Delta}\longrightarrow(\mathbb{C}P^\infty)^k\overset{\mu}\longrightarrow ...
0
votes
0answers
28 views

Doubt related to quotients (group or ring)

I was reading some notes about ring theory and modules and I've encountered with the following isomorphism: $\mathbb (R[X]/ \langle x^3-1\rangle)/ \langle x-1\rangle \cong \mathbb R[X]/ \langle x-1 ...
0
votes
1answer
10 views

common factors of multilinear polynomial

Say $F,G\in\Bbb R[x_1,x_2,\dots,x_{n-1},x_n]$ are two multilinear polynomial. If $F$ and $G$ vanish at a common set of coordinantes $(a_{i1},a_{i2},\dots,a_{in-1},a_{in})\in\Bbb R^n$ for ...
3
votes
1answer
50 views

If $n\mid m$ prove that the canonical surjection $\pi: \mathbb Z_m \rightarrow \mathbb Z_n$ is also surjective on units

Not sure if this is the right proof (i found it online): Since $n\mid m$, if we factor $m = p_1^{\alpha_1}p_2^{\alpha_2}\cdots p_k^{\alpha_k}$, then $n = p_1^{\beta_1}p_2^{\beta_2}\cdots ...
2
votes
2answers
23 views

Computing the inverse of an element in $\mathbb{Z}_5[x] / \langle x^2+x+2\rangle$

How does one calculate the inverse of $(2x+3)+I$ in $\mathbb{Z}_5[x] / \langle x^2+x+2\rangle$? Give me some hint to solve this problem. Thanks in advance.
5
votes
1answer
126 views

algebra with topology homework problem

Hello Everyone, I have this homework problem, I'm going to share what i have so far, not sure if Im in the right path. First, I have: $$f \sim g \, \Leftrightarrow \,x_0 \in \mathbb{R^n}, \exists ...
2
votes
1answer
40 views

Simple questions about the Jacobson Radical

Questions: [See below] $\rm\color{#c00}{(1)}$ What structure has $R/I$ when $I$ is a maximal left ideal? I know that if $I$ is a bilateral ideal then $R/I$ is a ring and, moreover, if $I$ is ...
1
vote
1answer
42 views

Counterexample for the infinitely many primes between two primes in a Noetherian ring

Consider the following Proposition: Proposition: Let $R$ be a noetherian ring. If $p_0 \subsetneq p_1 \subsetneq p_2$ is a chain of distinct prime ideals in $R$, then there exist infinitely many ...
-2
votes
2answers
55 views

Ring with nested prime ideals [on hold]

If $n>1$ is there a (commutative with identity) ring with Krull dimension $n$ and only $n+1$ prime ideals?
2
votes
1answer
25 views

Multiplicative group of a field contains maximal n-1 elements with order n

Let $F$ be a field and $n\in \mathbb N,n>1$. I want to show that the multiplicative group $K$\ $\{0\}$ contains maximal $n-1$ elements with order $n$. I actually don't have any ideas how to solve ...
1
vote
1answer
39 views

A finite-dimensional $K$-algebra?

Let $A$ be a commutative noetherian domain of characteristic $p>0$ and $K$ be its quotient field. Let $G$ be any finite group whose order is divisible by $p$. Is $KG$ a finite-dimensional ...
0
votes
2answers
45 views

Looking for help, Aluffi Exercise 5.13, Chapter 6: characterization of PIDs

I quote: "Let $M$ be a finitely generated module over an integral domain $R$. Prove that if $R$ is a PID, then $M$ is torsion-free if and only if it is free. Prove that this property characterizes ...
0
votes
1answer
14 views

$M_n(D)$ is left and right-simple?

Is it true that if $D$ is a division ring and $n\in\mathbb{Z}_{\geq1}$, then the only left and right ideals of the ring $M_n(D)$ are the trivial ones? I know that $M_n(D)$ is simple, and the ...
0
votes
1answer
45 views

Steps to construct the Field of fractions of Gaussian Integers $\mathbb{Z}[i]$ [duplicate]

i don't know how to construct such field $\mathbb{Q[i]} $ from $\mathbb{Z[i]}$. I know the following: $(a+bi,c+di)\sim (m+ni,r+si)$ iff $(a+bi)(r+si)=(c+di)(m+ni)$ is the equivalence relation and if ...
1
vote
1answer
38 views

Atiyah & MacDonald on local Noetherian and Artinian rings - sanity check.

In the chapter on Artinian rings in "Introduction to Commutative Algebra" by Atiyah and MacDonald, we have: Proposition 8.6. Let $(A,\mathfrak{m})$ be a local Noetherian ring. Then exactly one of the ...
1
vote
1answer
25 views

Correspondence between ideals of $R$ and $D^{-1}R$

Let $R$ be an integral domain, and $D\subset R$ be a multiplicatively closed subset such that $1\in D$ and $0\not\in D$ . Prove/disprove that there is a one-to-one correspondence between the ideals of ...
1
vote
2answers
36 views

Trouble on Aluffi's Exercise 5.5, Chapter 6: finitely generated projective module over a local ring is free

The overall goal of the problem is the following: Let $R$ be a local commutative ring (so that there is a unique maximal ideal $\mathfrak{m}$) and let $M$ be a finitely generated $R$-module. Assume ...
2
votes
1answer
26 views

Suppose that $R$ is a commutative ring with unity, $a \in R$, and $\varphi(r) = ar$ defines a ring homomorphism. Prove that $a$ is idempotent.

Suppose that $R$ is a commutative ring with unity, $a \in R$, and $\varphi(r) = ar$ defines a ring homomorphism $\varphi$. Prove that $a$ is idempotent, i.e. that $a = a^{2}$. This is exercise 15 ...
1
vote
1answer
72 views

Is $\mathbb{C}\bigotimes_\mathbb{R}\mathbb{C}\simeq \mathbb{C}\bigotimes_{\mathbb{C}}\mathbb{C}$? [duplicate]

I'm trying to see if for several cases changing the ring in a tensor product affects the result or doesn't. Now I'm trying to prove $\mathbb{C}\bigotimes_\mathbb{R}\mathbb{C}\simeq ...
1
vote
1answer
25 views

Proving that this mapping is one to one

Let $Q$ be the field of quotients of the Gaussian integers (integer complex numbers) and let $R$ be the the set of all complex numbers of the form $a +bi$ such that both $a,b$ are rationals I have to ...
0
votes
2answers
17 views

Concerning Ideals and invertible elements in a commutative ring

Here is the problem that I have: Let $R$ be a commutative ring with unity and let $I$ be an ideal in $R$. Prove that $I=R$ if and only if $I$ contains some invertible element of the ring $R$. Here ...
-1
votes
1answer
57 views

If $f$ is a unit in a polynomial ring then $a_0$ is unit and all other coeficients are nilpotent.

I'm trying to prove the converse of the following theorem. I think suggestion available at this website are mistaken or I didn't understand them correctly. Theorem. Let $R$ be a commutative ring with ...
0
votes
1answer
37 views

Quotient field of gaussian Integers

Let $D$ be the set of all gaussian integers in the from of $m+ni$ where $m,n \in Z$ Carry out the construction of the quotient field $Q$ for this integral domain.Show that this quotient field is ...
2
votes
1answer
28 views

Questions about ring of smooth functions

First of all, this is a homework problem. Let $C^{\infty}(\mathbb{R})$ denote the ring of smooth functions. Let $I_n$ denote the set of $f\in C^{\infty}(\mathbb{R})$ such that $$f^{(k)}(0)=0, \ 0 ...
2
votes
1answer
71 views

Why $F[x]/p(x)$ would contain $F$?

I am reading Abstract Algebra by Hungerford, and I am really confused about how we can extend a ring to a bigger ring. Here's what I got from the book: $F$ be a field and $p(x)$ be a nonconstant ...
1
vote
1answer
68 views

Proving the ring $\mathbb{Q}$[$\mathbb{Z}$] is not artinian

My proposed solution: For each $n \in \mathbb{N}$, $\mathbb{Q}$[$2^{n}\mathbb{Z}$] is an ideal of $\mathbb{Q}$[$\mathbb{Z}$] (I think) and so we have the following infinite descending chain of ...
0
votes
2answers
32 views

Matrix rings and ideals

How would one go about checking if a given 2 x 2 matrix is an ideal. I am unclear as to what an ideal is and would like to know the steps in order to make the verification. Also, if it helps, I had ...
0
votes
0answers
23 views

Ramification index multipicative

Let $R\subseteq R'\subseteq R''$ be Dedekind rings and P a non-zero prime ideal in $R''$ .I need to show that $e(P/R)=e(P/R')e(P\cap R'/R)$ where $e(P/R)$ is the ramification index of P in respect of ...
2
votes
1answer
19 views

$I$ is an ideal in $R$ implies that $I[x]$ is an ideal in $R[x]$.

Is the following statement right? If $I$ is an ideal in the ring $R$, then $I[x]$ is an ideal in the polynomial ring $R[x]$. If so, how can I prove it?
0
votes
0answers
25 views

Factorring isomorphism

I have $\mathbb Z[i\sqrt2] = ${$a+bi\sqrt2; a,b \in \mathbb Z, i^2=-1$} and $I =${$a+bi; a,b \in \mathbb Z, i^2=-1, 11| a+3b$ }. My task was to prove that $I$ is an ideal in $\mathbb Z[i\sqrt2]$ by ...
1
vote
1answer
20 views

Showing certaing Integral domain is not well ordered.

Let $\mathbb{Z}[\sqrt2]=\{ a+b\sqrt2 ~| a,b\in \mathbb{Z}\} $ be an integral domain. Let $p=\{ a+b\sqrt2 ~|a,b\in\mathbb{Z} ~~~ and ~~~ a+b\sqrt 2 ~~is~~a~positive~real~number \} $ Show that ...
2
votes
2answers
388 views

Is that Ring a field?

Given a commutative Ring $R$ of ordered pairs $(x,y)$ of reals $x,y$ with addition and multiplication defined in the following way. $$(x,y) + (u,v) = (x+u,y+v)$$ $$(x,y).(u,v) = (xu-yv,xv + yu)$$ I ...
0
votes
3answers
25 views

Does the following Multiplication have nonzero divisors

If we define $(x,y).(u,v) = (xu - yv,xv + yu)$ do we have any non zero divisors for this meaning can we find non zero elements $(x,y)$ and $(u,v)$ such that $(x,y).(u,v) = (0,0)$ i tried to think of ...
0
votes
3answers
44 views

If $\gcd(a,b) = 1,$ then why is the set of invertible elements of $\mathbb Z_{ab}$ isomorphic to that of $\mathbb Z_a\times \mathbb Z_b$?

If $\gcd(a,b) = 1,$ then why is the set of invertible elements of $\mathbb Z_{ab}$ isomorphic to that of $\mathbb Z_a\times \mathbb Z_b$? I know the proof that as rings, $\mathbb Z_{ab}$ is congruent ...
2
votes
1answer
39 views

Every ideal is contained in a prime ideal that is disjoint from a given multiplicative set

Let $R$ be a ring $I\subset R$ an ideal and $S\subset R$ be a set for which holds: $1)$ $1\in S$ 2) $a,b \in S\Rightarrow a\cdot b\in S$ Show that there exists a prime ideal $P$ in $R$ containing ...
0
votes
0answers
12 views

find the number of sub fields

Let $\omega$ be a complex number such that $\omega^3 =1$ and $\omega \not=1$. Suppose L is the field $Q(cuberoot{2}, \omega)$ generated by cuberoot{2} and $\omega$ over the field Q of rational ...
5
votes
1answer
54 views

Pronunciation of `Rng` - the non-unital Ring

I chuckled the first time I heard that a Ring without a multiplicative identity (Ring without the i) is called a ...
0
votes
1answer
46 views

Prove $\text{rad}(I)/I$ is isomorphic to $\mathfrak{N}(R/I)$

I want to know if this is the correct way to do it. Define $\varphi:\text{rad}(I) \longrightarrow \mathfrak{N}(R/I)$ by $\varphi(r)= r^n+I$,then ker$\varphi = I$, so therefore by the 1st isomorphism ...
0
votes
1answer
45 views

Prove every prime ideal of a ring is a radical ideal.

this is my attempt: Since $R$ is commutative, we let $I$ to be a prime ideal of $R$, the for $a,b\in R$,then the product $ab$ we must have that $a\in I$ or $b \in I$, by definition of a prime ideal. ...
2
votes
2answers
68 views

Show that $\mathbb{Q}( \sqrt2) \neq \mathbb{Q}( \sqrt3)$

The way that I'm thinking is by showing that the field extension $\mathbb{Q}( \sqrt2) /( \sqrt3) \neq \mathbb{Q}( \sqrt3)$, but is there a simpler way I'm ignoring?
0
votes
2answers
37 views

In ring theory, what does $R^{2} \neq \{0\}$ mean?

I'm working on an exercise of Malik's Fundamentals of Abstract Algebra, namely: "Let $R$ be a ring such that $R^{2} \neq \{0\}$. Prove that $R$ is a division ring if and only if $R$ has no nontrivial ...
0
votes
1answer
23 views

Proof that set of units of a ring is a multiplicative group

How can I proof that the set of units of a ring is a multiplicative group? If I look at $\mathbb{Z}$ I have $\mathbb{Z}^*=\{-1,1\}$ Is it sufficient to say that $\mathbb{Z}^*$ is a subset of ...
0
votes
0answers
6 views

semisimplity of endomorphism of finitley generated module

Let M be a finitely generated left R-module and E = End(RM). Show that if R is semisimple (resp. simple artinian), then so is E.
2
votes
1answer
37 views

Questions on the field extension $K = \mathbb{Q}[x]/\langle x^2 − 5\rangle$

Given the field extension $K = \mathbb{Q}[x]/\langle x^2 − 5\rangle$ of $\mathbb{Q}$, and letting $a = [x] ∈ K$; 1) Show $K ≃ \mathbb{Q}(\sqrt5) $ and $[K : \mathbb{Q}] = 2.$ 2)Find the ...
2
votes
3answers
58 views

Explain to me the difference between the notation $\mathbb{Q}( \sqrt2) $and$ \mathbb{Q}[ \sqrt2]$

Please explain to me the difference between the notation $\mathbb{Q}( \sqrt2) $and$ \mathbb{Q}[ \sqrt2]$. I know that these two fields are equal. But what difference do the different brackets imply? ...
1
vote
1answer
41 views

algebra of polynomials of non-commuting variables

In Hatcher's book algebraic topology page 496-497: the Steenrod algebra $\mathcal{A}_2$ is the algebra over $\mathbb{Z}_2$ formed by polynomials of non-commuting variables $Sq^1,Sq^2,\cdots$ modulo ...