# Tagged Questions

**1**

vote

**0**answers

43 views

### For Finite Dual when is $(A \otimes A)^o = A^o \otimes A^0$?

Let $A$ be any $k$-algebra. The finite dual or restricted dual of $A$ is
$$
A^o = \{f \in A^* ~ | ~ f(I)= 0, \text{ for some ideal } I \subseteq A, \text{ such that } \text{dim}_k(A/I) < \infty\}.
...

**2**

votes

**1**answer

96 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

**2**answers

220 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

**0**answers

133 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

**0**answers

154 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

**0**answers

52 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

**2**answers

128 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

**4**answers

333 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 ...

**5**

votes

**2**answers

297 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 ...

**2**

votes

**0**answers

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

**2**answers

680 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

**3**answers

673 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

**4**answers

558 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

**1**answer

168 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

**4**answers

857 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

**2**answers

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

**2**answers

507 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

**7**answers

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

**1**answer

262 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

**1**answer

637 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

**1**answer

236 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

**0**answers

143 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 ...

**42**

votes

**2**answers

3k 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

**4**answers

687 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

**3**answers

542 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

**1**answer

241 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

**2**answers

836 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

**3**answers

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

**2**answers

840 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. ...

**13**

votes

**5**answers

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 ...