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 (2)

2
votes
0answers
54 views

Can we usefully characterize those rings whose every non-zero prime ideal is maximal?

(All my rings are commutative and unital.) Here the following question is asked: Suppose $R$ is a ring and every prime ideal of $R$ is also a maximal ideal of $R$. Then what can we say about ...
2
votes
0answers
23 views

Express $[RG,RG]$ as $R-$ linear span of $[g,h]$

Let $R$ be a ring and $G$ be a group and $RG$ be the group ring. Denote by $[R,R]$, the additive subgroup generated by all lie products $[x,y]=xy-yx , \forall\ x,y\in R$. Then how is this that $[\...
2
votes
0answers
35 views

on the infinite power of the maximal ideal

Let $(R,\mathfrak{m})$ be a local ring over a field. Suppose the ring has flat functions, i.e. $\mathfrak{m}^\infty\neq\{0\}$. (The prototype is of course $C^\infty(\Bbb{R}^p,0)$, or a quotient of it, ...
2
votes
0answers
51 views

Extended real numbers as algebraic structure

I need to work with real numbers, but extended to have an additional element. This element, I denote by $\odot$ and my set is: $\mathbb{R}_{\odot}=\mathbb{R}\cup\{\odot\}$. This element should behave ...
2
votes
0answers
69 views

Rank of a matrix over a principal ideal domain

I apologize if my question is stupid but I'm not very familiar with matrices over a principal ideal domain $R$ (For example, $R=\mathbb{Z}$ or $R=\mathbb{R}[X]$). I was wondering how to define the ...
2
votes
0answers
38 views

$c$ is irreducible implies that $\langle c\rangle $ is a maximal ideal, proof verification

This is my own personal proof, it seems right, but I want to make sure I don't carry incorrect logic into my future work. Let $R$ be a PID and $c\in R$ If $c$ is irreducible, then $\langle c\...
2
votes
0answers
75 views

Concerning the ring of all real valued functions of bounded variation on $[a,b]$

Let $B[a,b]$ the ring of all real valued functions of bounded variation on $[a,b]$ . What is the cardinality of $B[a,b]$ ? How does the maximal ideals of $B[a,b]$ look like ? How does the prime ideals ...
2
votes
0answers
68 views

Stupid question about a morphism between rings

Let $k$ be an algebraically closed field and let $\mathfrak m$ be a maximal ideal of $k[T_1,\ldots,T_n]$. By the weak Nullstellensatz we know that $k[T_1,\ldots,T_n]/m\cong k$, so by composition (with ...
2
votes
0answers
39 views

Factor rings $R/R$ and $R/0$

Let $R$ be a ring. I want to describe the factor rings $R/R$ and $R/0$. So $R/R = \{[r]| r+R, \forall r\in R \}$ and since $r+R=R$, we get $R/ R =\{[0]\}$. And for $R/0 = \{[r]| r+0,\forall r\in R\}$...
2
votes
0answers
55 views

Find a polynomial equation satisfied by $\phi$

I'm solving the following exercise from my class notes: Let $A=k[x^2,y^2]$ and let $M=k[x^2,xy,y^2]$ ($k$ a field). Show that $M$ is an $A$-module. Define $ \phi :M \to M$ by $\phi(m)=xym$. Find ...
2
votes
0answers
105 views

What would the ring $\mathbb{Z}[x,y]/(x^2-y)$ look like?

What would the ring $\mathbb{Z}[x,y]/(x^2-y)$ look like? And also what would the ring $\mathbb{Z}[x,y]/(x^3-x-y^2)$ look like? These are two sorts of rings I have been curious about.
2
votes
0answers
60 views

Ideals in a ring as geometric objects?

I am interested in learing about the possibility of (one-sided) ideals in a ring being repreented geometrically. In other words, about their status as geometric objects (after all, they can be dealt ...
2
votes
0answers
45 views

Unit group of an imaginary quadratic ring

Let $R$ be an imaginary quadratic ring. Then, the unit group $R^{\times}$ is finite. To prove this, I worked with normal forms, algebraic integers and the fact that $R \not \subset \mathbb{R}$. But I ...
2
votes
0answers
52 views

Proof review: Every maximal ideal of ring of continuous functions has the same form

Let $R$ be the ring of real-valued continuous functions on $[0,1]$. If $M$ is a maximal ideal of $R$ prove $\exists \lambda \in [0,1]$ s.t. $M = \{f(x) \in R : f(\lambda) = 0 \}$. (from Herstein ...
2
votes
0answers
51 views

Maximal ideals of R[x]/(f(x))

I have been studying for my Qualifying Exam and came across the following problem: Let $R\subseteq T$ be integral domains and suppose that $a\in T$ satisfies a monic polynomial of degree $d$ with ...
2
votes
0answers
59 views

A field F can be extended to one in which all polynomials over F have a solution

Please check to see if my methods are correct. This question is a lot to absorb all at once. Let P be the set of non-constant polynomials over a field F and let X be the set of finite subsets of P....
2
votes
0answers
79 views

Inverse limits of quotient rings

Let $A\subset B$ be an extension of discrete valuation rings and let $p$ and $P$ be the non-zero prime ideals of $A$ and $B$ respectively. So I can write $pB=P^m$ for some $m>0$. I form the ...
2
votes
0answers
66 views

Question concerning a self-injective algebra and a faithful module

I'd like to know how corollary 2.11 of http://www.sciencedirect.com/science/article/pii/S002186930098726X# follows from theorem 2.10 from the same reference. 1) I know that $A$ being self-injective ...
2
votes
0answers
52 views

Application of the structure theorem for finitely generated modules over a PID

I've been trying to figure out the correct way to do this and I'm not sure I've got it quite right. $\mathbb{Z}^4/S$ where $S = \{(4, 12,20,8),(6,30,18,12),(4,16,16,8),(8,40,24,16) \}$ So, $M_0 = \...
2
votes
0answers
46 views

Mixed vs Equal Characteristic Local Rings

This is more of a vague, intuitive type of question, so perhaps there isn't anything too concrete anyone can offer. I am trying to get a sense of precisely why working with local rings of equal ...
2
votes
0answers
67 views

Uniqueness of the decomposition of an ideal

Let $ F $ be a non-empty subset of $ \{ 1,2,\dots,n\} $ and $ P_{F}=(\{x_{i}:i\in F\}) $. Let $ F_{1},F_{2},\dots,F_{m} $ be pair-wise distinct non-empty subsets of $ \{1,2,...,n\} $ and $$ I=\prod_{...
2
votes
0answers
211 views

Left Ideals and Two-Sided Ideals of Rings of Matrices

This is a question I posted in this topic: Pathologies in "rng". However, I decided that the question deserves its own thread, and I want to know if anybody can answer it. For ...
2
votes
0answers
52 views

Ring structure of a localization

let $R$ be a commutative noetherian ring and let $A$ be an $R$-algebra which is moreover a finitely generated $R$-module. Let $P$ be a prime ideal of $R$. How is the ring structure of the localization ...
2
votes
0answers
99 views

Idempotent semiring

Let $R$ be a semiring. For $a\in R$,we define $t_a(x)=x+a$ for all $x\in R$. Prove that $R$ is idempotent(with +) and $1$ has an infinite order if and only if for all $a,x,y\in R$, $t_a(x+y)=t_a(x)...
2
votes
0answers
32 views

Showing function defined on $\text{Frac}(R)$ is a ring homomorphism

Let $f : R \to S$ be a ring homomorphism where $R, S$ are integral domains. I want to show that $\varphi : \text{Frac}(R) \to \text{Frac}(S)$ defined by $r/1 \mapsto f(r)/1$ is a ring homomorphism. ...
2
votes
0answers
39 views

Inverse limit of the following system.

Let $\mathcal{O}_L = \mathbb{Z}[\sqrt{-5}]$ be the number ring of $L=\mathbb{Q}[\sqrt{-5}]$, and $\mathfrak{p} =(2, 1+\sqrt{-5})$ a prime (and maximal ideal) in $\mathcal{O}_L$. What is the inverse (...
2
votes
0answers
57 views

Dimensions of quotient rings of $K[x,y]$

I have tried to solve the following problem and would be very grateful if someone could check my answer. Let $K$ be an algebraically closed field with $\mathrm{char}(K)=0$. I wish to compute $\...
2
votes
0answers
54 views

Rings where action of automorphisms on maximal ideals is transitive

If $R$ is a commutative ring, $\alpha: R \to R$ an automorphism of $R$, and $M$ a maximal ideal of $R$, then $\alpha(M)$ is also a maximal ideal of $R$ with the same quotient field. So the group of ...
2
votes
0answers
77 views

Prove $λ$ must divide one of $x$, $y$, or $z$.

Let $λ = (3 + \sqrt{−3})/2 \in \Bbb Q[\sqrt{−3}]$. Prove that if $x^3 + y^3 = z^3$, and $x$, $y$, $z$ are quadratic integers in $\mathbb Q[\sqrt{−3}]$, then $λ$ must divide one of $x$, $y$, or $z$. ...
2
votes
0answers
39 views

Definition with Euclidean domain

Let $R$ be a Euclidean domain and let $A$ be an ideal of $R.$ Then there exists an element $a_0 \in A$ such that $A$ consists of all $a_0x$ as $x$ ranges over $R.$ I found the above theorem ...
2
votes
0answers
40 views

Characterization of epic morphisms in the category of rings.

Let $C$ denotes the category of rings (with identities). It's easy to prove that for any $R\in \text{ob }C$, any multiplicative set $S\subset R$ and any ideal $I\leqslant R$, both $R\to S^{-1}R$ and $...
2
votes
0answers
41 views

Maximal ideals of polynomial ring $\mathbb Z_n[x]$

How would I find one? say $n=p^2q^2$ for $p,q$ primes
2
votes
0answers
57 views

Question about the Chinese Remainder Theorem and the residue class ring ${\bf Z}/p\# {\bf Z}$

In a question that I asked on MO, Terence Tao observed that: The Chinese Remainder Theorem tells us that the residue class ring ${\bf Z}/p\# {\bf Z}$ is isomorphic (as a ring) to the product of ...
2
votes
0answers
279 views

A quick way to determine number of ring homomorphism

Find the number of ring homomorphism from $\mathbb Z_2\times \mathbb Z_2$ to $\mathbb Z_4$. I know that checking idempotent elements the number of ring homomorphisms is $1$. Again the number of ring ...
2
votes
0answers
53 views

Why is every non-zero element not a unit of this ring?

Consider the ring $\mathbb{Z}[\sqrt2]=a+b\sqrt2$ where $a,b\in\mathbb{Z}$. Now, if I am understanding the definition of units correctly, they are all the elements within the ring that have ...
2
votes
0answers
64 views

Euclidean domains and Fields

I've been wrtiting a chain of inclusions of algebraic structures as given at the end of this first paragraph on wikipedia: http://en.wikipedia.org/wiki/Euclidean_domain And I've been giving examples ...
2
votes
0answers
84 views

Suppose a and b belong to a commutative ring and ab is a zero-divisor. Show that either a or b is a zero-divisor.

Suppose a and b belong to a commutative ring and ab is a zero-divisor. Show that either a or b is a zero-divisor. My answer goes like this: If ab is a zero-divisor, then there exists a nonzero ...
2
votes
0answers
58 views

On units in subrings and quotient rings of a finite ring with unity

Let $R$ be a finite ring with unity and $S$ be an ideal (or subring). Let $R^*$ be the group of units of $R$ and $S^*:=R^* \cap S$. Then does $|S^*|$ divide $|R^*|$ ? Moreover, if $I$ is an ideal of ...
2
votes
0answers
21 views

Construct the rule in fields extensions

Let $f(x) = x^3+6x^2-12x+3$ Show that f(x) is irreducible over $\mathbb Q$ . Let $\theta$ be a real root of $f(x)$, which exists due to the intermediate value theorem. $\mathbb Q(\theta)$ consists of ...
2
votes
0answers
33 views

What are the ideals of $End(R)$?

Let $R$ be a ring (with unity if necessary) , then $End(R)$ i.e. the set of endomorphism of the ring $R$ (the set of all ring homomorphisms from $R$ to $R$ ) forms a ring under point-wise function ...
2
votes
0answers
29 views

Example of a maximal idea

Let $A$ be the set of bounded continuous functions from the set of real numbers to itself. Then $A$ is a ring under pointwise addition and multiplication. The set $I$ of all functions $f \in A$ ...
2
votes
0answers
38 views

Symmetry of two-sided ideals

I was thinking about two-sided ideals and have some intuition-guided, soft questions regarding them. Since I don't have anyone to talk to about such subject matter, I thought I'd ask. Let a be an ...
2
votes
0answers
74 views

Chain of ideals in nilpotent algebra

Let $R$ be a nilpotent algebra ($R^n = \{0\}$ for some $n \ge 1$) and $A$ be a subalgebra of $R$. I want to show that exist a finite chain of subalgebras {$R_i$ | $i = 0, 1, ..., m $}, $m \ge 1$, ...
2
votes
0answers
41 views

Quotients of successive powers of the augmentation ideal

For $H$ be any group, let $\mathbb{Z} H$ denote the integral group ring. Define $J(H)$ to be the augmentation ideal i.e $J$ is the kernel of the ring homomorphism $\mathbb{Z}H \to \mathbb{Z}$ sending ...
2
votes
0answers
186 views

Generalisation of chinese remainder theorem on ideals of ring without 1

Let $I_1,\dots,I_n$ be (two-sided) ideals of a ring $R$ (not necessarily with 1), which are pairwise co-maximal, i.e. $\forall i\ne j\in \mathbb{Z}_{[1,n]}$, $I_i+I_j=R$. Let $f:R\to R/I_1\times R/...
2
votes
0answers
70 views

cohomology of complex grassmannians and quaternion grassmannians (the finite dimensional case)

Let $G_k(\mathbb{C}^N)$ be the complex grassmannian manifold. Let $G_k(\mathbb{H}^N)$ be the quaternion grassmannian manifold. Let $p$ be a prime integer (we may also impose extra conditions, such as ...
2
votes
0answers
49 views

A question about a system of congruent equations? Is there a unified proof by using ring theory?

In his book ``Topics in number theory, Volumes I and II''. William J. Leveque proved the following theorem(see page 34) Theorem A necessary and sufficient condition that the system of congruences $...
2
votes
0answers
41 views

Polynomials in the extension of a complete field

I need some help in answering this exercise from Serre's Local Fields textbook: Let K be a complete field, and let f(X) in K[X] be a separable irreducible polynomial of degree n. Let L/K be the ...
2
votes
0answers
49 views

Question on an $\mathbb{R} $-algebra

Define $[n] = \{1,\ldots, n\} $, where $n \in \mathbb{N}$ and define the $2^n$- dimensional $\mathbb{R}$-algebra $C_n$ as follows: Notation: Basis is $e_I$, where $I \subset \mathbb{N}$ and let $...
2
votes
0answers
34 views

Can we build infinite products in $k[[X]]$?

Let $P \in k[[X]]$, where $k[[X]]$ denotes the ring of formal power series over the field $k$. Is well defined $$\prod_{n\in \mathbb{N}}P$$ (i.e. the power to infinity of $P$?) By looking at the ...