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)

1
vote
0answers
47 views

Homomorphic image of integral extension is integral extension.

I am working in one of the problem if ring extensions. Let $S$ be an integral extension of $R$ and $f:S\rightarrow{S}$ is a ring homomorphism such that $f(1_{S})=1_{S}$ then $f(S)$ is an integral ...
1
vote
0answers
24 views

Functional equation on a ring

Let $R$ be a ring with identity. Find all functions $f: R \to \Bbb R$ satisfying the functional equation \begin{equation} f(xp+yq, yp+xq)=f(x, y)f(p, q) \end{equation} for all $x, y, p, q\in R$, and ...
1
vote
0answers
34 views

Module is free of finite rank $\implies$ submodule is free of finite rank?

Let $M$ be $R$-module, where $R$ is commutative ring with $1,$ and $N$ be submodule of $M.$ If $M$ is free of finite rank, so is $N \ ?$ Answer: False. Let $R=M=\mathbb{Z}_{6}$ and ...
1
vote
0answers
69 views

Prove that a(mn)=a(m)a(n), (n,m)=1

Given a positive integer $n$ where $a(n)$ is the number of non-isomorphic abelian groups of order n. 1) Prove that $a(mn)=a(m)a(n), (n,m)=1$ 2) Prove that $a(p^k)$ is the number of partitions of k, ...
1
vote
0answers
46 views

Question about Principal Ideals

I'm just learning basic ring theory and had a question about the definition of a principal ideal. For a commutative ring $R$ with unity, Fraleigh defines the principal ideal generated by $a\in R$ as ...
1
vote
0answers
58 views

Prove this morphism is a derivation

Let $A$ a ring, $B$ a $A$-algebra, $I=\ker (B\otimes_A B \to B)$ given by multiplication, i wanna see why is $$d:B \to I/I^2$$ $$b \mapsto b\otimes 1 -1 \otimes b$$ well defined (in fact, why mod ...
1
vote
0answers
56 views

About a class of commutative rings that they have maximal ideals for any element non-inversible in $ZF\neg AC $

Let $\mathcal{N}{oetherian}\mathcal{C}\mathcal{R}{ng} \overset{def}{=} {\left\lbrace{ R \in \mathcal{C}\mathcal{R}{ng} \wedge R \,\text{is}\, \mathcal{N}{oetherian} }\right\rbrace}$. I define the ...
1
vote
0answers
19 views

Neccessary and sufficient conditions to form a topological ring on $\Bbb{Z}$?

Let $B = \{ \{a + b f_i(n) : n\in \Bbb{Z}\} : a,(b\neq 0) \in \Bbb{Z}, f_i \in F \}$. Then what are necessary and sufficient conditions on the set of integer functions $F$ such that $B$ is a basis ...
1
vote
0answers
28 views

All topology pairs $(X,Y)$ such that $f: X \to Y$ is continuous.

Given an arbitrary function, or more specifically if you want let $R$ be a ring and let $X = S \times S; Y = R; S \subset R$ and $f(a,b) = a - b$, is there something interesting about all the topology ...
1
vote
0answers
14 views

Creating Polynomial

By relative prime factor theorem $$R = (Zm,+,.)$$ where R is the ring structure the input is $e_0 = 0$ and $e_1=1$ output is $$S_0 = { k : \gcd(m,k)>1 }$$ $$S_1 = { k : \gcd(m,k) = 1}$$ Now ...
1
vote
0answers
95 views

What are the consequences of presentation of an algebra by generators and relations?

Let $A$ be a finite dimensional associative $K$-algebra, where $K$ is a field. I wonder how the presentation of $ A $ by generators and relations helps in the study of structure of the algebra ...
1
vote
0answers
62 views

Proof for maximal ideals in $\mathbb{Z}[x]$

I have been trying to prove the following theorem: Every maximal ideal in $\mathbb{Z}[x]$ has the form $(p, f(x))$ where p is prime integer and f is primitive integer polynomial that is irreducible ...
1
vote
0answers
97 views

Calculate the primary decomposition

Consider the polynomial ring $R=K[x_1,\ldots, x_8]$ over field $K$. Set $\mathfrak{p}_1=(x_1, x_2, x_5, x_6)$, $\mathfrak{p}_2=(x_3, x_4, x_7, x_8)$ and $I=\mathfrak{p}_1\cap \mathfrak{p}_2$, ...
1
vote
0answers
57 views

Class Group of Ring of Integers of $\mathbb{Q}[\sqrt{-57}]$

Let $R$ denote the ring of integers of the imaginary quadratic number field $\mathbb{Q}[\sqrt{-57}]$. I must find the ideal class group $\mathcal{C}$. Using the Minkowski Bound, I know that I need ...
1
vote
0answers
38 views

Generators of a monomial Ideal

I am trying to determine the set that generates a monomial ideal. Namely, the ideal $(xy,yz,xz)^3$. I know it will have terms $x^3y^3$, $z^3y^3$, $x^3z^3$. For the other terms that generate, I do ...
1
vote
0answers
69 views

Proposition 17, p. 68 of Lang's Algebraic Number Theory

I'm stuck on a detail of the following propositon: Let $K, E$ be linearly disjoint number fields with degrees $n$ and $m$ over $\mathbb{Q}$ whose discriminants (over $\mathbb{Q}$) are relatively ...
1
vote
0answers
28 views

Grading and commutators

If $R$ is a unital associtaitve commutative ring, then can any $R$-algebra $A$ may be filtered as $A_0:=A$ and $A_{i+1}:=(A_i,A_i)$ where $(-,-)$ is the commutator of $A$ with respect to $A$'s ...
1
vote
0answers
30 views

How to show that the dimension of a quotient space in the field of polynomials is not finite?

I have to show that if I have a quotient of the form $\mathbb{K}[x_1,x_2,\dots,x_n]/\langle f_1,f_2,\dots,f_s\rangle$, $\operatorname{char}(\mathbb{K})\not=0$, and on which the class of $[x_i^l]$ is ...
1
vote
0answers
50 views

Are Ideals and Varieties Inclusion Reversing?

Let $S_1$, $S_2$ be sets or varieties (I don't think it matters, does it?). Then if $S_1 \subset S_2$, is it always the case that $I(S_2) \subset I(S_1)$ (where I is an ideal)? Also, is it always the ...
1
vote
0answers
11 views

Why can an ideal generated by a subset be written in this form?

I have a subset $F \subset R$ that generates an ideal $(F)$. Apparently this can be written in the form $$(F)=\{a_1f_1b_1+...+a_kf_kb_k|k \ge 0, f_i \in F, a_i,b_i\in R\}$$ or if $R$ is commutative ...
1
vote
0answers
18 views

Examples of d-extensions in realisation of $\operatorname{Ext}^d$

If $R$ is a commutative unital associative ring and $A$ is an $R$-algebra of dimension $d$, which is local as a ring, then from dimension theory we know that the global dimension of $A$ must be at ...
1
vote
0answers
54 views

Are these cubic rings the same?

Consider the pure cubic field $K=\mathbb{Q}(\sqrt[3]{10})$ then as $10\equiv 1 \pmod 9$ then the integral basis for $K$ is of the form $\{1,\sqrt[3]{10},\frac{1+\sqrt[3]{10}+\sqrt[3]{10^2}}{3}\}$. And ...
1
vote
0answers
43 views

How can we show that $\operatorname{Tor}_1^A(\hat{A},G_f/G)=0$?

This question is quite closely related to my last question: Is it always true that $\hat{A} \otimes_A A_f/A \cong \hat{A}_f/ \hat{A}$? Let $A$ a commutative ring, $f \in A$ a non zerodivisor. Let ...
1
vote
0answers
62 views

Noetherian Ring and Homomorphic Image

Prove that, if $R$ is Noetherian, then so is each homomorphic image of $R$. I know that by the Fundamental Homomorphism Theorem this is the same as showing that if $R$ is Noetherian, then so is ...
1
vote
0answers
35 views

Finding all subrings with identity of $\mathbb Z_{16}$

I have to solve following question but I cannot derive the solution. Find all subrings with the identity of the ring $\mathbb{Z}_{16}$. I'll appreciate if you could help me to solve this ...
1
vote
0answers
46 views

prove that the ideal $I=(x,xyx,\dotsc,xy^nx,\dotsc)$ cannot be generated by a finite number of polynimials.

The ring is $K\langle x,y \rangle$ So we have to assume that exist a finite number. Let $f_1,\dotsc,f_m$ a finite number of polynomials. How we can arrive at a contradiction?
1
vote
0answers
86 views

Properties of $\text{gcd}$ in Integral domain

Let $R$ be an integral domain in which every pair of elements of $R$ has $\text{gcd}.$ Suppose $r\in R$ is irreducible and $r \nmid a, r \nmid b \ (a,b \in R).\ $ I have established that $a= ...
1
vote
0answers
103 views

Relation between finite stable rank and IBN (invariant basis number)

For R is any ring has an identity, we known if R has stable rank one, then R is "weakly finite" (or "stably finite," all matrix rings over R are Dedekind finite) and this implies R has IBN . But ...
1
vote
0answers
29 views

integral basis for an arbitrary cubic Galois field

I wonder where I can find some information (possible a book) about finding an integral basis for cubic Galois fields? I know that for pure cubic fields there exists a simple criterion according to ...
1
vote
0answers
40 views

Integral Domain and PID Proof

Prove that, in a domain, $(a)=(b)$ iff $a = bu$ for some unit $u$. By $(a)=(b)$, it also means that $a\mid b$ and $b\mid a$ so we can write them as $a=bu$ and $b=av$ for some $u, v \in R$ where $u$ ...
1
vote
0answers
56 views

Isomorphism and crossed product

When I consider isomorphism of matrix rings and crossed product, I want to know the answer of the following question. Thanks. Let $R$ be a ring and let $$T(R)=\left\{\begin{pmatrix} a & b & ...
1
vote
0answers
24 views

representation type of PI rings

A ring $R$ is said to satisfy a polynomial identity (PI for short) if there exists a polynomial $f(x_1, \ldots, x_n) \in \mathbb{Z} \langle X_1, \ldots, X_n \rangle$ such that $f(r_1, \ldots, r_n)=0$ ...
1
vote
0answers
46 views

Faithfully flat checkable on finitely generated modules

A left $R$-module $_RM$ is said to be faithfully flat if it is flat and, for any $N_R$, $N \otimes_R M = 0$ implies $N = 0$. I would like to show that $M$ is faithfully flat if it is flat and, for any ...
1
vote
0answers
49 views

dimension of tensor products over a submodule

Let $k$ be a field, $A$ be a finite dimensional $k$-algebra (say of dimension $n_A$) and let $B\subset A$ be a sub-algebra. What can be said about the $k$-dimension of $A \otimes_B A$ ? The easiest ...
1
vote
0answers
44 views

Enveloping Algebra equal to algebra

Let $R$ be a unital associative ring, $A$ be an associative $R$-algebra of finite dimension, and $A^e$ its enveloping algebra. What are the requirements on $A$, so that $A^e \cong A$ (as ...
1
vote
0answers
140 views

LCM generators for the intersection of non-principal ideals in a Noetherian UFD

I am working with some non-principal ideals $I=\langle a,b\rangle$, $J=\langle c,d\rangle$ in a nicely behaved Noetherian UFD (the Laurent polynomial ring in finitely many commuting variables with ...
1
vote
0answers
40 views

kernel of maps associated to the root of an irreducible polynomial

Let $m(\mu)$ be an irreducible polynomial of degree $d$ over $\mathbb{F}_2$, $F_{2^d} = \mathbb{F}_2[x]/(m(\mu))$ by a field extension given by that polynomial and let $d: \mathbb{F}_2[x] \to ...
1
vote
0answers
33 views

Monoid Ring of a Commutative Cancellative Ordered Monoid

Suppose $M$ is a commutative cancellative monoid with $0$ as the identity and $+$ as the operation, and $M$ is equipped with an order $\preceq$ defined by $$ m \preceq m' \text{ if and only if there ...
1
vote
0answers
147 views

Unique factorization domain and principal ideals .

If R was a unique factorization domain, can we deduce that for a nonzero element d in R, d has a finite number of divisors? I need this in solving this question " If R is a unique factorization ...
1
vote
0answers
55 views

Graded Betti Numbers of a Stable Monomial Ideal

Exercise 8.8 in Monomial Ideals by Herzog and Hibi: Let $I\subset S=K[x_{1},...,x_{n}]$ be a stable monomial ideal with $G(I)=\{u_{1},...,u_{m}\}$ and such that for $i<j$, either ...
1
vote
0answers
47 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 ...
1
vote
0answers
68 views

Give an infinite sequence of principal ideals of $R$ such that the ascending chain condition does not hold

Let $R=\{\sum_{i=0}^n a_ix^i\mid n\geq 0, a_0\in\mathbb{Z}, a_i\in\mathbb{Q} \text{ for } i\geq 1\}$. Give an infinite sequence of principal ideals of $R$ such that the ascending chain condition ...
1
vote
0answers
25 views

Two ordered rings are isomorphic iff their positive semirings are isomorphic

I am looking for (a reference to) a proof that Two ordered rings are isomorphic iff their positive ordered semirings are isomorphic. The positive semiring of an ordered ring $R$ is here the ...
1
vote
0answers
31 views

Finding irreducible polynomial

1, 3 False: $f_{2^2}(x)=f_4(x)=x^3+x^2+x+1=(x^2+1)(x+1)$ is not irreducible. 2 True: Cyclotomic polynomial of order prime. I am not sure about 4. Here's my guess about 4: $x^{p^{e-1}}$ is ...
1
vote
0answers
93 views

Binary Representation of Complex Numbers

Modular arithmetic (MA) has the same axioms as first order Peano arithmetic (PA) except $\forall x(Sx \neq 0)$ is replaced with $\exists x(Sx=0)$. MA has finite models based on modular arithmetic. MA ...
1
vote
0answers
38 views

Multiplicative structure on additive group

Let $R$ be a ring without assumption of existence of unity. Let $R^{\ast} = R \oplus \mathbb{Z}$ as abelian groups. Show how to define multiplication on $R^\ast$ so that it becomes a ring with an ...
1
vote
0answers
45 views

Irreducible polynomial in $\mathbb{C} [x,y ]$

I want to prove that $t^4+xt^3+yt^2+xt+1$ is irreducible over $\mathbb{C}[x,y]$. I know that $\mathbb{C}[x,y][t]$ is a UFD just as $\mathbb{C}[x,y]$ because the base ring is a field. Can I just ...
1
vote
0answers
38 views

Every onesided nilideal of a right noetherian ring is nilpotent.

Suppose $R$ is a right noetherian ring. Prove that every onesided nilideal is nilpotent. I try to use this theorem: If R is a commutative Ring and I is nilideal of R and also I is finitely ...
1
vote
0answers
69 views

Show that Weyl algebra is noetherian

Let $k$ be a field. I want to show that the ring $D=k\left[x_1,x_2,\dots,x_n,\frac{\partial}{\partial x_1},\frac{\partial}{\partial x_2},\dots,\frac{\partial}{\partial x_n}\right]$ which acts on ...
1
vote
0answers
49 views

Let $K$ a field with characteristic $p>0$. Show that $\{x \in K : x^{p^n} =x \}$ is a subfield.

Let $K$ a field with characteristic $p>0$. I've shown that for every positive $n$ the set $\{ x^{p^n} : x \in K \}$ is a subfield of $K$, I did this by showing that $F:K\to K: x \mapsto x^{p^n}$ is ...