3
votes
1answer
117 views

What is a degenerate Legendre Transformation?

I am studying the Lagrangian and Hamiltonian description of some dynamical systems. The problem with this description of the particular kind of systems I am studying, is that the Legendre ...
5
votes
1answer
235 views

Noncommutative HKR theorem

What is the analog of HKR theorem in the noncommutative world? Recall that the well-known theorem by Hochschild-Kostant-Rosenberg says that for a smooth commutative algebra $A$ of finite type ...
2
votes
1answer
140 views

Vertices of a polytope as algebra generators

I am wondering if the following kind of objects has some name, or are there any studied examples. I apologize for perhaps too specific definition, this is an adoptation of a situation that arises in ...
2
votes
1answer
273 views

How to define a generating subset for algebra in a category?

As is well known, the definition of an monoid can be generalised to the notion of a monoid $A$ in a monoidal category $C$ (see the n-lab entry here). What I would like to know is if the notion of ...
3
votes
1answer
119 views

What do epimorphisms in noncommutative rings look like?

The question I want to ask is inspired by this mathoverflow post about epimorphisms in the category of commutative rings. I found the seminar (by P. Samuel) referenced by David Rydh particularly ...
5
votes
1answer
179 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 ...
4
votes
0answers
111 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
63 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
142 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
166 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
330 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
240 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
176 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
85 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
163 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
130 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
323 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
132 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
284 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
106 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
83 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
69 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
430 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
271 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
108 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
193 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
124 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: ...
10
votes
4answers
451 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
275 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
207 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
988 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
196 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
403 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
128 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
174 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
364 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
532 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
286 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
816 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
492 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
615 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
422 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
590 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
533 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
315 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 ...