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
2answers
57 views

Ideals of a subring of $M_{2\times 2}(\mathbb{R})$

Define $$A:=\left[\begin{array}{cc}\mathbb{R}&\mathbb{R}\\ 0&\mathbb{R}\end{array}\right]=\left\{\left[\begin{array}{cc}a&b\\ 0&c\end{array}\right]:a,b,c\in\mathbb{R}\right\}$$ Prove ...
1
vote
1answer
122 views

Proving that set is (or is not) a field

Let $P = \{a + b\sqrt[3]3 + c\sqrt[3]9, a, b, c \in \Bbb Z \}$ It is easy to prove that $(P, +, \cdot)$ is a ring considering ordinary addition and multiplication. How to prove that this set is or is ...
1
vote
0answers
54 views

Hochschild homology with trivial coefficients: how to make $K$ an $M_n(K)$-module

Let $R$ be a ring, $A$ an associative $R$-algebra, and $M$ an $A$-$A$-bimodule. Then the Hochschild homology of $A$ with coefficients in $M$, denoted $HH_\ast(A)$, is the homology of the chain complex ...
2
votes
2answers
415 views

homomorphism image of a maximal ideal of a ring

Let $R$ and $S$ be commutative rings with $1$ and $\phi: R\rightarrow S$ be a surjective ring homomorphism. Then for an arbitrary maximal ideal $I$ of $R$, does $\phi(I)$ have to be maximal in $S$? ...
-2
votes
4answers
115 views

Let $K$ be a field and $f(x)\in K[x]$. Prove that $K[x]/(f(x))$ is a field if and only if $f(x)$ is irreducible in $K[x]$.

Let $K$ be a field and $f(x)\in K[x]$. Prove that $K[x]/(f(x))$ is a field if and only if $f(x)$ is irreducible in $K[x]$. How to prove? I really have no idea... Thank you a lot.
0
votes
1answer
100 views

$gcd(a,b)$ in a UFD subring is not a greatest common divisor in the ring

Give a counterexample that $R$ is a unique factorization domain but not a principal ideal domain, $S$ is a ring containing $R$, such that $a,b\in R$, $gcd(a,b)$ in $R$ is not a greatest common ...
1
vote
1answer
45 views

irreducible elements of polynomial rings

Let $p$ be a prime integer. For $x\in\mathbb{Z}$, let $x'$ be the remainder of $x$ when divided by $p$. Let $\sum_{i=0}^{n}a_iX^i\in \mathbb{Z}[X]$ with $p$ does not divide $a_n$ in $\mathbb{Z}$. Then ...
1
vote
3answers
70 views

Minimal polynomial of a finite field

Let $p,n\in\mathbb{N}$ with $p$ prime and $q=p^n$. Let $\mathbb{F}_q$ be the finite field with $q$ elements (unique up to $\cong$), i.e. the $q$-th Galois field. According to this, the extension ...
8
votes
2answers
128 views

$R/I$ is not Noetherian. Prove that $I$ is a prime ideal.

Let $R$ be a commutative ring with $1$ and let $I$ be an ideal of $R$, maximal with respect to the property that $R/I$ is not Noetherian. Prove that $I$ is a prime ideal. I need some hints to ...
1
vote
1answer
18 views

On distributive modules

Is there a ring $R$ (with identity) such that for any right module $M$ the lattice of submodules of $M$ is distributive?
0
votes
2answers
56 views

Whats avoid from ideal to be principal?

At this question I asked about specific one... But I think that I don't understand the basic: If I have an ideal $I$, what avoid it to be principal? I think that I really need a good ...
3
votes
1answer
117 views

$B$ is a finitely generated module over $A$. Then if $A$ is a Noetherian ring (or Artinian ring), then $B$ is a Noetherian (Artinian) ring.

Let $A$ be a subring of $B$. Suppose $B$ is a finitely generated module over $A$. Prove that if $A$ is a Noetherian ring (or Artinian ring), then $B$ is a Noetherian (Artinian) ring. I am quite ...
3
votes
2answers
241 views

Localization of an integral domain and fields of fractions

Is it true that every localization of an integral domain is isomorphic to a subring of its field of fractions? How are the localizations of an integral domain related to its field of fractions? Is ...
5
votes
1answer
99 views

On maximal submodules of projective modules

I know that any non-zero projective module has a maximal submodule. But is it true that any proper submodule is contained in a maximal submodule !?
2
votes
2answers
21 views

Cyclic modules over local rings

Let $R$ be a commutative local ring. Is it true that all cyclic $R$-modules are indecomposable? If not please give me an example.
2
votes
1answer
125 views

A property of $I$-adic topologies

Let $R$ be a commutative ring with multiplicative identity and $I$ a proper ideal of $R$ such that the intersection of its powers is the zero ideal. It can be shown that if the $I$-adic topology is ...
2
votes
2answers
210 views

The ring of upper triangular matrices as a module over itself

$R$ is taken to be the ring of upper $3 \times 3$ matrices with entries in $\mathbb{R}$. If I view $R$ as a module over itself, are any of its submodules free? And how can I prove that its ...
2
votes
1answer
127 views

Find all homomorphisms from a quotient polynomial ring $\mathbb{Z}[X] /(15X^2+10X-2)$ to $\mathbb{Z}_7$

I'm completely lost, what my problem is I don't get the gist of a quotient polynomial ring nor ANY homomorphisms between it and some $\mathbb{Z}_n$, much less ALL of them. I know there is something ...
2
votes
2answers
48 views

Finite sum of right ideals is finite sum of left ideals

Let $R$ be a ring with $1$ and let $R=I_1\oplus I_2 \cdots \oplus I_n$ where $I_i$ are right ideals of $R$. I need to show that: i) $I_i=x_iR$ for some $x_i\in I_i$ ii) $x_i^2=x_i$ and $x_ix_j=0$ ...
7
votes
3answers
621 views

Integral domain whose irreducible elements are not prime

Is there some integral domain such that none of its irreducible elements is prime? Recall that a nonzero, non invertible element $a$ of an integral domain $D$ is said to be Irreducible, if for ...
2
votes
2answers
291 views

Should the sum of zero divisors also a zero divisor?

In a general ring $A$ (commutative with $1$), should the sum of two zero divisors also a zero divisor? Could anyone give a proof or a countexample? Moreover, consider the polynomial ring $A[x]$, ...
1
vote
1answer
69 views

Given a ring $R$, when one talks of $R[X]$ what do they exactly mean?

Given a ring $R$, when one talks of $R[X]$ what do they exactly mean? To elaborate, do they mean ring of all elements of the form $a_nX^n + \ldots a_0$ where NO equivalences are present? I.e $a_nX^n ...
0
votes
1answer
44 views

products in a unique factorisation domain.

I'm learning a proof about UFD's but I'm not following this particular part: Given a ring A which is a UFD, with a non-zero non-unit element p which is a prime element. Then if you take an arbitrary ...
1
vote
2answers
125 views

Calculations in quotient rings

Is there a nice way to perform calculations within a quotient ring? for instance, an exercise I had was to show $\mathbb{Z}[X]/(X^2+1) \cong \mathbb{Z}[i]$, but this got me thinking; If I didn't know ...
1
vote
1answer
75 views

On a particular $K[x,y]$-module

This is a follow up from HERE. Suppose $K$ is a field and consider $K$ as a $K[x,y]-$module where the scalar product is defined by $f(x,y)\cdot k = f(0,0)\cdot k$. Is $K$ injective or flat as ...
4
votes
2answers
143 views

Is an ideal which is maximal with respect to the property that it consists of zero divisors necessarily prime?

This is in follow-up to this question. Let $R$ be a commutative ring with identity and consider the set $Z \subset R$ of zero divisors. If the ideal $I\subset Z$ is maximal with respect to the ...
8
votes
2answers
285 views

Can the product of two non invertible elements in a ring be invertible?

Let $A$ be a unitary ring. The question is simply: can the product of two non invertible elements in $A$ be invertible? I proved that the answer is negative if $A$ does not have zero divisors, ...
16
votes
7answers
757 views

Introduction to ring theory?

I've been teaching myself algebra these couple of months. I already went through the basics of group (Lagrange, action, class equation, Cauchy and Sylow theorems etc.) And I already have some linear ...
0
votes
1answer
77 views

Fundamental questions on rings of polynomials.

Put $\mathfrak{E}$ the union of $(0,0)$ and $k\times 1$ in $k^2$ ($k$ an algebraically closed field). Furthermore let $\mathfrak{Z}$ the set of all $f\in k[x,y]$ such that $f(s)=0$ for all ...
3
votes
1answer
148 views

to prove that the set consisting of all zero divisors in a commutative ring with unity contains at least one prime ideal

im asked to prove that the set consisting of all zero divisors in a commutative ring with unity contains at least one prime ideal. i cant even start in the proof , ive just defined my set but cant ...
1
vote
2answers
92 views

How to construct finite fields of any prime power order?

For a prime $p$, I know that $\mathbb Z_p$ is a field. To construct a field with four elements, I know I can just take $\frac{\mathbb Z_2[x]}{(x^2+x+1)}$. Similarly, to construct a field of order ...
0
votes
1answer
43 views

the direct image of an ideal needs not to be an ideal

I need an example of a ring mapping homo such that the image of an ideal needs not to be an ideal ? I found that the image is an ideal if the mapping was an onto one ! so all we need to find a mapping ...
1
vote
2answers
118 views

Prove or disprove that the ideal $(2+4\mathbb{Z},x)$ is a principal ideal in $(\mathbb{Z}/4\mathbb{Z})[x]$

Prove or disprove that the ideal $(2+4\mathbb{Z},x)$ is a principal ideal in $(\mathbb{Z}/4\mathbb{Z})[x]$. I know $\mathbb{Z}/4\mathbb{Z}$ is not a field. have something help?
1
vote
1answer
47 views

Ring of Polynomials with two variables

I am working on the ring $R$ of polynomials with two variables over some field, and I have the ideal $J$ generated by $x^2$ and $xy$. I am considering the module $R/J$ over $R$; and I get to a ...
3
votes
1answer
92 views

Suppose that $I$ is an ideal of $R$ which is maximal with respect to the property that it is proper and not prime.

Let $R$ be a commutative ring with $1$. Suppose that $I$ is an ideal of $R$ which is maximal with respect to the property that it is proper and not prime. Deduce that $I$ is contained in at most ...
3
votes
1answer
134 views

Ideals containing $(6, x^3-1)$ in $\mathbb{Z}[x]$

I want to find all ideals containing $(6, x^3-1)$ in $\mathbb{Z}[x]$ and I can only find ten ideals: $\mathbb{Z}[x]$ $(2, x-1),\; (2, x^2+x+1),\; (3, x-1)$ $(6,x-1),\; (2,x^3-1),\; (6, x^2+1+1),\; ...
8
votes
4answers
374 views

Let $R$ be a commutative ring with $1$. Suppose that every nonzero proper ideal of $R$ is maximal. Prove that there are at most two such ideals.

Let $R$ be a commutative ring with $1$. Suppose that every nonzero proper ideal of $R$ is maximal. Prove that there are at most two such ideals. Help me some hints. I have no idea to start. ...
0
votes
1answer
58 views

Kernel of $f$ is a maximal ideal in $R$

Let $R = \{a + b \sqrt{-3} \mid a,b \in \mathbb{Z}\}$ and define $f: R \to \mathbb{Z}/7\mathbb{Z}$ as $f(a+b\sqrt{-3}) = a - 2b + 7 \mathbb{Z}$. Show that $f$ is surjective and that the kernel of $f$ ...
1
vote
1answer
67 views

$k[[x]]$-modules.

Let $k$ a field with $\bar{k}=k$. What can be said about the ideals of $k[[x]]$, can they be determined? I am looking for a $k[[x]]$-module $S$ such that the map $s\mapsto xs$ is surjective, does such ...
1
vote
0answers
106 views

Are any of those quotient rings isomorphic to other well known rings?

(1) Let $C_b(\mathbb{R})$ be the ring (with pointwise multiplication and addition) of bounded continuous functions. Let $I_0=\{f_{(x)} \in C_b(\mathbb{R}) \space | \space lim_{x \to \pm ...
0
votes
1answer
67 views

to show that a ring is a principal ideal ring

I'm asked to show that $\mathbb{Z}_m$ (the integers mod $m$) is a principal ideal ring for every $m > 0$ I see that it is the same discussion used in verifying that $\mathbb{Z}$ (the set of all ...
1
vote
2answers
141 views

Prime ideals in a principal ideal ring

I know that in a principal ideal DOMAIN every $\neq 0$ prime ideal is maximal. is this also true for just a commutative principal ideal ring? It seems to be true for $\mathbf{Z}/n\mathbf{Z}$ ($>1$, ...
2
votes
2answers
87 views

Show $R^*$ is not a cyclic group

$R = \mathbb{F}_3[x]/\langle X^3+X^2+1\rangle$ and $\alpha=[X]$ in $R$. How do you prove that the group $R^*$ is not cyclic? We have shown that $\alpha$ is a unit in $R$ with order $8$ and that ...
7
votes
1answer
319 views

How to construct the coproduct of two (non-commutative) rings

How to construct/describe the coproduct of two - not necessarily commutative - rings $R$ and $S$? This in category $\mathbf{Rng}$ having as objects rings with a unit and as arrows unitary ...
1
vote
2answers
309 views

A commutative ring whose all proper ideals are prime is a field. [closed]

Let $R$ be a commutative ring with $1$. Suppose that all ideals $I \neq R$ are prime. Prove that $R$ is a field. Help me some hints. Thanks a lot.
3
votes
2answers
437 views

Rings of functions.

I'm trying to compile a list of examples of rings (not the usual $\mathbb{R}, \mathbb{Z}, \mathbb{Z/nZ}$ and so on) in order to develop my intuition. Here are some examples and some questions about ...
6
votes
1answer
82 views

How to look at a polynomial ring based on a ring that is not commutative?

When I first met polynomial rings $R[X]$ I wondered: 'where do they come from?' Later the idea that - if $R$ is commutative - they could be interpreted as $R$-algebras free over a singleton brought ...
0
votes
1answer
108 views

Non-archimedean valuation on a field

It was a exercise that one of our professors gave it to us and I don't know the solution of it: Suppose that $v$ is a non-archimedean valuation on the field $F$ and $o(v)$ is the valuation ring of ...
1
vote
1answer
92 views

What is the name for a ring without nilpotent elements?

Let $n,m$ be positive integers. What is the name for a ring $A$ that satisfies the two conditions : $1)$ The ring $A$ is isomorphic to ${\Bbb R}^{n}\times{\Bbb C}^{m}$. $2)$ For every nonzero ...
3
votes
1answer
60 views

Existence of totally ordered ring with zero divisors

Does there exist a totally ordered ring with zero divisors? I can't think of an example right now.