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
0answers
63 views

A certain valuation of $k(X,Y)$ with value group $\mathbb{Z}+\mathbb{Z}\alpha$

Let $k$ be a field, $X$ and $Y$ indeterminate, and suppose that $\alpha$ is a positive irrational number. Then the map $\nu:k[X,Y]\rightarrow \mathbb{R}\cup \{\infty\}$ defined by taking $\sum ...
2
votes
0answers
50 views

A questions about Group Rings

Let's say $R:=\mathbb{Z}_p[C_{p^\infty}]$ be the group ring of a Prufer group over the field of integer module a prime $p$. We have $C_{p^\infty}=\langle u_1, u_2, ..., u_n, ... |\,\,\,\, ...
2
votes
0answers
42 views

Help needed in understanding a proof

Claim: Let $M$ be a $R$-module ($R$ is an integral domain) and $p \in R$ be a prime. Suppose there exists non-empty finite subsets $B$ and $C$ of $M \backslash\{0\}$ such that $M= \bigoplus_{m \in ...
2
votes
0answers
97 views

Associated primes and their heights

Let $(S,m)$ be a commutative Gorenstein local ring, $I$ an ideal of $S$ such that $\operatorname{ht} I=t$, and $R=S/I$. Let $a \in m$ be an $R$-regular element such that for any prime ideal ...
2
votes
0answers
32 views

some ring theory applied to holomorphic functions

I'd like to know if my understanding of this business is correct. Let $U \subset \mathbb{C}^n$ be open and connected. The set $\mathcal{K}(U)$ of meromor­phic functions on $U$ is a field. Is it true ...
2
votes
0answers
26 views

Fields and quotient ring

Let $P(X)\in{\mathbb{R}[X]}$ irreducible polynomial. Then $\mathbb{R}[X]/(P(X)=X^2+1)\approx{\mathbb{C}}$. If $P(X)=X^2+X+1$ also $\mathbb{R}[X]/(P(X))\approx{\mathbb{C}}$? Or for a arbitrary ...
2
votes
0answers
54 views

Properties of cyclotomic polynomial

Assume first that $p$ a prime divides $n$. I have to show that $\Phi_{np}(X)=\Phi_n(X^p)$. Here is what I tried: Suppose $\eta_i$ are roots of $\Phi_{np}(X)$ so $\eta_i=\text{exp}(\frac{2\pi i ...
2
votes
0answers
28 views

Give an example showing that $\phi(R^\times)$ may be strictly smaller than $S^\times$.

Let $R, S$ be commutative ring and $\phi$ a surjective ring homomorphism from $R$ to $S$. Give an example showing that $\phi(R^\times)$ may be strictly smaller than $S^\times$. Any help is ...
2
votes
0answers
42 views

If there is an integer $n$ such that $n^2\equiv3\pmod p$, where $p$ is prime, prove there are integers $a$ and $b$ such that $|a^2-3b^2|=p$

If there is an integer $n$ such that $n^2\equiv3\pmod p$, where $p$ is prime, prove there are integers $a$ and $b$ such that $|a^2-3b^2|=p$. So $n^2-3 = pm$ for some integer $m$, and I know $|a^2 ...
2
votes
0answers
117 views

What is the fraction field of formal power series ring over a field $F$?

The field of fractions of the formal power series ring $F[[x]]$ over a field $F$ can be obtained by inverting the elements $x$. Let $R=F[[x]]$. I have difficulty in finding the isomorphism $$ ...
2
votes
0answers
64 views

quadratic rings of integers vs cubic rings of integers in number fields

I would appreciate if someone could give me some clues about cubic $\mathbb{Z}$-rings of number fields. So far I have only learned about quadratic rings and I would like to see if there are any ...
2
votes
0answers
71 views

General Primality Conditions in the UFD $\mathbf{Q}(\sqrt{-d})$

Suppose $\mathcal{O}_{\mathbf{Q}\left(\sqrt{-d}\right)}$ is a UFD, so $d=1,2,3,7,11,19,43,67,163$. Are there general criteria determining whether an element in the integers of $\mathbf{Q}(\sqrt{-d})$ ...
2
votes
0answers
48 views

Graded Betti Numbers of a Graded Ideal with Linear Quotients

Exercise 8.8(a) in Monomial Ideals by Herzog and Hibi: Let $I\subset S=K[x_{1},...,x_{n}]$ be a graded ideal which has linear quotients with respect to a homogeneous system of generators ...
2
votes
0answers
79 views

Multiplicative group into ring operation

My question is simple, though it proves to be much more difficult than it sounds. Suppose I want to find a binary operation to add extra structure to a multiplicative group (so it becomes a ring). ...
2
votes
0answers
53 views

Different elements in a factor ring

Studying for my algebra exam I found the following problem, which I'm not sure how to solve Let $f = X^2 + 1 \in \mathbb{F}_5[X]$, $R = \mathbb{F}_5[X]/\langle f \rangle$ and $\alpha = X + \langle ...
2
votes
0answers
108 views

Isomorphism, integers mod n and the chinese remainder theorem

This is an extension of my previous question: isomorphism, integers of mod $n$. Setup: If $n = p_{1}\cdot p_{2} \cdots p_{n}$ where $p_{i}$ distinct primes for all $i\in\lbrace ...
2
votes
0answers
49 views

What's the connection between irreducible polynomials and fixed-frobenius elements in a finite ring?

Consider the ring $A_{p,n} = \mathbb{F}_p [x]/ (x^{p^n}-x)$. It has a basis $\{1, x, x^2, \ldots, x^{p^n - 1}\}$. The Frobenius endomorphism $x \mapsto x^p$ permutes elements of this basis. I've ...
2
votes
0answers
102 views

Using formal power series.

Suppose $R$ is a commutative ring (with or without $1$), and for $a_0,...,a_m,b_0,...,b_m\in R$ and for all $0\le k\le m$ we have $$a_0b_k+a_1b_{k-1}+\dots+a_kb_0=0 $$ then there's some nonzero $r\in ...
2
votes
0answers
29 views

“Rule's” for reducilibility depending on degree of a polynomial

I want to make sure I have the following information correct. Here is what I understand regarding the reducibility of polynomials of different degrees on $F[x]$, $F$ a field. Let $f(x) \in F[x]$ f ...
2
votes
0answers
59 views

Ring Integration

In thinking about various methods of integration, I began to wonder if there was some sort of unifying theory relating integration and ring theory. For example, would there be a way to make sense of ...
2
votes
0answers
121 views

Rings and Categories of Modules by Anderson and Fuller: Corollary $7.4$

I am reading the book Rings and Categories of Modules by Anderson and Fuller. I don't understand corollary $7.4$ of that book. Can anyone explain that corollary to me? Thank for any insight.
2
votes
0answers
50 views

Units and zero divisors in $\mathbb{Z_2[x]}/(x^2 + 1)$ and in general

The elements of $\mathbb{Z_2[x]}/(x^2 + 1)$ are polynomials in $\mathbb{Z_2[x]}$with degree $0$ or $1$. I.e. $\{\overline{0}, \overline{1}, \overline{x}, \overline{x+1}\}$ $\overline{0} = ...
2
votes
0answers
86 views

If $R\to S$ is a ring homorphism with $J$ an ideal of $S$. Show that the preimage of $J$ is an ideal of $R$.

Let $\alpha\colon R\to S$ be a ring homomorphism. Let $J$ be an ideal of $S$, and define the preimage of $J$ by $\alpha^{−1}(J)=\{r\in R\mid \alpha(r)\in J\}$. Show that $\alpha^{-1}(J)$ is an ideal ...
2
votes
0answers
45 views

The integral closure of Bezout domains in arbitrary field extensions is Prüfer?

Let $R$ be a Bezout domain with quotient field $K$, $L$ an arbitrary extension field of $K$, and $\overline{R}$ the integral closure of $R$ in $L$. Is $\overline{R}$ a Prüfer domain? If the answer is ...
2
votes
0answers
41 views

Help about $Tr$

I'm reading about Trace and Reject, which definition: $Tr_M(U)= \sum \lbrace Im(h)|h\in Hom_R(U,M) \rbrace$ $Rej_M(U)= \bigcap \lbrace Ker(h)|h \in Hom_R(M,U)\rbrace$ So is that right: if $U_i$ is ...
2
votes
0answers
42 views

Quotient of complete linearly topologized ring

The quotient of a complete metrizable group by a closed normal subgroup is always complete, but there are examples to show this need not be true for non-metrizable groups. Here complete means every ...
2
votes
0answers
81 views

Condition so that coefficients nilpotent implies power series nilpotent for non-noetherian ring $R$ with char$(R) = 0$

For a noetherian ring $R$ the following holds: $$\sum\limits_{i=0}^{\infty}a_iX^i \mbox{ nilpotent } \iff a_i \mbox{ nilpotent } \forall i, \mbox{ where } a_i \in R.$$ If $R$ is non-noetherian ...
2
votes
0answers
108 views

When is the canonical extension of scalars map $M\to S\otimes_RM$ injective?

Let $\alpha:R\to S$ be a map of unital rings, and let $M$ be an $R$-module. We have a canonical map of $R$-modules: ...
2
votes
0answers
56 views

Semirings (or Rigs)

Can anyone give me some famous quotients of semirings or Rigs (i.e. semirings described by generators and relations)? For example M. Fiore and T. Leinster have given the normal form for the elements ...
2
votes
0answers
116 views

Computing ext over graded rings

This question came up as I was reading Beilinson, Ginzburg, Soergel paper Koszul Duality Patterns in Representation Theory. Suppose that $A$ is a Koszul ring (for the definition of Koszul ring ...
2
votes
0answers
48 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 ...
2
votes
0answers
54 views

If $\mathbb{C}[G]$ is Noetherian and $G$ has a representation on $V$, when must $V$ be finite-dimensional?

I know this is a bit vague, but please bare with me here. Let's assume that $G$ is a finitely-generated torsion group. I want to show that $G$ is a finite group if I add some conditions. I suspect ...
2
votes
0answers
69 views

Kronecker's approach to unique factorisation in algebraic number theory: books and references

I have done a short course (one semester) on algebraic number theory at beginning graduate level, in which the Dedekind theory of ideals features prominently. However I have since discovered that ...
2
votes
0answers
69 views

A question about the consequence of Prime Avoidance.

I have found the following statement: Let $R$ be a Noetherian ring and $x$ is a non-zero divisor of $R$. Let $P$ be a prime ideal associated to $xR$. Then by Prime Avoidance there exists a non-zero ...
2
votes
0answers
64 views

A criterion for finite generation of subalgebras of a polynomial ring

In her 1926 paper on invariant theory, Emmy Noether uses a certain "finiteness criterion" which I wish to translate and maybe find a more modern reference to. The original wording is: Ein ...
2
votes
0answers
59 views

The action of a Galois group on a prime ideal in a Dedekind domain

Let $A$ be a commutative Dedekind domain and $K$ its field of fractions. Let $L/K$ be a finite Galois extension with Galois group $G$ and let $B$ be the integral closure of $A$ in $L$. If ...
2
votes
0answers
92 views

In $ℤ/Nℤ$, which units are successors to zero divisors?

What are the units $x$ in $ℤ/Nℤ$ of the form $x = 1 + \overline{kd}$ for a divisor $d$ of $N$ and $k ∈ ℤ$, i.e. $$U_N[d] := \{x ∈ (ℤ/Nℤ)^×;\; ∃ k ∈ ℤ : x = 1 + \overline{kd}\} = \ker \big((ℤ/Nℤ)^× → ...
2
votes
0answers
84 views

Krull dimension of a module over the Weyl algebra

Let $A_{n}$ be the $n$th Weyl algebra over a field, with generators $x_{1}, \ldots, x_{n}, y_{1}, \ldots, y_{n}$. Why is the Krull dimension of the rigth $A_{n}$-module $A_{n}/x_{1}A_{n}$ equal to ...
2
votes
0answers
41 views

Prove that $[L,Rad(L)] \subseteq N$ for finite-dimensional Lie algebra $L$

I need to prove the following fact: if $L$ is a finite-dimensional Lie algebra over field of characteristic $0$, $Rad(L)$ is its radical, and $N$ is the maximal nilpotent ideal in $L$, then ...
2
votes
0answers
70 views

A commutative ring with alternating and commutativity properties with infinite distinct elements

Is there any nontrivial commutative ring without multiplicative identity that satisfies alternating property ($x \cdot x = 0$ for all $x$ where $\cdot$ is multiplication operator and $x \cdot y \neq ...
2
votes
0answers
142 views

verifying if an ideal is prime

Let $R=\mathbb{Z}[\sqrt{-5}]$ and let $\mathfrak{i}=(2,1+\sqrt{-5})$ the ideal generated in $R$ by $2$ and $1+\sqrt{-5}$. I want to prove that $\mathfrak{i}$ is prime. So i considered the surjective ...
2
votes
0answers
57 views

Why $\text{top}h$ is an isomorphism?

I am reading the book Elements of representation theory of associative algebras I have a question about from Line -9 to Line -6 of page 29, the proof of Theorem 5.8. How to show that ...
2
votes
0answers
48 views

Left ideals of central simple algebra generated by symmetric element

Let $F$ be a field of characteristic $\neq 2$. Suppose $(A,\sigma)$ is central simple algebra over a field $F$ with an orthogonal involution. Assume $(A,\sigma)$ is non-split. How to show that every ...
2
votes
0answers
69 views

A necessary and sufficent condition for a ring to be a UFD

I came across the following question in Hungerford's Algebra: An integral domain $R$ is a UFD iff every non-zero prime ideal contains a nonzero prime principal ideal. The forward direction is ...
2
votes
0answers
80 views

Non-commutative integral extensions?

In Commutative algebra there is a notion of an integral extension: Let $P$ be a subring of $R$. Then $R$ is the integral extension of $P$ if each element of $R$ is a root of a monic polynomial with ...
2
votes
0answers
108 views

Multiplication structure for finite abelian rings of order $p^2$.

Consider an odd prime $p$ and a positive integer $a$ as close to 2 as possible that is not a quadratic residue $mod$ $p$. If we extend the ring $mod$ $p$ with the element $b = a^{\frac{1}{2}}$ then ...
2
votes
0answers
234 views

Field of Fractions for Commutative Ring with Identity

I'm trying to complete a problem that is walking me through creating a field of fractions $F$ from a commutative ring with identity (and no non-zero divisors) $R$. The construction first asks me to ...
2
votes
0answers
84 views

Projective dimension of simple module

Let $R$ be a commutative ring and $M$ a simple $R$-module. Then $\mathfrak{m}=Ann(M)$ is a maximal ideal of $R$. Then it is known that $$ \mathrm{pdim}_{R}(M)=\mathrm{pdim}_{R_{\mathfrak{m}}}(M), $$ ...
2
votes
0answers
81 views

Writing out an isomorphism between two rings

I am having a hard time writing a bijective map between the two rings: $$ R = \dfrac{k[x,y,z,u,v]}{\left<(x-y)z+uv\right>} \cong \dfrac{k[x,y,z,u,v]}{\left<(x-y)z\right>} = S. $$ I ...
2
votes
0answers
35 views

$k[V]^G = \widetilde{A}$ where $\widetilde{A}$ is the normalization of $A$

Let $V$ be a finite dimensional vector space over $k =\overline{k}$ and let $G$ be a subgroup of $GL(V)$ so that $k[V]^G$ is finitely generated. Let $A$ be a subring of $k[V]^G$ that is finitely ...