5
votes
1answer
163 views

Equivariant Formality

Let $G$ be a finite group and $\mathcal{A}$ be a $dg$-algebra. Assume $G$ acts on $\mathcal{A}$, i.e. there exists a homomorphism $G\to {\rm Aut}_{dg}(\mathcal{A})$. Assume further there exists a ...
3
votes
0answers
93 views

Formal DG-algebras

Sorry for this question but I really have difficulties with model categories. Usually a $dg$-algebra $A$ is called formal, if there exists a $dg$-algebra $B$ and quasi-isomorphisms $$A\leftarrow B\to ...
3
votes
0answers
62 views

Quasi-isomorphisms and Subalgebras

Let $A$ and $B$ $dg$-algebras over $\mathbb{C}$. If there exists an isomorphism $f:A\to B$, then every subalgebra $A'$ of $A$ is isomorphic to the subalgebra $f(A')$ of $B$. What is if $f$ is ...
15
votes
5answers
2k views

Origin of exact sequences

I have seen exact sequences appearing a lot in algebraic texts with different purposes. But I've never seen names of the people associated with it. Also I don't understand what's so good about showing ...
1
vote
1answer
100 views

Universal constructions that factor through endomorphisms

If $\cal A$ is a variety of algebras (e.g., all groups) and $\cal B$ is a subvariety defined by some set of identities $X$ (e.g., abelian groups with $X = \{xy \simeq yx\}$), then there is a functor ...
4
votes
1answer
158 views

What is the formula for the commutative multiplication on CP(infinity)?

There is a classic formula for maps $\mathrm{CP}(r) \times \mathrm{CP}(s) \to \mathrm{CP}(r+s)$ or maybe $r+s+1$ using Plücker coordinates - IF memory serves. In the limit we get the abelian ...
6
votes
1answer
317 views

Morita theorem for simplicial rings

My question is the following: is there an analog of Morita theorem in the simplicial setting? I mean, we can define two simplicial rings $A,B$ to be simplicially Morita equivalent is the categories ...
4
votes
1answer
232 views

Two definitions of modules in monoidal category

The standard definition of a (left) simplicial module $V$ over some simplicial algebra $A$ is the map of simplicial vector spaces $A\otimes V\to V$ that gives the usual modules component-wise. Here ...
4
votes
1answer
168 views

When are infinite dimensional path algebras hereditary?

I allready asked this on MO, but did not get any answer. Given a finite quiver with relations. When is the path algebra modulo relations hereditary? If the path algebra is finite dimensional or ...
0
votes
1answer
83 views

$\mathrm{rk}_R M$ vs $\mathrm{rk}_S M$ - how nice need $R,S$ be?

Let $R\hookrightarrow S$ be Noetherian (noncommutative) rings without zero divisors with $\mathrm{rk}_{R} S < \infty$ (e.g. $S=R*G$ the crossed product of $R$ with a finite group $G$). Let $M$ be a ...
3
votes
1answer
161 views

Is the definition of Gerstenhaber bracket related to operads?

I was reading these notes by Keller. On the page 19 he defines the Gerstenhaber bracket on the Hochschild cochain complex. But first of all he defines the operation $\bullet$ on the cochains by $$ ...
1
vote
1answer
124 views

Idempotents in Green J classes

I recently read this article Syntactic semigroups. In page $8$, he speaks about a J class having an idempotent is called regular: A $\mathcal J$-class containing an idempotent is called regular. ...
11
votes
1answer
318 views

$\mathbb{Z}G$ (left) Noetherian$\Rightarrow$ $l^1(G)$ is a flat $\mathbb{Z}G$-(right) module?

Let $G$ be a countable discrete group (not necessarily abelian), and suppose the group ring $\mathbb{Z}G$ is a left-Noetherian ring, for example, when $G$ is a polycyclic-by finite group. Denote the ...
3
votes
1answer
128 views

Thinking about the quadratic dual graphically

Say you have a quadratic algebra $A$ , that is, an algebra defined by a finite list of generators over a ground ring $k$ (either a field or a direct product of fields, which will be assumed ...
10
votes
2answers
274 views

Temperley-Lieb algebras for other Weyl groups?

The Temperley-Lieb algebra has the same generators as the $S_n$ group algebra, and the same commuting relations, but its other relations are different. A nice diagrammatic interpretation can be seen ...
2
votes
1answer
101 views

Amenable group rings embeddable in skew fields

I've made this question on math.stackexchange.com (also offering a bounty) but I did not receive any answer: I'm looking for a reference of the following fact: given a (countable?) amenable group ...
1
vote
1answer
81 views

Associative algebras with Jacobson radical of codimension 1

Is there a name for finite-dimensional associative $F$-algebras having the Jacobson radical of codimension 1. Of course they are particular local algebras and, indeed, the converse is true provided ...
1
vote
0answers
65 views

Notion of transversality over the field of Puiseux series.

To a given a Laurent polynomial $f$ over the field of Puiseux seris with parameter $t$, $f \in \mathbb{C} \lbrace\lbrace t \rbrace\rbrace[z_1^{\pm1},...,z_n^{\pm 1}]$, one can associate the ...
6
votes
3answers
422 views

IBN for algebraic theories

Let us say that a finitary algebraic theory $\tau$ has IBN (invariant basis number) if the free functor $F : \mathsf{Set} \to \mathsf{Mod}(\tau)$ reflects the isomorphism relation: If $S,T$ are sets ...
2
votes
1answer
139 views

Algorithmically finite-dimensional (noncommutative) algebras.

Can anyone help to find some information about these structures?
4
votes
2answers
261 views

BGG-like resolutions and translations

This question originated from my confusion after I read the following paragraph (page 31, section 4.8) in Resolutions and Hilbert series of the unitary highest weight modules of the exceptional ...
3
votes
0answers
104 views

reference for direct finiteness of the ring of affiliated operators

Let $\Gamma$ be a group, $N(\Gamma)$ its group von Neumann algebra, $\newcommand{\cUG}{{\mathcal U}(\Gamma)}$ and $\cUG$ the ring of all densely-defined, closed operators ...
1
vote
1answer
187 views

translation functors in parabolic category $\mathcal{O}$

I'm looking for a reference for a treatment of translation functors (as defined e.g. in this [question][1]) in parabolic versions of BGG category $\mathcal{O}$. I am mainly interested in the ...
0
votes
2answers
241 views

Equivalent Forms of AC

There are many algebraic equivalences of AC in the literature. A famous one is "every ring with identity has a maximal ideal". Where can I find this equivalences, specially those in rings theory !? ...
2
votes
0answers
120 views

A non-commutative ring from SU(2)

$SU(2)$, which will be regarded here as the group of unit quaternions under multiplication, has 3 conjugacy classes of finite subgroups which don't have cyclic subgroups of index 1 or 2. They are: ...
7
votes
2answers
295 views

Morita equivalence for *-algebras

This is a reference request. I'm looking for a definition of Morita equivalence of *-algebras, as described below. If anyone thinks that this is not the right way to define Morita equivalence of ...
13
votes
3answers
288 views

How should one look at the set of compatible ring structures on a given group?

Earlier today I had a conversation with a friend about ways of putting topologies on sets of first-order structures; we wound up talking about reducts and expansions from a topological point of view, ...
2
votes
2answers
269 views

torsion theories localizing the base ring to the same ring

If two torsion theories on a ring localize the ring to the same extension ring, I can find no reason that their "meet" in the lattice of torsion theories must also localize to the same ring. I cannot ...
5
votes
0answers
204 views

Cocontinuous monadic functors

Some forgetful functors of algebraic categories preserve colimits, but most do not. In order to understand this phenomen in general, I have classified cocontinuous monadic functors whose target is an ...
28
votes
2answers
939 views

What do cluster algebras tell us about Grassmannians?

One of the first examples of a cluster algebra given in Fomin and Zelevinsky's original paper is the homogeneous coordinate ring $\mathbb{C}[G_{2,n}]$ of the Grassmannian of planes in $\mathbb{C}^n$. ...
3
votes
1answer
175 views

What is this deformed group algebra named?

I have a semisimple algebra $R$ over a field $k$ that looks like a group algebra $k[G]$ except that it's deformed slightly. That is, instead of a basis $e_1 ..., e_n$ closed under multiplication, I ...
4
votes
1answer
193 views

Generating of the matrix ring by two hermitian matices

Let $p$ be a prime and $q=p^n$. Let $\mathbb F_{q^2}$ be a field with $q^2$ elements and $\sigma$ its authomorhism of order two. A $m$ by $m$ matrix $A$ over $\mathbb F_{q^2}$ is hermitian if ...
5
votes
0answers
402 views

A reference on semisimple linear algebra

Is there any literature where the tools familiar from (multi)linear algebra are systematically transferred to the setting of semisimple modules over noncommutative rings? In fact this question is a ...
6
votes
0answers
122 views

Classifying algebras with two idempotent generators and involution

Say that a finite-dimensional algebra $H$ over a field $K$ is dihedral if $H$ is generated by idempotents $P_1$ and $P_2$ and there is an algebra involution interchanging $P_1$ and $P_2$. For ...
2
votes
1answer
173 views

Simplicial complex made of central idempotents of an algebra

Let $A$ be an algebra, say over $\mathbb{C}$ and finite-dimensional, but not necessary semisimple. I have the strong feeling, which I would like to prove and use, about the following rather natural ...
6
votes
2answers
360 views

A quantum Grothendieck group?

Question 1: Given a co-commutative bialgebra, does there exist a sort of Grothendick group type construction? Presumably this should take the form of a functor from co-commutative bialgebras to hopf ...
6
votes
2answers
500 views

Generalizing the Fundamental Theorem of Symmetric Polynomials

The fundamental theorem of symmetric polynomials tells us that the ring $\mathbb{Z}[x_1,\ldots,x_n]^{S_n}$ of symmetric polynomials in $n$ variables is generated (without relations) by the elementary ...
1
vote
1answer
231 views

A good introduction to S unit equations

I was looking up some stuff when I stumbled across S unit equations. It seems to me that they are quite helpful in number theory, as given in this paper. ...
13
votes
1answer
795 views

Lagrange's theorem for Hopf algebras

Under what conditions is a Hopf algebra free over any of its sub-Hopf algebras? I am reading "Hopf algebras and their actions on rings" by Susan Montgomery, specifically chapter 3. Lagrange's theorem ...
4
votes
2answers
485 views

Constructing a ring from an abelian group in a minimal way

I'm looking for a specific construction, taking an abelian group (with designated element) $(G,+,1)$ to a commutative ring $(R,+,\cdot,1)$, where $G\subset R$ as a pointed abelian group, and which ...
12
votes
1answer
598 views

Are wild problems related to undecidable ones?

In representation theory, there is a well-known notion of a wild classification problem (such problems have been discussed often on this forum, for example, here). In logic, there is a notion of an ...
5
votes
2answers
416 views

adjoint of multiplication operator in a commutative algebra

Dan Popescu asked me the following question, and since I'm not an expert I'm throwing his question on MO. Suppose that $A$ is a finite-dimensional vector space over an ordered field $k$ with ...
0
votes
1answer
570 views

Does it make sense that “Representations of groups over finite ring” ?

I am an undergrad student who wants to know about the representation theory over arbitrary finite fields or finite rings of characteristic p (p a prime). (called modular representation theory.) In ...
3
votes
1answer
515 views

Is there a way to define a prime ideal object via diagrams in the category of rings?

I like to think in terms of commutative diagrams rather than referring to elements. So to me a group is really a group object, i.e. an object with some maps satisfying certain commutative diagrams. ...
2
votes
2answers
308 views

Algebra with positive definite symmetrizing trace is semisimple.

This is a follow-up question to When does a symmetric algebra over a field of characteristic 0 fail to be semisimple? Let $H$ be a symmetric algebra over $\mathbb{R}$ with symmetrizing trace ...
7
votes
1answer
481 views

When does the homological dimension of a tensor product equal the sum of dimensions?

The notion of dimension I prefer most is right global dimension, but the question can also be asked for other notions (e.g. weak dimension, injective dimension, Krull dimension). Letting $d$ be ...
1
vote
1answer
223 views

cohomology of generalized Verma modules and invariant operators

First, let me fix some notation. Let $\mathfrak{g}\_1$ be a semisimple Lie algebra and let $\mathfrak{p}$ be its parabolic subalgebra which induces the grading $\mathfrak{g} = {\mathfrak{g}}\_{-} ...
24
votes
1answer
745 views

Strong group ring isomorphisms

Background/Motivation Let $R$ be a commutative ring with unit. If $G$ is a finite (or in general, discrete) group, let $R[G]$ be the group $R$-algebra associated to $G$. The isomorphism problem for ...
4
votes
1answer
343 views

Is the functor of divided powers a weakly monoidal functor?

Let $R$ be a commutative ring with identity $e$. For every $R$-module $M$ the algebra of divided powers $D(M)$ is defined as follows. The generators of $D(M)$ are the symbolls $m^{(k)}$ for every ...
10
votes
2answers
1k views

A geometric reference for (affine) Gorenstein varieties and singularities

I would like to ask for a reference to some text that explains in relatively down to earth (if possible geometric) terms (for dummies) what is a Gorenstein singularity and Gorenstein variety (for a ...