Tagged Questions

25 views

Example of a ring of finite global dimension with flat qu0tient

I've been thinking about this for quite a while but I cannot seem to find an example of If $k$ is a commutative ring of finite global dimension and I'm looking for a strictly not-commutative ...
61 views

Contrasting definitions of bimodules? An illusion?

Recently my definition of a bimodule over a $k$-algebra has been challenged and I believe both definitions to be equivalent, am I wrong? Notation: $k$ is a commutative ring and $A$ is a (unital ...
46 views

Example of ring $R$ with ideals $I\neq J$ such that $R/I \cong R/J$ as modules

It's easy to prove that if $I$, $J$ are two-sided ideals and $R/I\cong R/J$ as modules over $R$, then $I=J$. What about left ideals? Is there a simple counterexample? I believe I've found an answer, ...
42 views

Show that $D \cong {\rm End}_A(D^n)$ where $D$ is a division algebra and $A\cong M_n(D)$

Define $A$ to be a finite dimensional simple algebra over a field $k$. $D$ is a $k$-division algebra (not necessarily commutative) such that $A\cong M_n(D)$ for some integer $n$. Let $L$ be a minimal ...
51 views

A Direct Sum of Members of a Certain Class of Modules

Let $S$ be a class of $R$-modules and let an $R$-module $M$ be countably generated. Suppose that, for every direct summand $K$ of $M$, each element of $K$ belongs to a direct summand of $K$ that is ...
48 views

A condition of equivalence of flatness and projectiveness

This is a problem in "Foundations of Module and Ring Theory" of Wisbauer: " Let $R$ be a subring of the ring $S$ containing the unit of $S$. Show that a flat $R$-module $N$ is projective if and only ...
40 views

Simple Cogenerator for the category of left $R$-modules

I want to prove that if the category of left $R$-modules has a simple cogenerator $M$, then $R$ is a simple ring. (Here, $R$ is an arbitrary ring with $1$.) My try is to take an ideal $I$ of $R$ ...
68 views

Direct product of direct sum of a flat module

I have a problem concerning flat modules: Let $M$ be an $R$-module such that the direct product $M^A$ is flat for all sets $A$. I want to prove that $(M^{(B)})^A$ is also flat for any sets $A$ ...
53 views

When is an $R$-projective module a projective module?

Let $R$ be a semiperfect ring. Is it a true fact that every $R$-projective module $M$ with $Rad(M)$ superfluous in $M$ is projective? I could not reach a good result using just the fact that ...
69 views

Defining algebras over noncommutative rings

A definition of "algebra" (that is, an associative algebra, in the sense of ring theory) generally requires a commutative base ring. But there are cases where it's reasonable to consider algebras ...
28 views

An inverse limit of a certain inverse system

Let $∆$ be a directed set and $(N_i,f_{ji})_{i∈∆}$ be an inverse system of $R$-modules. Fix $α \in∆$ and consider $(M_i,g_{ji})_{i\in∆}$ as follows: $M_i=N_i$ for $i≥α$, $M_i=0$ for $i<α$, and ...
38 views

Direct limits commute with $\mathrm{Tor}$ functor

How one could prove that direct limits commute with the functor $\mathrm{Tor}$? Of course, I know that $\mathrm{Tor}$ with its first $0$ index is the same as tensor product which does commute ...
43 views

Annihilator of a quotient module

Let $J$ be an ideal of $R$, and $M$ a right $R$-module. Since $Jr \subseteq J$, $M / MJ$ is naturally a right $R$-module. Since it seems relevant to another problem, I am trying to determine ...
25 views

Is there a direct proof that $M_n(\mathcal k)$ is semisimple ring.

An R-module M is called semisimple if on of the following condition holds: 1) M is a direct sum of simple* submodules of M 2) M is a sum of simple submodules of M 3) For any R-submdoule N of M ...
29 views

isomorphism $\Bbb CG$ modules

Let $\Bbb CG$ algebra, and let $x= \sum _{g \in G} g$ . We define the module $\Bbb Cx=\{cx: c \in C\}$. I must prove that $$\Bbb C \cong _{ \Bbb CG} \Bbb Cx$$ Any ideas about that..thanks in ...
55 views

A statement equivalent to flatness

If $R$ is a ring with identity and $P$ is a flat right $R$-module, it is a fact that any $R$-homomorphism $f$ from a finitely presented right $R$-module $M$ to $P$ factors through a finitely generated ...
79 views

Endomorphisms of direct sum and division ring

How to prove that $$\operatorname{End}_R(V^{ \oplus n }) \cong M_n(D),$$ where $V$ is a simple left $R$-module and $D=\operatorname{End}_R(V)$. This is part of the proof finally leads to prove ...
48 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 ...
38 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!
28 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?
52 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 ...
52 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 ...
69 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$?
29 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$.
26 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 ...
91 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 ...
44 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 ...
24 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 ...
95 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 ...
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 ...