# Tagged Questions

**3**

votes

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

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

**0**answers

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

**5**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**2**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**3**answers

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

**1**answer

139 views

### Algorithmically finite-dimensional (noncommutative) algebras.

Can anyone help to find some information about these structures?

**4**

votes

**2**answers

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

**0**answers

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

**1**answer

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

**2**answers

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

**0**answers

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

**4**answers

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

**3**answers

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

**2**answers

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

**0**answers

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

**2**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**0**answers

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

**1**answer

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

**2**answers

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

**2**answers

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

**1**answer

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

**1**answer

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

**2**answers

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

**1**answer

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

**2**answers

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

**1**answer

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

**1**answer

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

**2**answers

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 ...