The tag has no usage guidance.

56 questions
Filter by
Sorted by
Tagged with
45 views

84 views

### Surjection from finite rank free $R$-module to finitely generated $R$-module and basis associated to generator set

Suppose the we have an epimorphism $s\colon M\to N,$ where $M$ is a free $R$-module of rank $r$ and $N$ is a finitely generated $R$-module, such that there exists a basis $B:=\{m_{1},\dots, m_{r}\}$ ...
55 views

In Theorem 3.1 of Graded rings over arithmetical orders, the authors prove that for a strongly $\mathbb{Z}$-graded ring $R$, if $R_0$ is left and right Goldie and a maximal order in its (classical) ...
53 views

I know from this paper by Ward that one can obtain the (signs of) the Gerstenhaber bracket using operadic suspension on any operad $\mathcal{O}$. More precisely, the insertion $\tilde{\circ}$ of the ...
79 views

125 views

### Weighted blowup of a Cohen-Macaulay ring along a regular sequence is Cohen-Macaulay?

Let $(R, \mathfrak{m})$ be a Cohen-Macaulay ring, let $f_1, \dotsc, f_d \in \mathfrak{m}$ be a regular sequence, and let $n_1, \dotsc, n_d > 0$ be weights (feel free to assume that $n_1 = 1$ if it ...
41 views

Let $A$ be a $\mathbb N$-graded ring. One can consider the two categories $M_A^g$ and $M_A^u$ of graded and ungraded modules over $A$. Both have, say, enough projectives, hence one can compute various ...
280 views

### Conceptual explanation for the sign in front of some binary operations

In several situations, I've seen that given a binary operation on a graded module $m:A\otimes A\to A$, a new operation $M(x,y)=(-1)^{|x|}m(x,y)$ is defined so that it satisfies some properties. One ...
417 views

### Representation theory in braided monoidal categories

The crux of what I wish to know is what results from representation theory, a subject usually framed within the category $\text{Vect}_\mathbb{k}$, follow in more general braided monoidal categories? I ...
141 views

### Detailed proof of $\mathfrak{s}^{-1}\mathrm{End}_V\cong \mathrm{End}_{\Sigma V}$

I asked this question on MSE but I want to ask it again here with some more context sine it received no answers. In Chapter 3 (Algebra) of the book Operads in Algebra, Topology and Physics by Markl, ...
92 views

80 views

### Certain morphism between graded modules

Say we have a morphism $f=(f_{i,j}) : \oplus_{i}M_{i} \rightarrow \oplus_{j}N_{j}$ (The direct sum of graded modules is finite) and $f_{i,j}$ are morphisms of graded modules but not necessary with the ...
74 views

201 views

### Homogeneous regular sequence

Consider a $\mathbb{Z}$-graded polynomial ring $R = k[x_1,\cdots,x_n]$ over a field $k$, where the elements $x_i$ are homogeneous (they may have negative degree). Let $I$ be a homogeneous ideal that ...
124 views

### infinite fold tensor product of universal enveloping algebra

Let $\mathfrak a$ be a Lie algebra graded by the abelian semigroup $S$, then the universal enveloping algebra $U(\mathfrak a)$ of $\mathfrak a$ is $S \sqcup \{0\}$ graded. I have the following ...
47 views

### Induced grading on free non-associative algebra

Let $A_X$ be a free non-associative algebra over a field $k$ on a set $X$ of free generators, where $X = X_0 \cup X_1$ and $X_0 \cap X_1 = \phi$. We will think of the elements of $X_0$ as even, and ...
477 views

### Relation between the Spec and the Proj of a ring

I am reading Thaddeus' paper on GIT and flips (https://arxiv.org/pdf/alg-geom/9405004.pdf), and I am confused with a claim in the begining. Let $R$ be a finitely generated integral algebra over an ...
91 views

### Derivations of algebras graded by a group

Let $A$ be an algebra. A derivation of $A$ is a linear map $d:A \rightarrow A$ such that $d(ab)=d(a)b + a d(b)$ for $a, b \in A$. If $A$ is a $\mathbb{Z}-$graded algebra, where $\mathbb{Z}$ is the ...
255 views

### Does the associated graded functor take products of filtered k-coalgebras to graded k-coalgebras?

Let's suppose we have two noncommutative graded k-coalgebras $C_1$ and $C_2$ with respective admissible filtrations (i.e $F_{0}C_i=0$ and $\mathrm{colim}_k F_kC_i=C_i$), I would like to know if there ...
201 views

229 views

### Projective dimension of graded modules

Short version: Why is the projective dimension of a graded module the same as the projective dimension of its underlying ungraded module? Longer version: Let $G$ be a commutative group, let $R$ ...
421 views

### Divided power algebra is artinian as a module over the polynomial ring

I already asked this on math.stackexchange.com, but did not receive much responses. I hope this is also appropriate for mathoverflow. In the paper Homological algebra on a complete intersection, with ...
227 views

Let $(A,g)$ be a graded commutative ring, where $A$ denotes the commutative ring, and $g$ its grading. What can be said about the set $\mathcal{G}_A := \{ \mathrm{Proj}\Big((A,g)\Big)\ \vert\ g \}$? ...
251 views

I call a $\mathbb{Z}$-graded (non-commutative, associative, unital) ring $A$ (left) graded-Noetherian if every homogeneous (left) ideal is finitely generated, and (left) Noetherian if it is (left) ...
32 views

### Hilbert functions of graded modules generated by mapped generators

I need to prove the following claim for my work. Intuitively, the claim should hold as it is analogous to the concept of an initial module, but a rigorous approach for the same I cannot find. Any help ...
275 views

### Can the Artin-Rees lemma be derived from Krull Intersection theorem?

The Krull Intersection theorem states that : For a finitely generated module $M$ over a Noetherian ring $R$ and any ideal $I$ of $R$, we have $I(\cap_{k=1}^{\infty}I^k M)=\cap_{k=1}^{\infty}I^k M$ . ...
90 views

### Hochster-Roberts theorem

I am trying to understand this theorem, and as an example I try this case: Let $R=\mathbb{C}[z_1^{\pm},\ldots,z_n^{\pm}]^{S_n}$ be the algebra of Laurent polynomials. Now $R$ should be somehow ...