2
votes
1answer
81 views

Is there a theory of “rings” with partially defined multiplication?

Consider the abelian group $R [[\mathbb{Z}^d]]$ of all formal Laurent series over a commutative ring $R$ (a typical element has the form $\sum_{v \in \mathbb{Z}^d} \lambda_v \cdot X_1^{v_1} \dots ...
0
votes
0answers
61 views

An explicit description of the integral closure of $A=k[x,y]/\langle x^3-y^2\rangle$.

Let $k=\mathbb C$ and $A=k[x,y]/\langle x^3-y^2\rangle$. Denote by $X$ and $Y$ the cosets of $x$ and $y$ in $A$. Question: How do we see that the integral closure $A'$ of $A$ is $k[Y/X]$? Since ...
0
votes
1answer
42 views

Lie rings: reference request

Dear friends: I am looking for a modern reference for Lie rings (In particular, I would like to have nice references for the structure of Lie ideals), let it be lecture notes or a book, in the sense ...
2
votes
1answer
93 views

The family of schemes $\operatorname{Spec} A[x]/(x^n)$

Consider the family $S_n:=\operatorname{Spec} A[x]/(x^n)$ of schemes, $A$ denoting any ring (which in our subject always means commutative and with identity). Is there some intuitive picture for ...
1
vote
2answers
48 views

roots of cubic polynomial

On page 26 of Milne's Elliptic Curves (http://www.jmilne.org/math/Books/ectext5.pdf), he states the following: "... a cubic polynomial $h(x) \in k[x]$ with two roots in $k$ has all of its roots in ...
1
vote
0answers
154 views

Generalization of Chinese Remainder Theorem to infinite ideals

I'm looking for any (obviously weaker) generalization of this famous theorem in the special case that the family of ideals is not finite.
1
vote
0answers
54 views

Does This Ring have a Name?

Let $M_1=\{0,1,2,4,5,8,9,10,\cdots\}$ be the set of nonnegative integers that can be written as a sum of two perfect squares. Let $M_2=\{\sqrt{m}: m\in M_1\}=\{0,1,\sqrt{2},2,\sqrt{5},\cdots\}$. Let ...
2
votes
1answer
84 views

Quasi-hereditary algebras

Can anyone please recommend a reference (I prefer a book chapter) on Quasi-hereditary algebras? and if it is possible tell me how to prove that Schur algebras are Quasi-hereditary (or any other ...
2
votes
0answers
42 views

Correspondence theorem for rings.

Could someone provide a reference that includes a full and honest proof of the Correspondence Theorem for rings? Let $A$ be a multiplicative ring with identity and $I$ an ideal of $A$. There is a ...
0
votes
0answers
74 views

Readings for Noether

I'm studying the theory of Noether but I have only 4 pages of lecture notes with no details or examples. Are there any good lecture notes or chapters you know about? In my lectures the basics of ...
3
votes
0answers
58 views

Equations in the semiring of f.g. modules

Let $R$ be a commutative ring. Then we may consider the semiring $G(R)$ of isomorphism classes of finitely generated $R$-modules with $+ = $ direct sum, $* = $ tensor product, $0 = $ zero module, $1 = ...
5
votes
0answers
60 views

Literature to the ring $\mathbb{Z}[\phi]$ where $\phi=\frac{1+\sqrt{5}}{2}$ is the golden ratio

I know few about algebraic number theory but recently I stumbled upon the ring $\mathbb{Z}[\phi]$ where $\phi = \frac{1+\sqrt{5}}{2}$ is the golden ratio. It seems to be a very interesting object to ...
3
votes
1answer
62 views

Books on Rings without Identity

I was just wondering if anybody knows of any good books or articles that study rings (and algebras) without (or not necessarily with) identity. I have gone through Thomas Hungerford's $Algebra$ ...
0
votes
1answer
78 views

$\biggl( \prod_{i \in \mathbb{N}}\mathbb{Z}/p^i\mathbb{Z}\biggr)\otimes_{\mathbb{Z}} \mathbb{Q}\ne 0$

I've found this claim $$\biggl( \prod_{i \in \mathbb{N}}\mathbb{Z}/p^i\mathbb{Z}\biggr)\otimes_{\mathbb{Z}} \mathbb{Q} \not\cong \prod_{i \in \mathbb{N}}\biggl( ...
0
votes
1answer
29 views

Sylvester domains

I'm an undergrad mathematics student and I'd like to request some books about Sylvester domains. Specifically I'd like to understand the fact that not all modules are Sylvester domains. I just proved ...
0
votes
0answers
44 views

Ring $R$ as $R[x]$-module

My professor mentioned some interesting examples of modules, giving as an example the following two: $R$ as an $R[x]$-module, in which multiplication by $x$ was taken to be evaluation under a fixed ...
0
votes
0answers
26 views

Theory of irrationalities- Faddeev's book

Does anyone know where (if available) I can get a free access to Delone, B. N., Faddeev, D. K., ''The theory of irrationalities of the third degree'' Transl. Math. Monographs 10, Amer. Math. Soc., ...
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 ...
6
votes
1answer
85 views

The infinite Direct Sum in the category Ring

If you don't have strong personal feelings about it already, most of you have at least witnessed the opposing factions on how we should define a ring and, by extension, how we should define a ring ...
3
votes
1answer
98 views

Counterexample for $A[[x, y]] = A[[x]][[y]]$

Maybe this is an idiot question, but I've heard that $A[[x, y]] = A[[x]][[y]]$ does not hold for $A$ an arbitrary commutative ring with identity, so I would like to know a counterexample, since the ...
1
vote
1answer
138 views

How should I understand $R[x]/(f)$ for a ring $R$?

The following is a proposition in Artin's Algebra: Proposition 11.5.5 Let $R$ be a ring, and let $f(x)$ be a monic polynomial of positive degree $n$ with coeeficients in $R$. Let $R[\alpha]$ ...
2
votes
2answers
65 views

when is a ring a free module over a subring?

Let $S \subset R$ be rings, $S$ not necessarily an ideal of $R$, and $S \neq R$. Is there anything that can be said about when $R$ is free as an $S$-module?
0
votes
1answer
96 views

When is a vector space (over field $K$) also a ring (with subring $K$)?

(Apologies in advance for the very naive question. I'm just learning about all this. Also, for the sake of expedience, below I use the word "ring" when it would more correct for me to use ...
6
votes
1answer
135 views

Minimal counterexamples of the isomorphism problem for integral group rings

The isomorphism problem for integral group rings asks if two finite groups $G,H$ are isomorphic when their integral group rings $\mathbb{Z}[G]$, $\mathbb{Z}[H]$ are isomorphic. Quite a lot has been ...
14
votes
7answers
491 views

Introduction to ring theory?

I've been teaching myself algebra these couple of months. I already went through the basics of group (Lagrange, action, class equation, Cauchy and Sylow theorems etc.) And I already have some linear ...
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 ...
4
votes
2answers
298 views

Proof of Fermats Last Theorem for Given Exponent

Where can I find reasonably short and elementary proofs (using basic concepts of ring, field, galois theory) of Fermat's Last Theorem for specific n? For example, $n=5,7,13$?
1
vote
2answers
107 views

References in Ring Theory

I am very interested in ring theory. I want to know the best textbooks about that subject, i.e about PID's, UFD's, Dedekind domain, Euclid domain. Can anyone tell me?
0
votes
1answer
43 views

Lemma of Bézout

Let $A$ be a PID. By the Lemma of B├ęzout I mean the statement that for elements $a_1,\ldots,a_n\in A$ we have $(a_1,\ldots,a_n)=((a_1,\ldots,a_n))$ where $(a_1,\ldots,a_n)$ denotes a greatest common ...
1
vote
1answer
31 views

proof of equivalent statements for an element of a ring belonging to every maximal left ideal of that ring

I would like to see a proof of the following. Let $R$ be a ring and let $a\in R$. Prove that the following conditions are equivalent. $a$ belongs to every maximal left ideal of $R$. $1+ra$ has ...
3
votes
0answers
60 views

Morita theory for simplicial rings

My question is the following: is there an analog of Morita theorem in the simplicial setting? I mean, we can define two simplicial rings $A,B$ to be simplicially Morita equivalent is the categories ...
2
votes
1answer
155 views

Finding Idempotents?

I was wondering if there is a method for finding primitive idempotents of a finite dimensional algebra (over a field)? or in other words is there any way to build the complete set of primitive ...
2
votes
2answers
67 views

A non-UFD where we have different lengths of irreducible factorizations?

A unique factorization domain (UFD) is defined to be an integral domain where each element other than units and zero has a factorization into irreducibles, and if we have two such factorizations then ...
3
votes
0answers
439 views

Proof that $\mathbb Z[\sqrt{3}]$ is Euclidean

Let $R_d$ be the ring defined as $R_d=\left \{ x+y\omega : x,y\in \mathbb{Z} \right\}$, where $$\omega = \begin{cases} \sqrt{d}, & \text{if } \quad d \not \equiv 1\mod 4 \\ \frac{1+\sqrt{d}}{2}, ...
2
votes
2answers
78 views

What topic/subject is this?

We can take a value $j$ and say $j^m = -1$. Now ordinarily, for the complexes, we could simply say that $j = e^{2 \pi i / m}$. I'm wondering, though, if there is a way to create a number system ...
5
votes
0answers
46 views

When are infinite dimensional path algebras hereditary

The title says mostly everything. Suppose we have a quiver, maybe with relations and cycles. Is it known when the path algebra modulo relations is hereditary. Especially in the case that the path ...
7
votes
0answers
201 views

Generalizing the natural numbers - has this been studied before?

The ordinals numbers generalize the natural numbers and satisfy a generalized induction principle. However, the algebraic properties of the ordinal numbers aren't so good. For example, ordinal sums ...
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 ...
0
votes
0answers
45 views

Ring structure on finite string of elements of a group

This is a reference request. Suppose $(G, \cdot)$ is a group and consider the structure on $G^{<\omega}$ where, for $\mathbf{p} = (p_1, \dots, p_n) \in G^{<\omega}$ and $\mathbf{q} = (q_1, ...
2
votes
0answers
65 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 ...
16
votes
1answer
205 views

How 'commutative' can a non-commutative ring be?

Let $R$ be a finite non-commutative ring. Let $P(R)$ be the probability that two elements chosen uniformly at random commute with each other. Consider the value $$S=\sup_RP(R)$$ where the supremum ...
8
votes
1answer
114 views

Amenable group rings embeddable in skew fields

I'm looking for a reference of the following fact: given a (countable?) amenable group $G$ and a (skew) field $K$, the following are equivalent: (1) the group ring $K[G]$ is a domain; (2) $K[G]$ is ...
4
votes
1answer
47 views

Reference request: Morita contexts

During an independent study I've come across Morita contexts, but I'd like to understand them better. A quick Google search doesn't yield much fruit, so I was hoping to find a good reference on the ...
4
votes
0answers
27 views

An explicit $\Lambda_R^\ell(M)$ when $M$ is not free

Let $\Lambda_R^n(M)$ be the nth exterior power of an $R$-module $M$. Let us assume $M$ is finitely generated. When $M$ if free, say, $M=R^{\oplus d}$, we know \begin{equation} \Lambda_R^n(M)\cong ...
3
votes
2answers
93 views

Subring of $R$ with fraction field $=$ Frac $R$

Let $R$ be an integral domain with fraction field $K$. Of course all the overrings of $R$ share the same fraction field $K$ (by an overring I mean a subring $S\subset K$ containing $R$ as a subring). ...
5
votes
6answers
1k views

Abstract algebra book recommendations for beginners.

I am taking abstract algebra in this semester. I find that my lecturer didn't provide enough examples for understanding. So I would like to ask what are the recommended books which has lots of solved ...
2
votes
2answers
68 views

Why is $S/R$ a ring extension?

If $S$ is a ring and $R \subset S$ is a subring it's common to write that $S/R$ is an extension of rings. I frequently find myself writing this and read it quite often in textbooks and lecture notes. ...
4
votes
2answers
150 views

Epic maps in the category of commutative rings with identity.

Here all rings are assumed to lie in the category $\cal C$ of commutative rings with identity, and ${\cal C} (\ R\ ,\ S\ )$ is the set of all ring homomorphisms $F$ from $R$ to $S$ for which ...
7
votes
1answer
180 views

The Picard-Brauer short exact sequence

It seems to be a rather well understood fact that, given commutative rings $R,S$, and a homomorphism $R \to S$ there is a short exact sequence $$\text{Pic}(R) \to \text{Pic}(S) \to F_0 \to ...
4
votes
1answer
213 views

How can I calculate the radical of an ideal in ring ${\Bbb Z}_n$?

I learned the concept radical of an ideal from this wikipedia article. I tried some examples and I found that it's not easy to find $Rad(I)$. (That article gives some examples when $R={\Bbb Z}$.) For ...