1
vote
0answers
41 views

Tensor product of commutators vs. commutator in a tensor product

Let $R$ be a (noetherian) commutative ring, and let $V$ and $W$ be finitely generated free $R$-modules. Let $X \subseteq \mathrm{End}_R(V)$ and $Y \subseteq \mathrm{End}_R(W)$ be finite subsets, and ...
1
vote
0answers
206 views

Global dimension of a subalgebra with all units

(All rings here are always assumed to be unital and associative). Setup Let $R$ be a ring, and $A$ and $B$ be $R$-algebras, with $A$ a commutative subalgebra of $B$ satisfying: If $u$ is a unit ...
2
votes
1answer
141 views

Endomorphism Ring of Indecomposable MCM Modules

Let $R = k[[x, y]]/(f)$, where $k$ is algebraically closed of characteristic zero. I'm particularly interested in studying the endomorphism ring of indecomposable MCM (maximal Cohen-Macaulay) modules ...
5
votes
2answers
240 views

Hochschild homology of upper triangular matrix algebra?

Let $K$ be a field and $A$ the associative unital $K$-algebra of all $n\times n$ upper triangular matrices with entries in $K$. What is $\dim_K$ of its hochschild homology $HH_k(A;A)$? Is there any ...
0
votes
0answers
145 views

Is the universal enveloping algebra of the free Poisson algebra generated by finite set (left)-noetherian?

Let $P$ be the free Poisson algebra over $k$ (a field) generated by a finite set $x_1,\dots,x_n$. Let's consider the universal enveloping algebra $P^e$ of the free Poisson algebra $P$. A Poisson ...
3
votes
0answers
160 views

Computing the Abelianization of an Automorphism Group

Setup: We are working in a Henselian local ring $(R, \mathfrak m, k)$ that way may assume is Cohen-Macaulay, admits a canonical module and is of finite type (so is an isolated singularity). Let ...
2
votes
0answers
54 views

The norm of a polynomial f in a skew polynomial ring must be in the center

This is proved in Prop 1.7.1 in Jacobson's book ``Finite dimensional division algebras over fields". But I am not clear why the norm n(f), defined as the norm of the matrix representation of f by ...
5
votes
2answers
130 views

Dimension of commutative subalgebras of a central simple algebra

let $k$ be a field, and let $A$ be a central simple $k$-algebra over $k$. What is the maximal dimension of a commutative $k$-subalgebra of $A$? If $A=M_r(D)$, where $D$ is a central division ...
10
votes
4answers
358 views

Applications of Govorov-Lazard Theorem?

I asked this question on SE a long time ago, but never received an answer: The Govorov-Lazard Theorem states that a (left) module over an unital ring is flat iff it is a direct limit of finitely ...
6
votes
2answers
319 views

Properties of ring epimorphisms that are true only over commutative rings

I'm interested in knowing/collecting some properties of epimorphisms of rings (with identity) that are true over commutative rings but are false in the non-commutative case. Example: I learned from ...
1
vote
0answers
156 views

What are the enforceable models of local artinian rings?

I was reading Hodges' "Model Theory" Chapter 8 a propos existentially closed models of $\forall_2$ theories in a countable first order language $L$. He extends the proof of the omitting type theorem ...
5
votes
2answers
689 views

Epimorphisms and free submodules

By inspecting the accepted answer to this question Are epimorphisms from a division ring isomorphisms ? one obtains the following necessary condition for epimorphisms: Let $R \le S$ be rings ...
6
votes
3answers
691 views

Are epimorphisms from a division ring isomorphisms ?

According to Corollary 1.2(3) of the paper Silver: Noncommutative Localizations and Applications. J. of Alg. 7(1964), 44-67: If $R$ is a (commutative) field and $\alpha: R \to S$ an epimorphism in ...
8
votes
4answers
579 views

Strongly Noetherian property. When is the tensor $A\otimes_{k}B$ Noetherian for Noetherian rings $A$ and $B$?

Let $k$ be a field. It is well-known that $A\otimes_{k}B$ is not necessarily Noetherian even if $k$-algebras $A$ and $B$ are Noetherian. For example $\mathbb{R}\otimes_{\mathbb{Q}}\mathbb{R}$. When ...
3
votes
1answer
170 views

Liftability of a submodule from an associated graded module

Let $k$ be a field, $A$ a $k$-algebra (probably noncommutative), and $M$ an $A$-module that's finite-dimensional as a vector space over $k$. Let $Gr(M;k)$ denote the set of all $k$-subspaces of $M$, ...
13
votes
4answers
889 views

What's the name for the analogue of divided power algebras for x^i/i?

I recently came across divided power algebras here: http://amathew.wordpress.com/2012/05/27/lazards-theorem-ii/ It interests me because the free divided power algebra on one variable $x$, where ...
2
votes
2answers
392 views

Model Theoretic Localization

This is a re-post on a previous question I asked. My first question was too vague to warrant detailed responses. Really, I have two specific questions to ask. 1) Let $\sigma = (A; \{0,1\}; +, ...
2
votes
2answers
513 views

Torsion in tensor products over noncommutative rings

I know that the problem of torsion in tensor products, even of torsion free modules, is a very delicate thing. Unfortunately i don't have a deeper insight into this subject, so i don't know how things ...
29
votes
7answers
3k views

What makes a theorem *a* “nullstellensatz.”

I know what the (Hilbert) Nullstellensatz says. A MathSciNet search on "nullstellensatz" turns up nearly 200 papers, with only a minority offering either new proofs or new applications of the classic ...
1
vote
1answer
263 views

Morphisms of a simple sheaf over an algebra to its double dual

Given a smooth and projective surface $S$ over an algebraically closed field $k$ and a sheaf of Azumaya algebras $R$, i.e. $R$ is a locally free $O_S$-module of finite rank. Let $M$ be a coherent and ...
3
votes
1answer
677 views

Length of a module over different rings

Given a regular local ring $(R,m)$ and a finitely generated $R$-algebra $S$, which is free as an $R$-module. Let $M$ be a left $S$-module of finite length, $\ell_S(M)=r<\infty$. Under what ...
0
votes
1answer
237 views

Q-Divisor and Determinant Map on a Maximal Order

Given a smooth projective surface $X$, let $A$ be a sheaf of maximal orders in a division ring. Let us for simplicity assume $A$ ramifies in one curve $C$ with ramification index $e$. Let $A^*$ be the ...
3
votes
0answers
145 views

Global dimensions of orders over non-Gorenstein centers

This question concerns the following Lemma 4.2 in this paper by Van den Bergh: Lemma: Let $R$ be local, normal Gorenstein ring of dimension $d$. Suppose $M$ is a reflexive $R$ module such that ...
44
votes
2answers
4k views

How would you solve this tantalizing Halmos problem?

1-ab invertible => 1-ba invertible has a slick power series "proof" as below, where Halmos asks for an explanation of why this tantalizing derivation succeeds. Do you know one? Geometric series. In ...
2
votes
4answers
689 views

Homological dimension of a graded ring which is like polynomial ring

Let $k$ be a field of characteristic $0$. Consider the following $k$-algebra $R$, which is the quotient of a tensor algebra generated by elements $x_i$ in degree $1$ with the relation ...
7
votes
3answers
555 views

Existence of non-commutative desingularizations

Let $R$ be normal, local ring of dimension at least $2$. Let $M$ be a reflexive $R$-module and let $A=Hom_R(M,M)$. Suppose $A$ has finite global dimension. Then one can view $A$ as a weak ...
4
votes
1answer
242 views

Classifying Algebra Extensions over a fixed extension?

There are lots of "Ext groups" in homological algebra which measure extensions of various things. I'm sure there must be a homological algebra machine for computing the following, and I'm hoping that ...
1
vote
2answers
842 views

An “Elementary” Math Question Generalized (Ring Theory Perhaps)

The following question is posed in the book "The USSR Olympiad Problem Book: Selected Problems and Theorems of Elementary Mathematics" "Prove that if integers a_1, ..., a_n are all distinct, then the ...
21
votes
3answers
1k views

When does the converse to Schur's Lemma hold?

Let $R$ be a commutative ring, let $A$ be an $R$-algebra, and let $M$ be an $A$-module. If $M$ is simple, then End$_{A-mod}(M)$ is a division ring. A common use is when $R$ is the complex numbers ...
10
votes
2answers
858 views

How much theory works out for “almost commutative” rings?

I've been reading about D-modules, and have seen a proof that D_X, the ring of differential operators on a variety, is "almost commutative", that is, that its associated graded ring is commutative. ...
14
votes
5answers
2k views

Can a quotient ring R/J ever be flat over R?

If R is a ring and J⊂R is an ideal, can R/J ever be a flat R-module? For algebraic geometers, the question is "can a closed immersion ever be flat?" The answer is yes: take J=0. For a less ...