Celeb Glow
updates | April 15, 2026

Questions tagged [ring-theory]

Ask Question

This tag is for questions about rings, which are a type of algebraic structure studied in abstract algebra and algebraic number theory.

19,684 questions 1
1 vote 0 answers 18 views

Quotient of graded ring is graded - confusion about the formalisms

A ring $R$ is graded if it has a direct sum decomposition $R=\bigoplus_{i\in\mathbb{Z}}R_i$ where the $R_i$ are abelian groups and $R_iR_j\subseteq R_{i+j}$. An ideal $I\subseteq R$ is graded if $I=\... user avatar SlugMan523
  • 13
2 votes 1 answer 20 views

Existence of maximal ideal in a commutative ring

Let $A$ be a commutative ring, $I \subsetneq A$ a proper ideal of $A$ and $a \in A$ such that $a^k \neq 0$ for all integer $k > 0$. Then there exists an ideal $J$ of $A$ that is maximal satisfying $... user avatar Kilkik
  • 1,030
1 vote 1 answer 76 views

To prove $ \Bbb{Z}_p$ is isomorphic to $\lim_{←}\Bbb{Z}_p/p^n \Bbb{Z}_p$ as a ring

I want to prove $ \Bbb{Z}_p$ is isomorphic to $\lim_{←}\Bbb{Z}_p/p^n \Bbb{Z}_p$ as a ring. Here, $\Bbb{Z}_p$ is completion (as metric space) of $\Bbb{Z}$ with p adic metric. My try: Let define natural ... user avatar topology
  • 29
8 votes 2 answers 262 views

The Making of a Ring — How can we choose 1?

I am an undergraduate studying Algebra: Chapter 0 by Paolo Aluffi in my free time (Note that because of this whenever I refer to 'rings' I am speaking of 'rings with identity'). While learning about ... user avatar EphraimRuttenberg
  • 237
0 votes 0 answers 17 views

Ring $\mathbb F_q[x]/\langle f^n \rangle $ where f is irreducible

We know that the ring $\mathbb F_q[x]/\langle f \rangle $ is a Galois ring when $f$ is an irreducible polynomial over $\mathbb F_q$. Is there any idea to describe the ring $\mathbb F_q[x]/\langle f^... user avatar Maryam
  • 1
2 votes 0 answers 41 views

Prove that the ideal $\langle x^2+1\rangle$ is prime in $\mathbb{Z}[x]$.

Prove that the ideal $\langle x^2+1\rangle$ is prime in $\mathbb{Z}[x]$. $\textbf{My attempt:}$ Let $f(x)g(x) \in \langle x^2+1\rangle$, then $(x^2+1) \mid f(x)g(x)$. I want to prove that wither $f(x)... user avatar userspr22
  • 281
4 votes 0 answers 50 views

What are the properties of this new characteristic of mathematical objects?

I will call it "hypermodulus". In simple words, hypermodulus is the exponent of the scalar part of the finite part of the logarithm of the object: $H(A)=\exp (\operatorname{scal} \... user avatar Anixx
  • 7,742
3 votes 3 answers 278 views

Why we cannot divide one zero divisor by another one? Or can we?

For instance, in split-complex numbers we definitely have $2\cdot(j/2+1/2)=j+1$, which is absolutely valid. Can we then say that $\frac{j+1}{j/2+1/2}=2$? If not, why we cannot define it this way? user avatar Anixx
  • 7,742
6 votes 0 answers 94 views

Find all power series $f$ such that $\mathbb{C}[[x, y]]/(f(x, y))\cong \mathbb{C}[[x, y]]/(xy)$

Find all power series $f$ such that $\mathbb{C}[[x, y]]/(f(x, y)) \cong \mathbb{C}[[x, y]]/(xy)$. The isomorphism $\phi$ should be identical on $\mathbb{C}$, i.e., $\forall c \in \mathbb{C} \subseteq ... user avatar Geek
  • 81
0 votes 0 answers 20 views

Prime ideal generated with polynomial of degree 0?

Let $K=\{p\in \mathbb{Q}_n[x]\ |\ p(0)\in \mathbb{Z}\}$ be a commutative ring. I have to check if an ideal $I=\{p\in K\ |\ p(0)=0\}$ of $K$ is prime or not. I would suppose that $I$ is a prime ideal. ... user avatar math_algebra
  • 65
1 vote 0 answers 24 views

Basis and dimension of Ring as a vector space over finite field

I tried to solve following exercise: My knowledge in algebra is a bit rusty, so I would appreciate it if you could help me remembering how to solve c). I realized that $|R| = 2^{128}$ but I don't ... user avatar Anton2107
  • 29
3 votes 0 answers 41 views

Proving $\mathbb{Z}_{(m,n)}$ is a submodule of $\mathbb{Z}_{n}$ and for every $[a]_{n}$ we get $[a]_{n}m=[0]$ where $(m,n)=\gcd(m,n)$ .

Proving $\mathbb{Z}_{(m,n)}$ is a submodule of $\mathbb{Z}_{n}$ and every $[a] \in \mathbb{Z}_{(m,n)}$ can be regarded as an element $[a]_{n}$ such that $[a]_{n}m=[0]$ where $(m,n)=\gcd(m,n)$ . ... user avatar Køb
  • 85
0 votes 0 answers 33 views

Prove that any ring $R$ where there exists a prime $k$ such that $kx=0$ and $x^k=x$ for all $x\in R$ is commutative [duplicate]

Prove that any ring $R$ where there exists a prime $k$ such that $kx=0$ and $x^k=x$ for all $x\in R$ is commutative I can only prove while $k=2$ or $3$: If $a\in R$ satisfied $a^2=a$, then $$\begin{... user avatar Starry_Night
  • 39
1 vote 1 answer 35 views

Understanding Weibel's proof of "for local ring $R$, every element $u\in R$ invertible in $R/\mathfrak{m}$ is a unit of $R$"

In Weibel's K-book, there is a lemma saying that for a local ring $R$, with maximal ideal $\mathfrak{m}$, every finitely generated projective $R$-module is free. The proof uses a simple statement that ... user avatar user1003061
  • 13
0 votes 0 answers 35 views

Ring and quotient ring

Let R be a ring and I is an ideal of R. Can quotient ring R/I has an identity but R does not? I'm having trouble with the example. Thank you so much. user avatar Fiszedta PK
  • 1

15 30 50 per page123451313