All Questions
1,123 questions
7
votes
3
answers
525
views
Is the class of inverse semigroups globally determined?
This question is a follow-up to this one I asked on math.stackexchange. I've decided to ask here because I believe this is a research-level question. I'm sorry if I'm wrong -- I'm not a researcher ...
- 10.5k
5
votes
0
answers
305
views
Arithmetic derivatives and non-commutative generalizations
In the theory of arithmetic derivatives, in the simplest case an arithmetic derivative on $\mathbb{N}$ is defined via the rule $(a \times b)'= a \times b' + a' \times b$, mirroring the product rule ...
- 1,347
2
votes
1
answer
194
views
Continuity of Moore-Penrose generalized inversion
Any matrix $A\in\mathbb{C}^{m\times n}$ has a unique generalized inverse $A^{\dagger}\in\mathbb{C}^{n\times m}$ with the properties $$AA^{\dagger}A=A,\qquad A^{\dagger}AA^{\dagger}=A^{\dagger},\qquad (...
- 63.9k
5
votes
0
answers
135
views
Confusion around a (necklace) cobracket in Ginzburg's article Calabi-Yau Algebras
Something has been puzzling me for quite a while in Ginzburg's article Calabi-Yau Algebras.
At some point he considers the free graded algebra $\mathbb{C}\langle x_1, \dots, x_n, \theta_1, \dots \...
- 437
1
vote
3
answers
450
views
Smooth affine algebras are Calabi-Yau
Are all smooth affine algebras over a field Calabi-Yau?
I'm thinking yes since they satisfy Van den Bergh duality with dualizing module themselves (have I made a mistake in this reasoning)/
- 63.9k
2
votes
1
answer
271
views
Apropos of two groups being globally isomorphic iff they are isomorphic
Denote by $\mathcal P(S)$ the semigroup obtained by endowing the non-empty subsets of a "ground semigroup" $S$ (written multiplicatively) with the operation of setwise multiplication induced ...
- 10.5k
0
votes
1
answer
152
views
Name for a monoid on the basis of a vector space?
Is there a name for the structure of a vector space with a monoid defined on its basis?
Given a vector space V over a field F, we can choose a basis and define a monoid on it. Now we can use each ...
- 63.1k
0
votes
1
answer
327
views
Can we generalise groupoids to monoid-oids? [closed]
Groups correspond to one object categories where every morphism is an isomorphism. Monoids correspond to one object categories.
Groupoids correspond to small categories where every morphism is an ...
- 48.8k
21
votes
1
answer
638
views
Grothendieck group of the Fibonacci monoid
Let's denote the Fibonacci numbers by $F_0=0,F_1=1,F_{n+2}=F_{n+1}+F_n \; \forall n \ge 0$. According to Zeckendorf's theorem, every positive integer can be represented uniquely as the sum of some (at ...
- 28.7k
2
votes
1
answer
265
views
Gluing data for modules over a ring with idempotents
Let $A$ be a ring. If $e$ is an idempotent, then there is an abelian recollement involving the categories $A\text{-}\mathrm{Mod}$ and $eAe\text{-}\mathrm{Mod}$. This is Example 2.7 in Homological ...
2
votes
1
answer
117
views
Primal identity in matrix semigroup
Given a finite set of matrix $\{M_1,M_2,\cdots,M_n\}\subseteq \mathbb{C}^{d\times d}$, we consider the semigroup generated by matrix product.
We call $s_1\cdots s_k$ an identity index if
$M_{s_1}M_{...
- 12.9k
5
votes
0
answers
293
views
On the deformation theory of associative algebras
Let us start by recalling the notion of a formal deformation:
Let $K$ be a field of characteristic zero and $A$ be an associative $K$-algebra. Consider a commutative augmented $K$-algebra $R$, with ...
- 541
5
votes
2
answers
478
views
Generalization of the concept of a measure
Consider the following generalization of the concept of a measure:
Let $L = (X, \lor, \land, \bot)$ be a semi-bounded lattice.
Let $M = (Y, \bullet, e)$ be a commutative monoid.
An $(L, M)$-measure is ...
- 41.1k
1
vote
1
answer
165
views
Polynomial identities satisfied by the Weyl algebra in prime characteristic
The rank $n$ Weyl $A_n(\mathsf{k})$ algebra over a field $\mathsf{k}$ of zero characteristic does not satisfies any polinomial identity. If it were a PI-algebra, Kaplansky theorem would apply (since ...
- 398
4
votes
1
answer
270
views
Kaplansky inverse element theorem on group C-star algebra
In a class talking about $C^*$ algebra and (higher) index theory, I heard a theorem
(related to Kaplansky, proved?), that is
Suppose $\Gamma$ is a group (admitting Haar measure if necessary) while $\...
- 193
2
votes
1
answer
267
views
Existence of finite dimensional representation of an algebra
Let $m>1$ be an integer and let $A$ be the algebra generated by the elements
$\{u^i_j,v^i_j,\bar{u}^i_j, \bar{v}^i_j| 1\leq i,j\leq m\}$ quotient over the relations
\begin{eqnarray}
u^i_j v^k_l&...
CommunityBot
- 1
2
votes
0
answers
144
views
Zero divisors in the extra-special group algebra $\mathbb{R}[2^{1+6}_+]$
Can you characterize the unit-group of the real group-algebra of the extraspecial plus-type 2-group of order 128? (That is $\mathbb{R}[2_+^{1+6}]$ using Conway's notation.)
(Please choose any irrep ...
- 63.9k
3
votes
0
answers
176
views
The monoid of stably-free modules over integral group rings
Fix a torsion-free group G, let $M_G$ be the monoid of stably-free $\mathbb{Z}G$-modules under operation $\oplus$, the direct sum of modules.
In studying objects related to Wall’s D2 problem on CW-...
- 187
2
votes
1
answer
116
views
On the maximum elements of a numerical semigroup that have order between $n$ and $2n$
Let $S$ be a submonoid of the non-negative integers $\mathbb Z_{\geq 0}.$ If $\mathbb Z_{\geq 0} \setminus S$ is finite, we say that $S$ is a numerical semigroup. Let $S^*$ denote the collection of ...
CommunityBot
- 1
6
votes
0
answers
259
views
Usefulness of total algebras and exotic generating series
In his first Algebra volume, Bourbaki [1] defines the structure of a “total algebra” i.e. the space of functions on a monoid $M$ (to a ring $k$) with the convolution product ( a function $f:\ M\to k$ ...
- 3,738
2
votes
0
answers
71
views
Classification of polynomials leading to finite dimensional admissible algebras
Let $K \langle x , y \rangle $ ($K$ a field, we can assume it has only two elements if it helps) be the non-commutative polynomial ring in 2 variables.
Question 1: For which non-commutative ...
- 26.5k
24
votes
2
answers
3k
views
What properties "should" spectrum of noncommutative ring have?
There are already a lot of discussion about the motivation for prime spectrum of commutative ring. In my perspective(highly non original), there are following reasons for the importance of prime ...
- 8,435
7
votes
1
answer
183
views
Is lambda calculus polymorphism a type of generalized monad?
Let $\mathbf{C}$ be a Cartesian closed category. Then simply typed lambda calculus in $\mathbf{C}$ in one type variable can be interpreted as a category $\mathbf{STLC}_{\mathbf C}$ where the objects ...
- 12.9k
5
votes
2
answers
332
views
Questions on weakly symmetric algebras
A finite dimensional algebra $A$ over a field $K$ is called weakly symmetric in case $soc(P)=top(P)$ for every indecomposable projective module $P$ and it is called symmetric in case $D(A) \cong A$ as ...
- 16.2k
1
vote
0
answers
86
views
Inner product on Standard form of von Neumann algebra
Let $(M, H, H_+,J)$ be a standard form of a von Neumann algebra $M$ acting on a complex Hilbert space $H$ endowed with a self-dual cone $H_+$. Is it true that
$$\langle x,yz\rangle=\langle zx,y\rangle$...
- 131
2
votes
0
answers
176
views
On the origin of power semigroups
Let $S$ be a (multiplicatively written) semigroup. Equipped with the (binary) operation of setwise multiplication $(X, Y) \mapsto \{xy \colon x \in X, \, y \in Y\}$, the family of all non-empty ...
- 10.5k
8
votes
3
answers
1k
views
Are all free monoids residually finite?
I cannot manage to prove that a free monoid with operation concatenation, and with at least two generators is residually finite. If there is just one generator, the free monoid $\{a\}^*$ is isomorphic ...
6
votes
2
answers
438
views
Grouplike and idempotent monoids
Call a monoid group-like if it embeds into its group completion. There exists an obvious tension between group-like and idempotent monoids in that a group cannot contain non-trivial idempotent ...
1
vote
1
answer
87
views
Semigroup algebras with one dimensional center
Let $S$ be a finite semigroup and $K$ a field of characteristic 0 (we can assume the complex numbers for simplicity).
Question: Is there a characterization when the center of the semigroup algebra $...
- 38.6k
1
vote
1
answer
129
views
Cycles in almost breakable semigroups
Last October, I learned from Benjamin Steinberg's answer to another question of mine that a semigroup $S$ is called breakable if $xy \in \{x, y\}$ for all $x, y \in S$. Let's now say that $S$ is an ...
- 10.5k
4
votes
0
answers
80
views
Indecomposable injectives over Weyl algebras
Let $A=A_n(\mathbb{C})$ be the $n$-th Weyl algebra over the complex field. Then $A$ is a left Noetherian noncommutative ring. Is there a complete classification of indecomposable injective $A$-modules?...
- 615
6
votes
3
answers
393
views
Structure theorem for a class of idempotent monoids (where $xy = x$ or $xy = y$ for all $x, y$)
Question. Is there any structure theorem for the class of monoids $H$ with the property that $xy = x$ or $xy = y$ for all $x, y \in H$? Or does this look hopeless for some good reasons?
A monoid with ...
- 10.5k
28
votes
5
answers
9k
views
Can a quotient ring R/J ever be flat over R?
If $R$ is a ring and $J\subset R$ is an ideal, can $R/J$ ever be a flat $R$-module? For algebraic geometers, the question is "can a closed immersion ever be flat?"
The answer is yes: take $J=...
- 6,367
0
votes
0
answers
63
views
A construction that sort of merges two semigroups to build a new one
Suppose $H$ and $K$ are semigroups and assume without loss of generality that (the underlying sets of) $H$ and $K$ are disjoint. We can then extend the operations of both $H$ and $K$ to a binary ...
- 10.5k
2
votes
0
answers
111
views
Correct notion of "connected" for dga of bundle-valued forms
Consider a vector bundle $E$ over a manifold $M$ with flat connection, $\nabla$. From this data I can form the associative/unital differential graded algebra $\mathcal{A} = \left(\Omega^{\bullet}(M, ...
- 1,611
8
votes
0
answers
354
views
Rough paths, unparametrized path space, and Kontsevich's moduli space of stable maps
Let $X$ be a manifold. Modulo reparametrization, the path space of $X$ is a groupoid $\Pi_X$. In Kapranov's "Free Lie Algebroids and the Space of Paths", Kapranov constructs an associated ...
- 1,904
0
votes
0
answers
122
views
Is there a name for this condition on a monoid?
Suppose we have a commutative monoid ${\mathcal M}=\langle M,\otimes\rangle$ such that the usual divisibility relation $\leq_\otimes$ given by $a\leq_\otimes b\Leftrightarrow \exists c(a\otimes c=b)$ ...
- 5,429
4
votes
1
answer
151
views
Three preprints and one manuscript of Tamura on power semigroups
I'm reading Takayuki Tamura's article "On the recent results in the study of power semigroups", pp. 191-200 in Goberstein & Higgins' Semigroups and Their Applications, Kluwer, 1987 (the ...
- 188k
1
vote
1
answer
182
views
A question about surjective maps between quadratic algebras
Let $V$ be a finite-dimensional vector space and
$$
U \subseteq W \subseteq V \otimes V
$$
be a proper inclusion of vector subspaces. Then take the tensor algebra
$$
T(V) = \bigoplus_{i=1}^{\infty} V^{...
- 4,600
1
vote
0
answers
35
views
Number of right divisors of a central skew polynomial
Let $\mathbb{F}$ be a finite field of $p$ elements, $\sigma \in \operatorname{Aut}(F)$ of order $m$, $\mathbb{F}^\sigma$ be the fixed field of $\sigma$, and $\mathbb{F}[x,\sigma]$ be a skew polynomial ...
- 323
78
votes
12
answers
12k
views
Why aren't representations of monoids studied so much?
It seems to me like every book on representation theory leaps into groups right away, even though the underlying ideas, such as representations, convolution algebras, etc. don't really make explicit ...
- 39
6
votes
1
answer
259
views
are endomorphisms "small" compared to the full transformations?
$\DeclareMathOperator\End{End}$Let $T_n$ be the full transformation semigroup/monoid of $[n]=\{1,\dots,n\}$. Let $\End(T_n)$ be the set of [endomorphisms][1] of $T_n$. Then, $\# T_n=n^n$ and
$$\# \End(...
- 63.9k
3
votes
0
answers
151
views
Extension of work by Novelli and Thibon on noncommutative symmetric functions and Lagrange inversion
(Edit May 12, 2023: I just put up a brief summary of some of my notes on the partition polynomials described below in my WordPress mini-arXiv at "As Above, So Below". It contains multinomial ...
- 10.5k
4
votes
1
answer
146
views
When is semigroup algebra local?
Let $G$ be a finite semigroup (or monoid if that helps) and $K$ a field.
Question: When is the semigroup algebra $KG$ local?
Here local means that there is a unique maximal right (or left) ideal.
...
- 38.6k
5
votes
0
answers
843
views
Chinese remainder theorem
For non-commutative rings, we have this generalization of the Chinese remainder theorem (CRT).
I wonder if there is another statement involving only left or right ideals;
do you know any?
- 47.3k
6
votes
1
answer
393
views
Algebra generated by transformation matrices
Let $T_n$ be the full transformation monoid of an $n$-set $N_n$ with elements 1,...,n consisting of all functions $f: N_n \rightarrow N_n$.
We can associate to each function $f$ a matrix $M_f$ in the ...
- 18.4k
5
votes
1
answer
152
views
Cartan matrix of the full transformation monoid ring
Let $T_n$ be the full transformation monoid of an $n$-set and $A_n=KT_n$ its monoid algebra over the complex numbers.
Question 1: Is the Cartan matrix of $A_n$ known? Im especially interested to see ...
- 26.5k
2
votes
1
answer
174
views
Understanding the picture of monoidal space
Ogus in his slides https://math.berkeley.edu/~ogus/preprints/colloqhandout.pdf presents the following picture of a monoidal space $\operatorname{Spec}(\mathbb{N} \longrightarrow \mathbb{C}[\mathbb{N}])...
- 1,349
4
votes
0
answers
105
views
Convolution algebra of a simplicial set
Consider a simplicial set $X^\bullet$ with face maps $d_i$ (assume the set is finite in each degree so there are no measure issues). Then given two functions $f,g:X^1\to \mathbb{C}$ one can form their ...
- 1,198
1
vote
0
answers
69
views
Structure of tame concealed algebra of Euclidean type
I wanted to know some references where people have studied the representation theory of tame concealed algebra of Euclidean type. What do we know about the structure of their module category? What ...
- 839