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)

4
votes
2answers
67 views

$R/I$ when $R$ is the ring of real continuous functions

If $R$ is the ring of all real continuous functions on $[0,1]$, I am trying to find $R/I$ where $$I=\{f\in{R}|f(.5)=0\}$$ Showing $I$ is an ideal is not a problem since we're defining addition and ...
0
votes
1answer
25 views

Understanding the notation of Ring problem

The question is Let $R$ be an integral domain, and let $u \in R*$. Show that $u$ divides every non-zero element of R. I am confused of what $R*$ is in this problem.
2
votes
2answers
211 views

Prove that in any integral domain there is at least one prime ideal.

How can I prove that every integral domain has at least one prime ideal? I don't know if I'm overthinking it, but maybe I am. I know how to prove it for something like $\Bbb Z$, but I'm not sure how ...
0
votes
1answer
128 views

Is this an automorphism of a polynomial ring?

Let $Q = R[x,y]$ be the ring of polynomials in $x$ and $y$ over the ring $R$. Then isn't the homomorphism defined by $x\mapsto p_1(x,y), \,\,y\mapsto p_2(x,y)$ an automorphism of $Q$, where ...
6
votes
2answers
173 views

Ideal of a ring

I'm trying to describe an ideal of the ring $R=\left\{ \begin{pmatrix}a & b\\ 0 & c \end{pmatrix}:a,b,c \in \mathbb{R}\right\} $ It's easy to prove that $I=\left\{ \begin{pmatrix}0 & a\\ 0 ...
4
votes
2answers
83 views

Multiplicative polinomial inverse revisited

As it usually goes with asking questions for a third person... You don't get it right the first time. Question I asked here is as follows: Let $A(x)$ be a polynomial with integer coefficients. Is ...
4
votes
1answer
95 views

Maximal ideals in rings

Let $R$ be a ring with identity. Is it true that if $R$ has a finite maximal right ideal then it MUST have a finite maximal two-sided ideal ?
1
vote
1answer
684 views

Verification of a proof that the ring of continuous functions on $[0,1]$ is not noetherian

My problem is to show that the ring of continuous real-valued functions on the interval $[0, 1]$ is non-noetherian. I'd like to know if this argument holds: Let $I$ be the set of functions such ...
2
votes
1answer
82 views

Identity of Ring with Euclidean Norm

let $A$ be a ring that is commutative and also has a euclidean norm function $d$. Then $A$ must have an multiplicative identity. Here $d$ is a function from nonzero elements of $A$ to non-negative ...
2
votes
1answer
162 views

Questions about $\mathbb{Z}[\sqrt{-3}]$

I have some questions about $R=\mathbb{Z}[\sqrt{-3}]=\lbrace a+b\sqrt{-3}| a,b \in \mathbb{Z} \rbrace$. I am working on a problem for comprehensive exam review and think I am making it harder than I ...
2
votes
3answers
59 views

Basic Query about Polynomials over a field - Do their roots have to be in that field?

This one is a rather basic query . I have only recently started studying Fields and in particular finite fields. My question is - do the roots of a polynomial over a given field have to be inside that ...
3
votes
3answers
164 views

On rings isomorphic to the ring of integers…

I have a question that I can't seem to figure out: Let $R$ be a commutative ring with identity. Note that under addition $R$ is an abelian group. Suppose every subgroup of this group is an ideal. ...
2
votes
2answers
89 views

If $A⊆P_1\cup P_2$, then $A⊆P_1$ or $A⊆P_2$.

In a commutative ring $R$, let $A$ be an ideal of $R$ and $P_1$, $P_2$ be prime ideals. If $A⊆P_1\cup P_2$, then $A⊆P_1$ or $A⊆P_2$. I suppose $x_1\in A-P_1$ and $x_2\in A-P_2$ then $x_1\in P_2$, ...
2
votes
3answers
333 views

Zero divisor in R[x] for a commutative ring R

Given a commutative ring $R$ and a polynomial $f(x)=a_0+\cdots+a_nx^n, \ a_n\neq 0_R$ which is a zero divisor in $R[x]$, I am supposed to show that $a_n$ is a zero divisor in $R$. Now there exists a ...
0
votes
2answers
582 views

Polynomials' multiplicative inverse

Let $A(x)$ be a polynomial with integer coefficients. Is there always a polynomial $B(x)$ for which $$A(x)\cdot B(x)\equiv 1\pmod n$$ (for a given integer $n$). If the answer isn't yes, an answer ...
5
votes
1answer
295 views

Field Extension Notation

I've seen similar questions asked here, but I've not been able to find a comprehensive answer. I know that for a ring $R$, $R[X]$ denotes the ring of polynomials over $R$ and $R(X)$ denotes the field ...
1
vote
1answer
673 views

Is there a nice description of the field of fractions of the ring of polynomials with integer coefficients?

Let $\mathbb{Z}[x]$ denote the ring of polynomials (in the formal variable $x$) with integer coefficients. Since $\mathbb{Z}[x]$ is an integral domain, we can form its field of quotients, call it $Q.$ ...
3
votes
1answer
330 views

Describe $R=\mathbb{Z}[X]/(X^2-3,2X+4)$

I need to describe a ring $R=\mathbb{Z}[X]/(X^2-3,2X+4)$ I know that its element would be of the form $\{f(x)+(X^2-3,2X+4)|f(x)\in \mathbb{Z}[X]\}$ After that will i divide $f(x)$ by $X^2-3$ ...
1
vote
2answers
113 views

Chain conditions satisfied by some algebraic structures including ideals in certain commutative rings

From http://en.wikipedia.org/wiki/Ascending_chain_condition: "In mathematics, the ascending chain condition (ACC) and descending chain condition (DCC) are finiteness properties satisfied by some ...
10
votes
1answer
307 views

Generalizing the natural numbers - has this been studied before?

The ordinals numbers generalize the natural numbers and satisfy a generalized induction principle. However, the algebraic properties of the ordinal numbers aren't so good. For example, ordinal sums ...
3
votes
0answers
60 views

Field of fractions of the ring of trigonometric functions [duplicate]

I'm thinking about this question and no elegant idea comes to my mind. Prove that the field of fractions of $\mathbb R[x,y]/(x^2+y^2-1)$ is isomorphic to $\mathbb R (t)$.
4
votes
1answer
111 views

factorising polynomials

I got stuck on my algebra homework. First of all, can you check if the following statements are correct? The polynomial $f=3X^8+6X^4+2$ is irreducible in $\mathbb{Z}[X]$ because $f \in ...
5
votes
0answers
157 views

“Evaluation Homomorphisms” for Formal Power Series

In the ring of formal power series $\Bbb R[[x]]$ it is easy to check by induction that $$ 1 = (1-x)(1 + x + x^2 + \cdots). $$ Does this derivation imply the same identity for those real or complex ...
2
votes
1answer
139 views

Idempotent elements in any ring R.

I want to check this: if $e_1$, $e_2$ are idempotent elements in a ring $R$, then $Re_1=Re_2$ if and only if $e_1=e_2$.
3
votes
1answer
127 views

Generalised composition factors

Let $A$ be a semiprimary ring. A simple module $L$ is said to be a generalised composition factor of $M$ if there are $M'$ and $M''$, $M'' \subset M'$, submodules of $M$, such that $M'/M'' \cong L$. ...
1
vote
1answer
67 views

Why is $\phi: \ R[X] \rightarrow R[X]: \ \sum_{i=0}^n a_i X^i \mapsto \sum_{i=0}^n a_{n-i}X^i$ multiplicative?

I did the following exercise: Define $\phi: \ R[X] \rightarrow R[X]: \ \sum_{i=0}^n a_i X^i \mapsto \sum_{i=0}^n a_{n-i}X^i$. Let $f = \sum_{i=0}^n a_i X^i$ with $a_0 \neq 0 \neq a_n$. Show the ...
5
votes
1answer
253 views

number of element in a principal ideal domain can be $25/36/35/15$?

Could any one tell me number of element in a principal ideal domain can be $25/36/35/15$ ? I just know a principal ideal domain is generated by a single element. what the knowledge I need to find ...
2
votes
1answer
212 views

Quotient Rings of Polynomials Over Rings that are NOT fields

Let R be a commutative ring with identity and $f(x) \in R[x]$ be monic. In general, I am having trouble with identifying what $R[x] \over (f(x))$ is when R is not a field. What "tools" exist that can ...
3
votes
0answers
61 views

Weakening the assumption that an ideal is maximal

This question is from ChI, $\S{3}$ of Serge Lang's Algebraic Number Theory. Let $A$ be a commutative integral domain, integrally closed in its quotient field $K$, and let $E$ be a finite extension of ...
3
votes
2answers
129 views

Quotient field of a certain quotient ring

Let $A$ be a commutative integral domain and $\mathfrak p$ a prime ideal of $A$. Let $A_{\mathfrak p}$ be the localization of $A$ at $\mathfrak p$ and $\mathfrak{m}_{\mathfrak{p}}=\mathfrak ...
1
vote
0answers
42 views

Commutativity of s-unital rings.

Theorem. Let $R$ be a left (resp. right) s-unital ring. If $R$ satisfy $(P_1)$ (resp. $(P_2)$). Then R is commutative(and conversely). $(P_1)$ $y^{s}[x,\, y]=\pm x^{p}[x^{m},y^{n}]^{r}y^{q}$ where ...
9
votes
3answers
736 views

Cardinality of the quotient ring $\mathbb{Z}[x]/(x^2-3,2x+4)$ [duplicate]

This problem is from a practice exam I was working on. What is the cardinality of the quotient $\mathbb{Z}[x]/(x^2-3,2x+4)$ ? Thoughts. If I find a ring that is easier to handle then this then I ...
2
votes
0answers
55 views

Product of ideals closed set

Let $R$ be a topological ring (in fact $R$ is metrizable) and let $I,J$ denote ideals of $R$. Suppose also that they are closed with respect the topology of $R$. Is it always true that the product ...
0
votes
0answers
138 views

Construction of reducible polynomials

We are given a polynomial $F(x)$. We are given enough coprime monic polynomials $p_{i}(x)$ that we are free to choose. Let $F_{i}(x) \equiv F(x) \pmod {p_{i}(x)} \neq 0$. Considering $F_i(x)$ as a ...
1
vote
1answer
84 views

An example of s-unital rings

I am just studying s-unital rings. A ring is called left (resp. right) s-unital if $x\in Rx$ (resp. $x\in xR$) for all $x$ in $R$. A ring is called s-unital if and only if $x\in xR\cap Rx$ for all ...
3
votes
1answer
102 views

Find a polynomial ring $R$ which is not an integral domain and an ideal $I$ such that $R/I$ is a field.

Question: Find a polynomial ring $R$ which is not an integral domain and an ideal $I$ such that $R/I$ is a field. Answer: $R=\mathbb{Z}_6[x]$, $I=\langle 2,x\rangle$, $R/I$ is isomorphic to ...
7
votes
4answers
453 views

$\mathbb{Q}[X,Y]/(Y^2-X^3)$ is not a UFD

I'm trying to show that $R = \mathbb{Q}[X,Y]/(Y^2-X^3)$ is not a UFD, but I got stuck. To prove this, I could try to find two "different" factorisations for one element, but I am not familiar with ...
1
vote
2answers
1k views

Give an example to show that a factor ring of an integral domain may be a field [duplicate]

A) Give an example to show that a factor ring of an integral domain may be a field B) Give an example to show that a factor ring of an integral domain have divisors of 0. C) Give an example to show ...
2
votes
1answer
112 views

Three quotient-ring isomorphism questions

I need some help with the following isomorphisms. Let $R$ be a commutative ring with ideals $I,J$ such that $I \cap J = \{ 0\}$. Then $I+J \cong I \times J$ $(I+J)/J \cong I$ $(R/I)/\bar{J} ...
5
votes
1answer
160 views

Finitely generated ring with zero Krull dimension

I'm trying to prove the following: Every finitely generated ring with Krull dimension equal to zero is finite. I'm trying to show that the ring is a domain, hence a field, in order to use the ...
2
votes
1answer
58 views

Invertibility of an element of the form $1+r+r^2+ \cdots+ r^{2005}$ in a ring when $r^n=0$ for some $n$

This is from a practice exam I was working on. In particular this isn't homework. Let $R$ be a ring with $1\in R$. Suppose that $r\in R$ satisfies $r^n=0$ for some positive integer $n$. Prove that ...
2
votes
2answers
57 views

$x^{n(x,y)} - x$ commutes with $y$, then $R$ is commutative

Theorem. If in a ring $R$ for every pair of elements $x$ and $y$ we can find an integer $n(x, y) > 1$ which depends on $x$ and $y$ so that $x^{n(x,y)}-x$ commutes with $y$, then $R$ is commutative. ...
5
votes
1answer
146 views

The uniqueness of a special maximal ideal factorization

The following problem is from Michael Artin's Algebra, chapter 12, M.6, unstarred: Let $R$ be a domain, and let $I$ be an ideal that is a product of distinct maximal ideals in two ways, say ...
0
votes
1answer
135 views

Principal Ideal Domain Basics.

Let $R$ be a Principal Ideal Domain and $a,b,c,d$ elements in $R$, such that $ab-cd=1$. I am trying to figure out why $Rb \cap Rd=Rdab+Rbcd$. In case this is true, I am wondering weather it is enough ...
3
votes
1answer
64 views

Is there a right semihereditary domain which isn't right Ore?

I do not have a lot of examples in my head for semihereditary domains at all, and I haven't been able to see how to resolve this question: Is there a right semihereditary domain which isn't right ...
0
votes
2answers
63 views

The set of all polynomials in $F[x,y]$ having constant term $0$ is an ideal, but not a principal ideal

In Fraleigh, it said, "Consider the set N of all polynomials in x and y in F[x,y] having constant term 0. Then N is an ideal, but not a principal ideal." (p.399) Could you tell me why this is ...
5
votes
1answer
227 views

Classification of all semisimple rings of a certain order [closed]

I'd appreciate it if you tell me where to begin in order to solve this question: Classify (up to ring isomorphism) all semisimple rings of order 720. Could the Wedderburn-Artin Structural Theorem ...
-1
votes
1answer
97 views

Idempotent elements in $(\mathbb{Z}_n,+,\cdot)$ [duplicate]

Can we find the idempotents in $(\mathbb{Z}_n,+,\cdot)$ for any $n$? Is there a general rule? Note: Trying to consider the prime factors!
4
votes
1answer
54 views

If $R$ is a rng, show that $R\times \mathbb{Z}$ contains a subset in one to one correspondence with $R$.

Let $(R,+,\cdot)$ be a rng (satisfies all the axioms of a ring except multiplicative identity). Define addition and multiplication in $R\times\mathbb{Z}$ by: $(a,n)+(b,m)=(a+b,n+m)$ and ...
2
votes
1answer
70 views

Some homework about ideals

I will ask you some things about ideals. Determine weither the ideal $(X^2+3) \subset \mathbb{F}_5[X]$ is maximal or prime. Intuitively I'd say that the ideal is prime but not maximal. To prove ...