For questions about rings which are not necessarily commutative and modules over such rings.

learn more… | top users | synonyms

0
votes
1answer
18 views

When does a sequence of finitely generated $k[G]$ modules split?

I am self studying some non-commutative algebra, and I want to make sure I don't confuse myself. Here is what I am thinking: Let A and B be finitely generated $k[G]$-algebras, for $G$ a finite group ...
1
vote
1answer
35 views

Group algebra is a tensor product?

Am I correct in describing the group algebra $R[G]$ as $R \otimes_{Z} G$? (As a tensor product of $Z$-algebras.) There is clearly a map $R \times G$ to $R[G]$, just by sending $(r,g)$ to $rg$, and ...
0
votes
0answers
16 views

Examples of algebras having a module basis

I'm looking for examples of associative $R$-algebras, for which an $R$-module basis can be specified. Of course, if $K$ is a field, then any $K$-algebra admits such a basis, but this dis not what I'm ...
1
vote
1answer
32 views

Noncommutative finitely generated algebras need not be noetherian

I would like to understand an example (of the title) given in the book "An Introduction to Noncommutative Noetherian Rings" by K. R. Goodearl, R. B. Warfield... On page 8, Exercise 1E, an example of ...
0
votes
0answers
14 views

Multilinear Polynomial - Book “Polynomial Identities in Ring Theory” author Louis Halle Rowen

Rowen gives an example on page 7 of his book Polynomial Identities in Ring Theory says: Remark 1.1.23: Suppose $f$ has "constant term $0$" (i.e., each monomial of $f$ has degree $> 0$). If ...
0
votes
0answers
50 views

Characteristic of ring $R_1\otimes\ldots\otimes R_k$

Let $R_1,\ldots, R_k$ be unital rings and $\otimes=\otimes_\mathbb{Z}$ and $\mathrm{chr}$ the characteristic. How can one see that $$\mathrm{chr}(R_1\otimes\ldots\otimes ...
1
vote
1answer
35 views

The first Weyl algebra is Calabi-Yau

Why is the Weyl algebra $A_1(k)$ over a field $k$ Calabi-Yau? (My definition of Calabi-Yau is Ginzburg's)
1
vote
0answers
31 views

Tensor product of two simple modules

Let $k$ be a field of arbitrary characteristic. Suppose that $A$ and $B$ are finite dimensional $k$-algebras. Let $S$ be a finite dimensional simple $A$-module and let $T$ be a finite dimensional ...
0
votes
1answer
31 views

How to show Not a Free Module

Let $\mathbb K$ be a field, $A= \mathbb K [x,y]$ and $ M = Ax + Ay$. prove that $M$ is NOT a free module!
2
votes
2answers
52 views

divisible modules

In surveying LMR of T.Y.Lam, I reached a paragraph stating that "when R is a domain every direct sum or direct product of divisible modules is divisible." My question is that "should R is not a ...
1
vote
0answers
26 views

Tensoring and retaining projectiveness

Let $A$be a unital associative ring, If $A$ is not a projective $A$-bimodule, however $A\otimes A$ is a projective $A$-bimodule, can we conclude that $A\otimes A \otimes A$ is also projective?
1
vote
1answer
32 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
27 views

Simple Northerian domain which is not a division ring

I need a simple Noetherian domain which is not a division ring. I do know that this ring must not be Artinian, since otherwise it would be a division ring. Thanks in advance!
1
vote
0answers
26 views

Coproducts and Hochschild

I $\{X_i\}$ is a small family of associative $\mathbb{C}$-algebras and $X$ is their free product. Then I have two questions: 1) Why is $X$ their coproduct? 2) Is the Hochschild homology of X ...
1
vote
0answers
25 views

Grading and commutators

If $R$ is a unital associtaitve commutative ring, then can any $R$-algebra $A$ may be filtered as $A_0:=A$ and $A_{i+1}:=(A_i,A_i)$ where $(-,-)$ is the commutator of $A$ with respect to $A$'s ...
0
votes
0answers
17 views

Infinite series of nested commutators

I'm trying to show the following: If $S_i$ are a set of three matrices such that $$ [S_i, S_j] = \epsilon_{ijk} S_k $$ then $$\exp\big( \alpha_i [S_i, \cdot]\big) S_j = (\exp (M) \vec{S})_j$$ ...
0
votes
1answer
60 views

Direct product of algebras over a field

Let $ B_1,B_2,...,B_n$ k-algegras, $ B=\prod_{i=1}^{n}B_i $ the direct product of those (k is a field) , and $ J_i$ an ideal of its k-algebra. i must to prove that: The direct product $ ...
2
votes
1answer
35 views

Example of a faithful irreducible module

Let $R$ be a non trivial simple ring. I am trying to show that there is a faithful irreducible left $R$-module. Is the ring $R$ considered as a left module over itself such a module? I think ...
0
votes
1answer
32 views

Hom-tensor adjunction

Let $A$ be a ring (which might or might not be commutative), and let $M,N$ and $K$ be three bi-modules over $A$. There are two hom-tensor adjunctions. One says that $Hom_A(M\otimes_A N, K) \cong ...
4
votes
1answer
103 views

Recognition of positive integral projections in a group algebra

Let $G$ be any finite Group and $e \in \mathbb{C}G$ be a central idempotent element which decomposes $\mathbb{C}G = R \times S$ into a direct product of rings $R = \mathbb{C}Ge$ and $S = ...
3
votes
1answer
32 views

Scalar extension of simple algebras

I have a question regarding quaternion algebras. Let $K$ be a number field and $L|K$ a quadratic field extension. Let $M|K$ be a field extension such that $M\otimes_K L$ is not a field, i.e. ...
1
vote
1answer
37 views

Is every left maximal ideal the annihilator of a simple left module?

In my version of Noncommutative Algebra, by Benson Farb & R. Keith Dennis, in chapter I, section 2 on the Jacobson radical, it is claimed that … each maximal left ideal $I$ is the annihilator ...
6
votes
0answers
63 views

Schemes to the rescue?

I am reading chapter 1 of Gille and Szamuely's book Central Simple Algebras and Galois Cohomology, on quaternion algebras. In it they prove (remark 1.3.1 on p. 18) that the conic associated to a ...
1
vote
0answers
88 views

Relation between finite stable rank and IBN (invariant basis number)

For R is any ring has an identity, we known if R has stable rank one, then R is "weakly finite" (or "stably finite," all matrix rings over R are Dedekind finite) and this implies R has IBN . But ...
1
vote
0answers
48 views

Integral elements with predescribed properties in quaternion orders

In the course of doing some calculations I have found myself wanting to answer the following question: Let $D/\mathbb{Q}$ be a quaternion algebra ramified at a prime $p$ and at $\infty$ and let ...
2
votes
1answer
49 views

If $S$ be a ring with identity and $f: M_{2}(\mathbb{R})\longrightarrow S$ is a nonzero ring homomorphism, which cases is true?

Let $S$ be a ring with identity and $f: M_{2}(\mathbb{R})\longrightarrow S$ is a nonzero ring homomorphism,then which cases is true? $S$ is left Artinian $S$ is left Noetherian $S$ is simple ring ...
1
vote
1answer
41 views

Dimension of dual module

Let $R$ be a finite dimensional semisimple $k$ algebra ($R$ is not necessarily commutative) and $M$ be an $R$-bimodule such that $M$ has finite dimension over $k$. Define ...
0
votes
0answers
28 views

pullback along a homomorphism

I am studying the grand book of T.Y. Lam, Lectures on Modules and Rings, in which the expression of pullback of some superset $B$ of a set $A$ along a homomorphism $\phi$ from some set $T$ to $A$ is ...
3
votes
1answer
77 views

Baker–Campbell–Hausdorff formula for [exp(x),exp(y)]

Can someone provide a explicit (the first priority with leading orders, then the secondary consider as complete as possible, or) expansion like Baker–Campbell–Hausdorff formula for the commutator: ...
3
votes
1answer
48 views

tensor, symmetric, exterior power of a module over a PID

Let $R$ be a PID and $M\cong R^r\!\oplus\bigoplus_{i=1}^s\!R/Ra_i$. Denote the tensor, symmetric, exterior power of $M$ by $T^nM=\bigotimes_{k=1}^nM$ and $S^nM= T^nM/\langle ...
1
vote
0answers
26 views

Skew polynomial algebra and deformation

Let $R$ be an associative unital $k$-algebra. If $\alpha \in End_k(R)$ and $\delta$ is a $\alpha$-derivation, then one can define the skew polynomial algebra $R[x; \alpha,\delta]$ by letting $ax = x ...
0
votes
0answers
6 views

DCC on prime ideals in noncommutative noetherian ring

I know that commutative Noetherian rings satisfy the DCC on prime ideals, and that this is not true in general for NC rings which are Noetherian on only one side. Are there any intermediate results? ...
3
votes
1answer
54 views

“Vector spaces” over a skew-field are free?

Are modules over a skew field free? That is, if $F$ is a skewfield then can any module $M$ be written as $\underset{i \in I}{\bigoplus} F$ for some indexing set $I$?
1
vote
1answer
27 views

Cotensor and counit?

If M is a C-bicomodule, then considering C as a $C$-bicomodule also, is $M \square_C C \cong C$, where $\square_C$ is the cotensor product in $^C\mathscr{M}^C$.
0
votes
1answer
15 views

Commutativity with cotensor

If C is a cocommutative R-coalgebra, R is some commutative semi-simple artinian ring and A and B are C-bicomodules, then is $A\square_C B \cong B \square_C A$? If not what other conditions are ...
0
votes
0answers
15 views

Commutativity of comodules

If C is a cocommutative R-coalgebra, R is some commutative semi-simple artinian ring and A and B are C-bicomodules, then is $A\otimes_R B \cong B \otimes_R A$ as $R-modules$. However, this also true ...
2
votes
1answer
47 views

Smallest skew-field containing a non-commutative ring.

Let $R$ be an integral domain and take $D = R - \left\{ 0 \right\}$. The ring $D^{-1}R$ is the smallest field containing $R$ as a subring. Now suppose that I have a non-commutative ring $N$. Suppose ...
0
votes
1answer
78 views

Relation between Jacobson radical and composition series

Let $R$ be a not necessarily commutative ring with 1. Suppose $R$, viewed as a right $R$-module, has a finite composition series with non-isomorphic composition factors. Prove that the Jacobson ...
10
votes
2answers
105 views

Real forms of complex vector spaces and $\mathbb{C}$-algebra

A real form $W$ of a complex vector space $V$ is a real subspace s.t. $\mathbb{C}\otimes_{\mathbb{R}}W \cong V$ by $a\otimes x \longrightarrow ax$, or equivalently there is an $\mathbb{R}$-basis of ...
5
votes
1answer
50 views

Monoidal categories and tensor products

Does the multiplication $-\square-$ biendofunctor in a Monoidal category, $\mathfrak{C}$ necessarily commute with coproducts? This is true in some familiar categories, such as $_RMod$, $Grp$ $CRings$ ...
5
votes
3answers
75 views

Is the center of the universal enveloping algebra generated by the center of the lie algebra?

Let $\mathfrak{g}$ be a Lie algebra over a field $k$, and let $U(\mathfrak{g})$ be its universal enveloping algebra. $\mathfrak{g}$ is canonically embedded in $U(\mathfrak{g})$; identify it with its ...
1
vote
0answers
41 views

Enveloping Algebra equal to algebra

Let $R$ be a unital associative ring, $A$ be an associative $R$-algebra of finite dimension, and $A^e$ its enveloping algebra. What are the requirements on $A$, so that $A^e \cong A$ (as ...
5
votes
2answers
96 views

How does the lie algebra capture compactness of the lie group?

This is a soft question. Let $V,\rho$ be a representation of the lie algebra $\mathfrak{so}_3(\mathbb{R})$. Then if I understand everything right, $V$ is necessarily completely reducible, because the ...
0
votes
1answer
63 views

What is needed to force polynomial-ring automorphisms to be affine?

Is there an integral domain $R$ and a polynomial-ring automorphism $\: \phi : R[x] \to R[x] \:$ such that, for $\: i : R\to R[x] \:$ the canonical embedding, $\;\;\; \phi \circ i \: = \: i \;\;$ and ...
0
votes
0answers
83 views

Rings, annihilators and (maximal) ideals

Let $R$ be a unital, associative, non-commutative ring. If $P$ is an ideal of $R$, what is the annihilator of quotients $R/PR$ and of $R/P$? Does something change if $P$ is supposed to be a maximal ...
2
votes
1answer
21 views

Smooth algebras and quasi-freeness

Let A be a unital associative algebra over a field k. Then A is smooth if and only if X:=Spec(A) is smooth. That is $\Omega_{X|Spec(k)}$ is locally-free. The later module is isomorphic to ...
5
votes
2answers
81 views

if $A^\times $ is a commutative group, does $A$ necessarily be a commutative ring?

Let $A$ be a ring and $A^\times$ be the collection of unit elements of $A$. If $A$ is a commutative ring, then $A^\times$ is a commutative group. Conversely, if $A^\times $ is a commutative group, ...
1
vote
1answer
66 views

for any ring $A$ the matrix ring $M_n(A)$ is simple if and only if $A$ is simple

Let integer $n\geq 1$. I have obtained that for any field $k$, the matrix ring $M_n(k)$ is simple, i.e., $M_n(k)$ contains no nonzero proper two sided ideals. Now I want to prove that: for any ring ...
0
votes
0answers
47 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 finite set $x_1,...,x_n$. Let's consider the universal enveloping algebra $P^e$ of the free Poisson algebra $P$. Hence a Poisson ...
1
vote
1answer
57 views

Clarification about some proof of Projectivity

Small provides an example of a ring which is right but not left hereditary is the ring $R =\left( \begin{matrix} \mathbb{Z} & \mathbb{Q} \\ 0 & \mathbb{Q} \end{matrix} \right)$; To ...