All Questions
393 questions with no upvoted or accepted answers
3
votes
0
answers
75
views
Are the automorphisms of the power semigroup of a cancellative semigroup cardinality-preserving?
Let $S$ be a semigroup (written multiplicatively) and $f$ be an automorphism of the power semigroup $\mathcal P(S)$ of $S$, that is, a bijective function on the family of all non-empty subsets of $S$ ...
- 10.5k
3
votes
0
answers
103
views
An isomorphism problem for semigroups of ideals
An ideal of a semigroup $S$ (written multiplicatively) is a set $I \subseteq S$ such that $IS$ and $SI$ are both contained in $I$ (here, $XY$ means, for all $X, Y \subseteq S$, the setwise product of $...
- 10.5k
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
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
3
votes
0
answers
161
views
Making the powerset into a topological monoid
Every monoid $X$ induces a monoid structure $\circledast$ on $\mathcal{P}(X)$ via
$$U\circledast V := \{uv\ |\ u\in U,v\in V\}.$$
Moreover, a morphism of monoids $f\colon X\to Y$ induces a morphism of ...
- 11.8k
3
votes
0
answers
156
views
Closure of the inverse image under the projection map
Let $S$ be a subsemigroup of a semitopological semigroup $(T,+)$, let $e$ be an idempotent in $T\setminus S$ such that $e\in cl_T(S)$, let $\mathcal{E}$ be a subsemigroup of $S\times S$ such that $(e,...
- 85
3
votes
0
answers
76
views
The existence of an idempotent in some special semigroups
Problem. Does a semigroup $S$ have an idempotent, if there exist elements $b\in S$ and $a_1,\dots,a_n\in S$ such that $b\in \bigcup_{i=1}^na_ixSxa_i$ for every $x\in S$?
What is the answer to this ...
- 41.9k
3
votes
0
answers
31
views
Compactness of the minimal ideal of a compact Hausdorff polytopological semigroup
A semigroup $X$ endowed with a topology is called
$\bullet$ a topological semigroup if the semigroup operation $X\times X\to X$ is continuous;
$\bullet$ a semitopological semigroup if for every $a,b\...
- 41.9k
3
votes
0
answers
109
views
Noncommutative group schemes corresponding to quantum groups
I'm not an expert on quantum groups by any stretch, so forgive me if this question seems overly naive. That said, I was wondering if there is a way (or if there has been any attempt in the literature) ...
- 1,516
3
votes
0
answers
174
views
On continuous seminorms on Fréchet-Stein algebras
Let $K$ be a discretely valued complete non-archimedean field and $U$ be a left Fréchet-Stein algebra as defined in Algebras of p-adic distributions and admissible representations, with a Fréchet-...
- 541
3
votes
0
answers
317
views
How to go from primitive idempotents in $\text{End}_A(M)$ to primitive idempotents in $A$?
Let $K$ be a large enough finite field, let $A$ be a finite-dimensional $K$-algebra.
Moreover, let $M$ be a finitely generated $A$-module and let $M = M_1\oplus ... \oplus M_n$ be a decomposition of $...
- 1,755
3
votes
0
answers
88
views
Explicit separability idempotent for the center of a separable algebra
Let $A$ be a $k$-algebra for some commutative ring $k$. Recall that $A$ is said to be separable over $k$ if the multiplication map $A\otimes_k A^{\operatorname{op}}\to A$ has a section as a map of $A\...
- 15.9k
3
votes
0
answers
62
views
Image of the reduction of a maximal order in a central simple algebra over $\mathbb Q$
Suppose $A$ is a $n^2$-dimensional central simple algebra over $\mathbb Q$, and $O_A$ is an maximal order of $A$.
Choose a finite place $p$ such that $A \otimes \mathbb Q_p \cong M_n(\mathbb Q_p)$. ...
- 6,622
3
votes
0
answers
398
views
Bi-differential operators in the definition of star product in deformation quantisation
Let $X$ be an (affine) Poisson variety (not necessarily smooth) over an algebraically closed field of characteristic 0 (such as $\mathbb{C}$), denote $\mathcal{O}(X)$ its ring of functions and $\{-,-\}...
- 367
3
votes
0
answers
224
views
Central division algebras over $ \mathbb{Q} $
Quaternions over $ \mathbb{Q} $ are an example of a Central Division algebra over $\mathbb{Q} $ for which the basis elements $\{ i,j,ij \} $ other than $1$ are represented by skew-symmetric matrices ...
- 923
3
votes
0
answers
234
views
Hurwitz–Radon problem for $ \mathbb{Q} ^{n} $
What is the maximal number of orthogonal operators $ A _{1} , \dotsc, A _ {m} $ in $ \mathbb{Q}^{ n } $ satisfying the relations $ A_{i}^{2} = - I $ and $ A_{i}A_{j} + A_{j}A_{i} = 0 $ for $ i \neq ...
- 923
3
votes
0
answers
134
views
Partial orders on $\mathbb{N}^m$ compatible with addition
I'm looking for a classification (or just non-trivial examples) of partial orders on monoid $\mathbb{N}^{m}$ that are compatible with addition. That is, partial orders $\leq$ satisfying two additional ...
- 645
3
votes
0
answers
81
views
Size of the kernel (minimal ideal) of a finite semigroup
Let $A$ be an irreducible nonnegative $N\times N$ integer matrix with constant row sum $D$. Let $A_1, \dots, A_D$ be nonnegative integer matrices, each with constant row sum $1$, such that $\sum_k A_k ...
- 695
3
votes
0
answers
197
views
Cuntz semigroups of basic C*-algebras
I am doing some research related to Cuntz semigroups, and I am trying to find concrete examples in simple cases. In one paper that I found, it says the following (p.103):
"[...] $A_i$ is ...
- 285
3
votes
0
answers
79
views
The type number of an algebra
I've been reading On the existence of maximal orders, by C.F. Yu, in which he discusses maximal $R$-orders in semisimple algebras over a field $K$, where $R$ is a Noetherian integral domain and $K = \...
- 323
3
votes
0
answers
163
views
Classifying spaces of amalgamated topological monoids
Let $\mathsf{Top}_*$ be the category of well-based spaces and $\mathsf{TopMon}$ the category of topological monoids. Recall the James construction $\mathcal{J}:\mathsf{Top}_*\to \mathsf{TopMon}$ which ...
- 1,623
3
votes
0
answers
244
views
On the Gelfand-Kirillov Conjecture
The base field $k$ is of zero characteristic.
Notation: $A_{n,s}(k):= A_n(k(x_1,\ldots,x_s))$, the Weyl agebra over a purely transcedental extension of the base field; $F_{n,s}(k)$, the Weyl field, is ...
- 3,318
3
votes
0
answers
86
views
A graded version of the Koethe conjecture
The most straightforward graded version of the Koethe conjecture would seem to say that the result of summing of two graded-nil ideals produces a graded-nil ideal. Here, graded-nil means having all ...
- 17.6k
3
votes
0
answers
83
views
Cancellativity of a particular $2$-generated monoid presented by an infinite number of relations
Let $X = \{x, y\}$ be a two-element set, and let $H$ be the monoid defined by the presentation
$$
\langle x, y \mid x y^k x = y x y^{k+1} x y, \text{ for } k = 0, 1, 2, \ldots\rangle.
$$
That is, $H$ ...
- 10.5k
3
votes
0
answers
40
views
Closest generators for matrix algebra which is not semisimple
Given a collection of $n$ commuting $n \times n$ matrices $A_1, \dots, A_n \subset M_n (\mathbb{R})$ which generate a semisimple algebra $\mathcal{A}$, I am interested in finding matrices $E_1, \dots, ...
- 131
3
votes
0
answers
72
views
Splitting of central simple algebras in the Schur subgroup over residue fields of places
Recall that a valuation domain of a field extension $K/k$ is a $k$-subalgebra $V$ of $K$ not equal to $K$ such that for every $a\in K$ at least one of $a$ and $a^{-1}$ is in $V$.
A place of $K/k$...
3
votes
0
answers
93
views
Is a specific endomorphism of $A_1$ an automorphism?
Let $k$ be a field of characteristic zero, and let $A_1(k)$ be the first Weyl algebra, namely, the associative non-commutative $k$-algebra generated by $x$ and $y$ subject to the relation $yx-xy=1$.
...
- 2,837
3
votes
0
answers
80
views
On the compactification of partial semigroups
We begin by introducing some relevant definitions.
Definition: A $\textit{partial semigroup}$ is a pair $(S,.)$ where $.$ maps a subset of $S \times S$ to $S$ and for all $a,b,c \in S, (a.b).c=a.(b.c)...
- 745
3
votes
0
answers
169
views
Hochschild homology and Chern character quiver with potential
I am a beginner in quiver theory so this question might not be suitable for mathoverflow.
Let $(Q,W)$ be a quiver with potential and let $\Gamma$ be the Ginzburg DG-algebra associated to $(Q,W)$. Is ...
- 7,300
3
votes
0
answers
134
views
Language representation problem regarding non-commutative, non-associative algebras
Consider a sentence as a series of words with an associated set of labels that tell one how information is passed through the sentence - examples include combinatory categorical grammars or Lambek ...
- 149
3
votes
0
answers
92
views
Is the elasticity of a submonoid of the free abelian monoid over a finite set either rational or infinite?
Let $P$ be a finite set, $\mathscr F(P)$ the free abelian monoid with basis $P$, and $H$ a submonoid of $\mathscr F(P)$.
Given $x \in H \setminus \{1_H\}$, we let $\mathsf L_H(x)$ be the set of all $...
- 10.5k
3
votes
0
answers
65
views
Intersections of generating sets of subalgebras
Let $A$ be a finitely generated, finitely presented, Noetherian, unital algebra over the complex numbers, which has no zero divisors. We do not assume that $A$ is commutative however.
Moreover, let $...
3
votes
0
answers
79
views
Semigroups containing an ideal with a local identity
I'm looking for some classes of semigroups containing a (proper) ideal with a local identity (i.e., ideal submonoid). Can somebody give some examples or/and theorems for the followings cases:
(a) ...
- 995
3
votes
0
answers
137
views
Can monoids of "continuous words" be realized as initial monoid objects?
Whenever $X$ is a set, write $X^*$ for the monoid freely generated by $X$. The elements of $X$ are, of course, words in the letters $X$. When $X$ is finite, there also seems to be a great many ...
- 3,793
3
votes
0
answers
72
views
Reference request: Hecke agebra over non-commutative rings
I think the title sums it up quite well: Is it a useful idea to define the Iwahori-Hecke algebra over a non-commutative $k$-algebra? If so, what shape should the relations attain?
Bonus question: ...
- 281
3
votes
0
answers
47
views
Counting the monic atoms $f$ in the semiring $\mathbf N[x]$ with $f(0)=1$, bounded coefficients, and degree $k$ (in the limit as $k \to \infty$)
Let $H$ be the multiplicative monoid of the (usual) semiring of polynomials in one variable $x$ with coefficients in $\mathbf N$. Given $\alpha, k \in \mathbf N$, denote by $\mathcal A_k(\alpha)$ the ...
- 10.5k
3
votes
0
answers
115
views
The group of automorphisms and anti-automorphisms of the first Weyl algebra
Let $k$ be a field of characteristic zero, and let $A_1=A_1(k)$ be the first Weyl algebra.
It is well known (first proved by Dixmier, if I am not wrong) that the group of automorphisms of $A_1$, ...
- 2,837
3
votes
0
answers
110
views
Distributive lattices -> left regular bands -> Atomistic lower semimodular lattices
Consider the following construction : let $(L,\vee,\wedge)$ be a finite distributive lattice, and let $(\mathrm{Int}(L),\star)$ be the monoid defined on the set of non empty intervals of $L$
$$\mathrm{...
- 2,751
3
votes
0
answers
96
views
Given a primitive finite set $A\subseteq\bf N$ with $0\in A$, find two more primitive sets $B,C\subseteq\bf N$ with $B\ne C$ and $A+B=A+C$
Let $\mathcal P_{{\rm fin},0}(\mathbf N)$ be the monoid of all finite subsets of $\mathbf N$ containing $0$ with the operation of set addition
$$
(X, Y) \mapsto X + Y := \{x+y: x \in X \text{ and }y \...
- 10.5k
3
votes
0
answers
92
views
On the eventually regular monoids and generally regular monoids
Planning the problem:
First we give some definitions.
An element $s \in S$ is called eventually regular if for every $s \in S$ there exist a natural number $n$ in $\mathbb{N}$ and $x
\in S$ such ...
- 601
3
votes
0
answers
314
views
Certain conditions on cancellative semigroups
This is extracted from this question following Benjamin Steinberg's suggestion.
For a semigroup $S,$ let $P(S)$ denote the power semigroup of $S,$ which is made up of all non-empty subsets of $S$ ...
- 1,445
3
votes
0
answers
126
views
dual composition of binary relations
I'm not sure if this is of any interest at all, but I spent some time looking at it a couple of years ago so I'd like to ask for input on this.
Given two binary relations $\rho,\,\sigma$ on a set $X,$...
- 1,445
3
votes
0
answers
141
views
Non-finitely based varieties and pseudovarieties
The variety of semigroups defined by $B=\Big\{(x^py^p)^2=(y^px^p)^2:p \text{ is prime}\Big\}$ is non-finitely based (Isbell, 1970). Is the pseudovariety defined by $B$ also non-finitely based?
More ...
- 563
3
votes
0
answers
303
views
Pseudomodules, "general coherence theorem"
A pseudomonoid is defined within a monoidal bicategory. It is like a monoid in a monoidal category except that the usual axioms hold up to coherent invertible 2-cells. Pseudomonoid is like a monoidal ...
- 2,312
3
votes
0
answers
174
views
Number of k-generated semigroups
Given some $k>1$, I am interested in the number of $k$-generated semigroups of order $n$ (either up to isomorphism or all associative binary operations on an n-element set). At first I thought $3$-...
- 53
3
votes
0
answers
269
views
Computing the Abelianization of an Automorphism Group
Setup: We are working in a Henselian local ring $(R, \mathfrak m, k)$ that way may assume is Cohen-Macaulay, admits a canonical module and is of finite type (so is an isolated singularity). Let $M_1,...
- 161
3
votes
0
answers
107
views
Hindman's theorem variant for noncommutative semigroups
The well set proof of Hindman's finite sums theorem applied to noncommutative semigroups yields a sequence of elements such that finite products ordered coherently with this sequence are in one set. ...
- 31
3
votes
0
answers
191
views
What are the enforceable models of local artinian rings?
I was reading Hodges' "Model Theory" Chapter 8 a propos existentially closed models of $\forall_2$ theories in a countable first order language $L$. He extends the proof of the omitting type theorem ...
3
votes
0
answers
166
views
A question of terminology - Unitizations of semigroups
There are at least two standard ways of unitizing a (small) semigroup $\mathbb A$:
(i) We add an identity regardless that $\mathbb A$ is already unital.
(ii) We add an identity only if none is ...
- 10.5k
3
votes
0
answers
197
views
AS Cohen Macaulay algebras and dualizing complexes
Let $A$ be an $\mathbb N$-graded algebra such that $A_0 = k$ is a field. This are usually called graded connected algebras.
One can define a torsion functor with respect to the ideal $\mathfrak m = \...
- 651