# Tagged Questions

23 views

### On an invertible element for equivariant K-theory

Fix a positive integer $m$. Let $G = \lbrace h\in\mathbb C | h^m = 1\rbrace$ and $(X,\pi)$ the standard representation of $G$. Namely $X = \mathbb C$ and $\pi:G \to GL(X)$ is defined by $\pi(h)v=h v$ ...
67 views

### What are the consequences of presentation of an algebra by generators and relations?

Let $A$ be a finite dimensional associative $K$-algebra, where $K$ is a field. I wonder how the presentation of $A$ by generators and relations helps in the study of structure of the algebra ...
55 views

### Strong Morita equivalence - Question about proof in Beer's “On Morita equivalence of nuclear $C^*$-algebras”

I'm going over the proof of this theorem about strong Morita equivalences on page 253 of "On Morita equivalence of nuclear $C^*$-algebras" by Walter Beer (http://bit.ly/1fOZiOw), I want to make sure I ...
20 views

### representation type of PI rings

A ring $R$ is said to satisfy a polynomial identity (PI for short) if there exists a polynomial $f(x_1, \ldots, x_n) \in \mathbb{Z} \langle X_1, \ldots, X_n \rangle$ such that $f(r_1, \ldots, r_n)=0$ ...
36 views

### Show $\mathbb F_{p}[x]/(x^{p}-1)$ is indecomposable as a representation of $\mathbb Z/ p\mathbb Z$

Let $R=\mathbb F_{p}[x]/(x^{p}-1)$. $R$ has both ring and vector space structure. I am trying to show that, given a representation $\rho : \mathbb Z/ p\mathbb Z\rightarrow GL(R)$, any invariant ...
28 views

### Monoid Ring of a Commutative Cancellative Ordered Monoid

Suppose $M$ is a commutative cancellative monoid with $0$ as the identity and $+$ as the operation, and $M$ is equipped with an order $\preceq$ defined by  m \preceq m' \text{ if and only if there ...
58 views

### The annihilator of finitely generated modules over PID

Let $R$ be a principal ideal domain. Let $M$ be a finitely generated $R$-module. Suppose there exists prime ideal $p$ and integer $i$ such that $p^i=\operatorname{Ann}(M)$. Then prove: (1) there ...
49 views

### Conjecture about some rings and roots of unity. [duplicate]

Let $\Bbb R_{\geqslant 0}[X_n]$ be a polynomial semiring. More precisely $\Bbb R_{\geqslant 0}[X_n]$ are the polynomials of $X_n$ with positive real coefficients with $(X_n)^n = 1$. Let $F(n)$ be ...
48 views

### Any submodule U of V such that the module V/U is completely reducible must contain the radical?

Want to prove: Given an $R$-Module $V$ and $rad(V)$ which I define to be the intersection of all maximal submodules of $V$. I want to show that if, for some submodule $U$ of $V$, we have $V/U$ ...
131 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 ...
38 views

### Four term exact sequence for Artin algebras

Suppose $\Lambda$ is an Artin algebra, i.e. an algebra finitely generated as $R$-module for a commutative Artin ring $R$, $A$ is a finitely generated left $\Lambda$-module, and $X$ a finitely ...
104 views

### Computing ext over graded rings

This question came up as I was reading Beilinson, Ginzburg, Soergel paper Koszul Duality Patterns in Representation Theory. Suppose that $A$ is a Koszul ring (for the definition of Koszul ring ...
139 views

### Example of a simple module which does not occur in the regular module?

Let $K$ be a field and $A$ be a $K$-algebra. I know, if $A$ is artinain algebra, then by Krull-Schmidt Theorem $A$ , as a left regular module, can be written as a direct sum of indecomposable ...
52 views

### If $\mathbb{C}[G]$ is Noetherian and $G$ has a representation on $V$, when must $V$ be finite-dimensional?

I know this is a bit vague, but please bare with me here. Let's assume that $G$ is a finitely-generated torsion group. I want to show that $G$ is a finite group if I add some conditions. I suspect ...
34 views

### What are modules in $\operatorname{add} T$ explicitly?

Let $A$ be a $K$-algebra and $T$ an $A$-module. The category $\operatorname{add} T$ is defined as the smallest additive subcategory of the category $\operatorname{mod} A$ (the category of all finite ...
62 views

### How to compute the ordinary quiver of $B = \operatorname{End}_A(T_{A})$?

I am reading the book Elements of the Representation Theory of Associative Algebras: Volume 1: Techniques of Representation Theory by Ibrahim Assem, Daniel Simson, Andrzej Skowronski. Let $A$ be a ...
38 views

### How to show that ${}_{B}T_{A} \otimes DM \in \operatorname{Gen}({}_{B} T)$?

I am reading the book Elements of the Representation Theory of Associative Algebras: Volume 1: Techniques of Representation Theory by Ibrahim Assem, Daniel Simson, Andrzej Skowronski. Let $A$ be a ...
51 views

### How to show that $DA\cong D\operatorname{Hom}_{B}(T, T) \cong DT \otimes_{B} T$?

I am reading the book Elements of the Representation Theory of Associative Algebras: Volume 1: Techniques of Representation Theory by Ibrahim Assem, Daniel Simson, Andrzej Skowronski. Let $A$ be a ...
98 views

### When a group algebra (semigroup algebra) is an Artinian algebra?

When a group algebra (semigroup algebra) is an Artinian algebra? We know that an Artinian algebra is an algebra that satisfies the descending chain condition on ideals. I think that a group ...
125 views

### How to compute Nakayama functor explicitly?

I am reading the book Elements of representation theory of associative algebras, volume 1. I have some questions related to the Nakayama functor. On page 113-114 of the book, the Auslander-Reiten ...