1
vote
1answer
11 views

If $l(a, b, c) = l(a', b', c')$, then $(a, b, c) = (a ', b', c')k$ for some $k \in F$?

Let $F$ be a division ring. Define $l(a, b, c) = \{(x, y, z) \in F^3 : xa + yb + cz = 0\}$. Question: If $l(a, b, c) = l(a', b', c')$ is it true that $(a, b, c) = (a', b', c')k$ for some $ k \in F$? ...
-1
votes
0answers
18 views

prove that commuting ring is a subring of E(M) .

$E(M)$: the collection of all endorrmorphisms of the additive group of $M$ since $E(M)$ is redered a ring by deferring the sum and the multiplication or product, I thinked easy prove. but I don't ...
-1
votes
0answers
23 views

ring and module problem

Let $$F=\mathbb{R}$$ $$V=\mathbb{R}^{4}$$ consider two matrices $$S1=\begin{vmatrix} 0&-1& 0& 0\\ 1& 0& 0& 0\\ 0& 0& 0& -1\\ 0&0 & 1 & 0 ...
1
vote
3answers
25 views

Show that if $m\in M_n$ and $k \in \Bbb Z_n$ then $mk\in M_n$.

Let $M_n = \{a\in \Bbb Z_n\mid \text{ there exists a non-zero integer $k$ with the property that }a^k\equiv 0 \pmod n \}.$ Show that if $m \in M_n$ and $k \in \Bbb Z_n$, then $mk\in M_n$. For which ...
3
votes
3answers
26 views

If $n > 2$, prove that the order of the multiplicative group of units modulo n, $U_n$, is even.

I'm struggling with this. I know it is going to use Lagrange's Theorem so this is what I have so far: Suppose $|U_n| = k$ This implies $a^k = 1$ for all a in $U_n$ and $|a|$ divides $k$. Now, what ...
1
vote
2answers
24 views

Self inverting Rings

Would it be possible for a ring to have elements that are their own additive inverses? What I mean is, would it be possible to have a ring $K$ of mathematical objects $A$ such that: $$A+A=i,\;\forall ...
1
vote
1answer
28 views

Definition of Direct Sum of Ideals

I've been searching the internet, and I can't find a definition for the direct sum of ideals. In a previous question I posted, the author writes $M_n(D) =\oplus I_R$, where the $I_R$ are subrings and ...
1
vote
0answers
40 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
3answers
32 views

General question about quotient rings

I hope to better understand the notion of a quotient ring through this example: I am given $R=\mathbb{Z}[i]=\{a+bi:a,b\in \mathbb{Z}\}$ and $M=\{a+bi: 3|a,3|b\}$. I have already shown that $M$ is a ...
1
vote
2answers
70 views

Proof of Wedderburn's Theorem

I've been going through a proof of Wedderburn's theorem: and I'm stuck on the very last part, where the author refers to example 2.1.4. (linked below). I don't understand what $D^n$ means, or why it ...
1
vote
2answers
44 views

Show module is Noetherian

Let $R$ be a commutative ring and let $0 \to L \to M \to N \to0$ be an exact sequence of $R$-modules. Prove that if $L$ and $N$ are noetherian, then $M$ is noetherian. I tried considering the pre ...
0
votes
1answer
30 views

What exactly are the elements of $\mathbb{Z}_p[x]/\langle p(x) \rangle$?

It is wellknown that for a polynomial ring $\mathbb{Z}_p[x]$, $\mathbb{Z}_p[x]/\langle p(x) \rangle$ for prime $p$ is a field if and only if $p(x)$ is irreducible over the given polynomial ring, in ...
1
vote
1answer
49 views

Necessary and sufficient condition for $r(\mathfrak a)$ to be prime

As we know, $$\mathfrak a~\text{is a primary ideal}\Rightarrow r(\mathfrak a)~\text{is a prime ideal}. $$ But $r(\mathfrak a)$ may not be a prime ideal if $\mathfrak a$ isn't a primary ideal. ...
-1
votes
2answers
33 views

isomorphic quotient rings?

I have trouble in determining, whether two rings are isomorphic: Let's have $R = GF(3)$ and rings $R[x]/(x^2+x+2)$ and $R[x]/(x^2+2x+2)$. How can one determine whether these two rings are ...
0
votes
1answer
20 views

Find all elements of quotient ring

I am studying the definitions of rings, ideals, and quotient ring, but I have a bit problem to apply the theory into the practice. I would like to find all elements of quotient ring $\mathbb{Z}[i]/I ...
0
votes
2answers
60 views

Examples of Cohen-Macaulay rings.

I've just started to learn about Cohen-Macaulay rings. I want to show that the following rings are Cohen-Macaulay: $k[X,Y,Z]/(XY-Z)$ and $k[X,Y,Z,W]/(XY-ZW)$. Also I am looking for a ring which is ...
1
vote
1answer
68 views

Every radical is prime?

$a$ is an ideal of $A$. $$f:A\to A/a,\ \ x∈r(a)$$ r(a) is a prime ideal? proof 1: $x^n\in a$ for some $n \Rightarrow (x+a)^n\in a$ for some $n \Rightarrow f(r(a))=\text{nil-radical}$ in $f(a) ...
1
vote
0answers
38 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
49 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 ...
2
votes
0answers
46 views

Can someone explain to me this answer about subrings?

so I know how to prove that $\mathbb{Z}\left[\sqrt{2}\right]=\{a+b\sqrt{2}:a,b\in\mathbb{Z}\}$ and $\mathbb{Z}\left[\sqrt{3}\right]=\{a+b\sqrt{3}:a,b\in\mathbb{Z}\}$ are subrings of $\mathbb{R}$. ...
1
vote
0answers
48 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 ...
0
votes
0answers
22 views

multiplicative inverse in factor ring

If I need to find the multiplicative inverse of an element in some $T[x]/(m)$ factor ring, do I need to solve a diophantine equation to get the solution? Let the element be $f$. Then $fu \equiv 1$ ...
1
vote
1answer
95 views

$k[x]/(x^n) \otimes_{k[x]} k[y]/(y^m)$

This is part of an exercise from Eisenbud: $k$ is a field, describe as explicitly as possible a) $k[x]/(x^n) \otimes_{k[x]} k[y]/(y^m)$ b) $k[x] \otimes_{k} k[y]$ Any hint ?
2
votes
0answers
31 views

Product Ring isomorphism question

$R$ is an arbitrary (non-unital) ring such that if $n\in \mathbb{Z}$ and $r\in R$, $nr=r+r+...+r$ ($n$ times) if $n\geq 0$ and $nr=(-r)+...+(-r)$ ($n$ times) if $n<0$, where $r+(-r)=0$. Now let ...
1
vote
1answer
24 views

Show $I=p\mathbb{Z}$ for prime $p$.

Let $I\subset\mathbb{Z}$ be an ideal such that $I\neq \mathbb{Z}$ and if $I\subset J\subset\mathbb{Z}$ then $I=J$ or $J=\mathbb{Z}$. Show that $I=p\mathbb{Z}$ for some prime $p$. Attempt: We know ...
1
vote
2answers
63 views

Is there a way to remove elements from $\Bbb{Z}$ and create a related ring structure?

For example. Everyone hates $3$, so let's remove it all-together from $\Bbb{Z}$: Let $\Bbb{Z}' = \Bbb{Z} - 3\Bbb{Z}$. Then is there a way to keep it a ring, i.e. $\Bbb{Z}'$ forms a ring by ...
0
votes
0answers
57 views

Completion of integral domain

Let $A$ be an integral domain with the $I$-adic filtration. Let $B$ be the fraction field of $A$. My question is the following: Is the fraction field of the completion of $A$ the same as the ...
0
votes
1answer
34 views

Set of non-units in a ring

Let $R$ be a ring with identity. Let ${\rm rad}\: R$ be the radical of $R$, ie the intersection $\bigcap L$ over all maximal left ideals $L$ in $R$. Let $S$ be the set of all non-units in $R$ ...
2
votes
1answer
45 views

Noetherian local ring, detail in theorem 1.3.16 in Liu

I can't understand a detail in the proof of theorem 1.3.16 in Liu. The theorem is: let $(A,\mathfrak{m})$ a Noetherian local ring, $\hat{A}$ its $\mathfrak{m}$-adic completion, $(B,\mathfrak{n})$ an ...
0
votes
0answers
15 views

Explanation why $R_P=(S^{-1}R)_{P(S^{-1}R)}$

Suppose $R$ is a ring and $P$ a prime ideal. If $S$ is a mutliplicative subset, can anyone explain why we have the equality $R_P=(S^{-1}R)_{P(S^{-1}R)}$ when seen as subsets of the quotient field of ...
1
vote
1answer
26 views

Free modules and ideals

I am trying to show that an ideal I of R=$\mathbb{C}[x_1,x_2]$ generated by $x_1, x_2$ is free R-module. I am trying to show that I has a basis of the two generators given above. But I am not able to ...
2
votes
1answer
33 views

What is the difference between a module of finite rank and finitely generated module.

R is an integral domain and every module we talk about is an R-module. If a module is finitely generated then obviously every element of the module can be written as finite R-linear combination of the ...
3
votes
2answers
80 views

Is quotient of a ring by a power of a maximal ideal local?

Say I have a commutative ring $R$ with a maximal ideal $m$. Then $m/m^k$ is a maximal ideal in $R/m^k$ for any $k$. Is it the only maximal ideal, i.e. is $R/m^k$ a local ring? This is a well ...
1
vote
1answer
31 views

Example of excision in Hochschild homology

The excision theorem for Hochschild homology introduced by Wodzicki seems like a very powerful tool (as scision was hyper-useful in topology). However, I cannot actually seem to think of a result ...
1
vote
1answer
18 views

Does $I(J\cap K)=IJ\cap IK$ hold in a Dedekind ring?

For ideals in any ring, we have the relation $I(J\cap K)\subseteq IJ\cap IK$. Do we actually have equality if we are in a Dedekind domain? I've been looking around for a reference, but haven't found ...
0
votes
0answers
26 views

Question of a proposition about direct product

I try to prove it's injective, surjective and homomorphism. define f(x)=(x+a1,x+a2,....,x+an),it's homomorphism. it's injective <=> the intersection of ai=0 I don't know how to prove the ...
1
vote
1answer
19 views

Show polynomials $I$ is not finitely generated as $R$-module

Let $R=\{a_0+a_1X+\cdots+a_nX^n\;|\;a_0\in\mathbb{Z},a_1,a_2,\cdots ,a_n\in\mathbb{Q}, n\in\mathbb{Z}_{\geq 0}\}$ and $I=\{a_1X+\cdots+a_nX^n\;|\;a_1,a_2,\cdots ,a_n\in\mathbb{Q}, n\in\mathbb{Z}^+\}$. ...
2
votes
3answers
63 views

Show $\ker (\phi)$ is a principal ideal

Let $\phi : \mathbb{C}[x,y] \rightarrow \mathbb{C}[t]$ be the ring homomorphism which satisfies: $\phi(x)=t^2,\ \phi(y)=t^2-t$ and $\phi(c)=c$ Show that the kernel of $\phi$ is a principal ideal. ...
0
votes
1answer
45 views

Is this automorphism the identity map

Let $A$ be a commutative ring and let $f: A \rightarrow A$ an surjective homomorphism, let $a$ be a ideal of $A$ then if $f(a)\subseteq a$ then it's $f$ is the identity map, or not necessary.
1
vote
1answer
30 views

Example of an ordered, noncommutative division ring

Does there exist a noncommutative division ring $D$ (i. e. a field except that commutativity of multiplication is violated, e. g. the quaternions) which is also an ordered ring? Since most examples ...
2
votes
0answers
50 views

Proof for Unique Factorization Domain

Prove that the quotient ring $\mathbb{C}[x,y]/(x^2+y^2-1)$ is a unique factorization domain. I am trying to prove first it is a principal ideal domain. However I am really stuck on this problem
0
votes
2answers
73 views

Tensor product of quotient rings [duplicate]

$A$ is a commutative ring with unit and $\mathfrak a$, $\mathfrak b$ ideals. I have to show that $$A/\mathfrak a \otimes_{A} A/\mathfrak b \cong A/(\mathfrak{a+b}).$$ Any hint ?
2
votes
1answer
45 views

$A_{p}$ is a field when $p$ is a minimal prime and $A$ reduced

$A$ is a reduced commutative ring with unit; $p$ is a minimal prime ideal. If $S = A \setminus{p}$ , I have to show that the ring $A_{p} = S^{-1}A$ is a field. My thoughts: Since $p$ is a minimal ...
3
votes
1answer
46 views

proposition 1.10 ii) A&M Introduction of commutative algebra

I am working through Introduction of commutative algebra and am having trouble with the following question: (I'll use f instead of the map,since I don't know how to input it.) Q1: Why there exist ...
1
vote
1answer
28 views

is there a counterexample of this map isn't surjective?

The ring A is a commutative ring with identity. I think ii) is true if they are not coprime. because for every (x+a1,....,x+an) we can find a x such that f(x)= (x+a1,....,x+an). Could you please ...
1
vote
0answers
30 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
1answer
31 views

Simple integral extension question

If $R$ is a commutative ring, why is every $x$ in $R$ integral over $R$? I can't see what monic polynomial will have $x$ as a root.
0
votes
1answer
56 views

Invertible elements and maximal ideals of a localization

Let $n\in\mathbb Z$ and let $A$ be the set of integers co-prime to $n$. Denote $A^{-1}\mathbb Z$ by $\mathbb Z_{(n)}$. 1) Find the invertible elements of $\mathbb Z_{(6)}$ My attempt: let $m$ be ...
0
votes
1answer
48 views

What does $R^{\times}$ mean for a ring?

What does it mean for $a \in R^{\times}$, where $R$ is a ring? I cannot seem to find the definition of $R^{\times}$ anywhere (partially because I do not know what it is called).
0
votes
1answer
33 views

Question about comaximal ideal proof

Let $A$ be a ring and $M\subseteq A$ a maximal ideal. Show that if $I\subseteq A$ such that $I\not\subseteq M$, then $M$ and $I$ are comaximal($M+I=A$). I cannot find the proof for this statement.