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)

0
votes
2answers
31 views

Showing Quotient ring is a field using maximal Ideal

Question: Show that $R\left [ x \right ]/\left \langle x^{2}+1 \right \rangle$ is a field. Recall: Theorem: Let R be a commutative ring R with unity. Let I be a proper Ideal of a ring R. ...
0
votes
1answer
8 views

Verify size of factor ring

Let the ring $R=\left \{ \begin{bmatrix} a_{1} &a_{2} \\ a_{3}& a_{4} \end{bmatrix} \mid a_{i} \in \mathbb{Z} \right \}$ and let I be the subset of R consisting of matrices with even ...
0
votes
1answer
30 views

Verifying an isomorphism between coordinate rings

I am trying to convince myself of an isomorphism between: $$k[x,y,z]/(x^2-yz,z-1) \rightarrow k[t]$$ In trying to show that these rings are isomorphic, I have constructed a map sending: $x \...
0
votes
1answer
37 views

Kernel of ring homomorphism $k[X,Y] \rightarrow k[t^2, t^3]$ [duplicate]

Let $k$ be a field, $f: k[X,Y] \rightarrow k[t^2, t^3]$, $X \mapsto t^3, Y\mapsto t^2$. I would like to verify that $\ker f = (X^2 - Y^3)$. It is easy to see that $X^2 - Y^3 \in \ker f$ and ...
2
votes
1answer
22 views

Any ideal of a field $F$ is $0$ or $F$ itself

Prove that the only ideals of a field are $\left\{ 0 \right\}$ and the field itself. Let $F$ be a field and $I$ be an Ideal of $F$. Let $0 \ne x \in I$. Since $I$ is an Ideal of $F$, it is true ...
4
votes
1answer
45 views

Ring action on another ring?

So a module over a commutative ring $ R$ is an abelian group $G$ equipped with an action given by the product $R\times G\rightarrow G$ that satisfies a few conditions. What if $G$ itself is a ring? Is ...
0
votes
0answers
36 views

What does $F[x]$ mean?

Lemma: $F$ is a field only if $F\left [ x \right ]$ is a Principal Ideal Domain. This is a theorem from Ring; divisibility of integral domain. What does $F\left [ x \right ]$ mean?
2
votes
2answers
26 views

Is a sub-algebra of a semisimple algebra nescesarily isomorphic to a subset of its direct product decomposition via Wedderburn's classification?

Wedderburn's classification of semisimple algebras tells us that any semisimple algebra $A$ is isomorphic to a finite direct product of matrix algebras over division algebras, say $A \cong M_{n_1}(D_1)...
2
votes
1answer
61 views

Is there a way to characterize the prime ideals in $\mathbb{R}[x_1,x_2, \dots , x_n]$?

I'm studying algebras which can be formed by the quotient of principal ideals in $\mathbb{R}[x_1, \dots , x_n]$, and thus would like to be able to determine which of said principal ideals are maximal, ...
0
votes
0answers
10 views

A modularity condition

Let $R\subseteq S$ be rings with unity and $X$ ,$Y$ be subsets of $S$ with $X$ an ideal. If $S=X+Y$ what conditions should be held to infer the equality $R=(X∩R)+(Y∩R)$? I think that if we ...
1
vote
2answers
58 views

Prove that $\mathbb{Q}(\sqrt{5})$ and $\mathbb{Q}(i \sqrt{5})$ are not isomorphic.

The question is : Prove that $\mathbb{Q}(\sqrt{5})$ and $\mathbb{Q}(i \sqrt{5})$ are not isomorphic (I'm talking about ring isomorphism). What I have done : suppose there is an isomorphism $f:\...
1
vote
1answer
21 views

If $a \in A$ is not a prime number, then $A/aA$ is not an integral domain

If $a \in A$ is not a prime number, then $A/aA$ is not an integral domain: proof $a$ not prime, therefore: $a \mid bc$ and $a\nmid b$ and $a\nmid c$ Therefore $b+aA \neq aA$ and $c+aA \neq aA$ ...
1
vote
1answer
21 views

Showing an Ideal is the ring

If A is an Ideal of a ring R and the unity 1 belongs to A, prove that A=R. It is a sufficient condition to show that $A\subseteq R$ and $R\subseteq A$. Indeed, it is trivial to see that $A\subseteq ...
1
vote
1answer
30 views

Intersection of any set of ideals is an ideal

Prove that the intersection of any set of Ideals of a ring is an Ideal. I'm looking for hints. Let A, B both be Ideals of a ring R. Suppose $I \equiv A\cap B$. Since A and B are both Ideals of a ...
0
votes
1answer
23 views

Showing <n> =nZ is a prime ideal of Z IFF n is a prime

Question: If n is an integer greater than 1, show that $\left \langle n \right \rangle=n\mathbb{Z}$ is a prime ideal of $\mathbb{Z}$ IFF n is a prime. I have a bit of problem proving the only ...
0
votes
0answers
29 views

Proof Verification of Result Involving Maximal Ideals

In further investigation of a question I asked earlier, I came across the following result, the proof of which I hope can be looked over here. I personally find it kind of interesting and I hope ...
1
vote
1answer
69 views

How can we find the elementary divisors?

We consider the polynomial ring $R=\mathbb{R}[t]$ and the $R$-module $M=\mathbb{R}^3$, where $a\cdot x$ ($a\in R,x\in M$) is defined as usual if $a\in \mathbb{R}$, and $a\cdot x=(x_1, 0, 0)$ if $a=t, ...
1
vote
3answers
26 views

Ideal generated by an element

Let $R\left [ x \right ]$ denote the set of all polynomials with real coefficients and let A denote the subset of all polynomials with constant term 0. Then A is an ideal of $R\left [ x \right ...
1
vote
1answer
21 views

Visualising the kernel of a homomorphism and quotient groups

I am trying to represent myself quotient groups and I'm having trouble seeing what the kernel of a homomorphism : $\Phi: G \rightarrow G/H$ is (be it a ring homomorphism or a group homomorphism). I ...
0
votes
1answer
27 views

How many complexes modulo a prime $p$ are of multiplicative order $p^2 - 1$?

If $i = \sqrt{(-1)} \bmod p$, $p$ prime, does not exist, then we can form numbers of the form $a+b i \bmod p$ with multiplicative order $p^2 - 1$. How often do these numbers occur modulo $p$? In ...
2
votes
3answers
57 views

How quickly can we detect if $\sqrt{(-1)}$ exists modulo a prime $p$?

How quickly can we detect if $\sqrt{(-1)}$ exists modulo a prime $p$? In other words, how quickly can we determine if a natural, $n$ exists where $n^2 \equiv -1 \bmod p$? NOTE This $n$ is ...
2
votes
1answer
66 views

Prove that $R(+,.)$ is a division ring but I disproved it

QUESTION: Let $R=\left[\begin{matrix}\alpha & \beta \\ \bar\beta & \bar\alpha\end{matrix}\right]\in \mathbf{M_2(\mathbb{C})} $ where $\bar\alpha,\bar\beta$ denote the conjugates of $\...
0
votes
0answers
18 views

concept of conjugacy class in a ring

Can we think of a similar concept of a conjugacy class in a ring which satisfies two three properties like conjugacy classes. I think of a set $M_x={xyx^{-1}-y}$ for $x\in R$ and $R$ is a division ...
1
vote
0answers
17 views

Proving that an element of a ring annihilates a module [duplicate]

Let $R$ be a commutative ring with $1$, $M$ be a finitely generated $R$-module, $\mathfrak{i}$ an ideal of $R$, and $\phi$ an $R$-homomorphism such that: $$1.\;\phi(M)\subseteq \mathfrak{i}M=M$$ i. ...
3
votes
0answers
47 views

There is no irreducible polynomial of largest degree in $\mathbf{F}_q[x]$

I am asked to prove or disprove that given a finite field $\mathbf{F}_q$, the ring $\mathbf{F}_q[x]$ contains irreducible polynomials of arbitrarily large degree. I couldn't think of a reason why this ...
0
votes
1answer
22 views

Splitting field and automorphisms

I know that if $K$ is a field and $f\in K[x]$, then there exists a splitting field of $f$ on $K$. If one has two isomorphic fields $K_1$ and $K_2$ (say $\sigma$ an isomorphism) and $f\in K_1[x]$, ...
2
votes
2answers
51 views

Irreducibility of polynomials in $\mathbf{Z}_p[x]$ - understanding proofs

I am reading through some irreducibility proofs and there's something I don't quite understand: $x^3+2x+1$ is irreducible in $\mathbf{Z}_3[x]:$ no roots in $\mathbf{Z}_3$ and degree $3$ so ...
-1
votes
1answer
37 views

Nilpotent matrix given nilpotent traces [closed]

Let R be a conmutative ring and X a two by two matrix. Supose that Tr(X) and Tr(X^2) are nilpotent elements. Prove that 2X is nilpotent. Thanks a lot.
1
vote
0answers
69 views

proving that $8x^3-6x-1$ is irreducible over $\mathbb{Q}$

When considering the impossibility of trisecting the 60 degree angle, one comes across the polynomial $f(x)=8x^3-6x-1$, which I want to prove is irreducible over $\mathbb{Q}$. I reduced the ...
6
votes
1answer
90 views

What other properties follow from having a ring homomorphism to $\mathbb{Z}$?

(All my rings have $1$, and ring homomorphisms preserve $1$.) In $\mathbf{Set},$ the points of an object $X$ can be thought of as arrows from the terminal object $1$ to $X$. So I guess in general, we ...
0
votes
0answers
45 views

How many elements are in the field of fractions $\Bbb Z_3(t)$?

As in exercise for my Galois Theory course I am supposed to find the number of elements in the field of fractions $\Bbb Z_3(t)$. I am very confused as to how to approach this question because I ...
-1
votes
2answers
28 views

How to prove the uniqueness of multiplicative identity?

Suppose $i_1, i_2 \in R$ which are multiplicative identity. Let $a$ also be in $R$. Then $a*i_1=a$ which means $a=i_2$. Thus, $i_2*i_1=i_2$. Now $a*i_2=a$, then $a=i_1$ hence $i_1*i_2=i_1$. Now how do ...
2
votes
1answer
32 views

How do I prove the uniqueness of additive identity?

First, suppose $i_1$ and $i_2$ are additive identity in ring R. From the definition of "additive identity" $a+i_1=a$ such that there is $a$ $\in$ $R$, including for $a=i_2$, so $i_2+i_1=i_2$. But $i_2$...
0
votes
0answers
24 views

Has the characterization of non-unique factorizations been studied in a general context?

In this paper, a theory of principalization fields is introduced, that lets the possible factorizations of an element of an algebraic number field be characterized as groupings of the unique ...
2
votes
1answer
124 views

Is every “prefield” a field?

Definition 0. Call a poset $P$ well-ranked iff it is well-founded, and for all $x \in P$, we have that any two maximal subchains in the lowerset generated by $x$ have the same length. Definition ...
1
vote
1answer
44 views

on finite division subring of a ring

Is there any example of a ring which is not a division ring but any of its subring is a division ring? According to me if $R$ is a ring and $S$ is a division subring then $1\in S$ and hence $R=S$. ...
1
vote
1answer
39 views

Even functions absorb composition?

If $f(x)$ and $g(x)$ are real functions and $g$ is even, so is $f(g(x))$. Even functions are also closed under addition. I noticed that these are similar properties to those of an ideal of a ring, ...
3
votes
3answers
50 views

What polynomial maps to $i$ under $\mathbb{Q}[x] \to \mathbb{Q}[x]/(x^2+1) \simeq \mathbb{Q}[i]$?

The rings $\mathbb{Q}[i]$ and $\mathbb{Q}[x]/(x^2+1)$ are isomorphic, and there is a surjective ring homomorphism from $\mathbb{Q}[x]$ to $\mathbb{Q}[x]/(x^2+1)$. Can someone give me an example of ...
-3
votes
1answer
59 views

$\mathbb Z[x]/(5x-1)\cong \mathbb Z[1/5]$ [closed]

Question Prove that the quotient ring $\mathbb Z[x]/(5x-1)$ is isomorphic to the subring $\mathbb Z[\frac{1}{5}]=\{{\frac{n}{5^k}|n \in \mathbb Z, k \in \mathbb Z}\}$ I'm not familiar with ...
2
votes
1answer
37 views

Study of irreducibility for rings that are not integral domains.

The standard definition of an irreducible element is that an element of an integral domain $D$ is irreducible if to can not be written as the factor of two non-unit elements of the ring. However, I ...
1
vote
1answer
93 views

$\mathbb{Z}[x]$ doesn't have principal maximal ideals [closed]

Prove that $\mathbb{Z}[x]$ doesn't have principal maximal ideals. Please, I need help with this problem. Thanks!
1
vote
3answers
55 views

What is $\mathbb{Z_{n}}\left [ x \right ]$

Question: Show that $\mathbb{Z_{n}}\left [ x \right ]$ has characteristic $n$. What does $\mathbb{Z_{n}}\left [ x \right ]$ stands for? I'm very sure this is not the gaussian ring.
-1
votes
2answers
37 views

Showing ${Z}\left [ d \right ]=\left \{ a+b\sqrt{d}\mid a,b \in \mathbb{Z} \right \}$ is an integral domain

question: Show that $\mathbb{Z}\left [ d \right ]=\left \{ a+b\sqrt{d}\mid a,b \in \mathbb{Z} \right \}$ is an integral domain. By definition, an integral domain is a commutative ring with ...
2
votes
1answer
42 views

Is $\mathbb{Z}[G^n]$ isomorphic to $\bigoplus_n\mathbb{Z}[G]$?

Let $G$ be a group, $\mathbb{Z}[G]$ be it's group ring and $G^n$ the direct product of $n$ copies of $G$. Is the group ring $\mathbb{Z}[G^n]$ isomorphic to $\bigoplus_n \mathbb{Z}[G]$? If not, is it a ...
2
votes
1answer
21 views

Not free as a bimodule.

Let $R$ be a ring with 1. I am not following why the ring $R$ is free as a right or left module over itself but not as an $R$-bimodule. Clearly for any $r \in R$, $r=1r1$, so one is a basis as a ...
2
votes
1answer
38 views

Showing no non-zero element is nilpotent in a ring.

Suppose that R is a ring in which $a^{2}=0$ implies that a=0 Show that R has no-non-zero nilpotent element Attempt: Recall that an element x of a ring R is called nilpotent IF there exists some ...
0
votes
4answers
44 views

What is a proper non-trivial ideal?

Corollary: Let F be a field, Then, F has no proper non-trivial ideals. I apologise for this trivial question. What exactly is a proper non-trivial ideal? Well, non-trivial is defined as not the zero-...
0
votes
1answer
32 views

Proving that Char of a field is 2.

Let F be a field of order $2^{n}$. Prove that Char(F)=2. I'm stuck with this question after 30 mins and I have to move on. Note that by a certain theorem, this field has characteristic prime. Any ...
0
votes
1answer
35 views

Prove that a commutative ring without proper ideals is a field [duplicate]

Let $R$ is a commutative ring which has no proper ideals. Prove that $R$ is a field.
2
votes
2answers
48 views

Are $\{0\}$ and $\mathbb{Z}$ the only canonically totally-ordered rings?

Definition 0. Given a ring $R$, write $\mathbb{N}_R$ for the set $\{n \cdot 1_R : n \in \mathbb{N}\}.$ So: $$\mathbb{N}_R = \{0_R,1_R,1_R+1_R,\ldots\}$$ Definition 1. Write $\lesssim_R^\mathbb{N}$ ...