All Questions
1,123 questions
1
vote
0
answers
139
views
Free monoids on posets
I've suddenly found myself working with some free monoids $F(S)$ in which the set $S$ is a poset, and the order extends to an order $F(S)$, satisfying
if (but not only if) $s_1, s_2, \ldots, s_r, t_1, ...
- 12.5k
1
vote
0
answers
210
views
Strongly graded rings
In Theorem 3.1 of Graded rings over arithmetical orders, the authors prove that for a strongly $\mathbb{Z}$-graded ring $R$, if $R_0$ is left and right Goldie and a maximal order in its (classical) ...
- 323
1
vote
0
answers
60
views
A list of low-dimensional associative $\mathbb{C}$-algebras with non-trivial centers
I am looking for a list of (examples of) low(est)-dimensional non-commutative associative unital $\mathbb{C}$-algebras $A$ with non-trivial centers $Z(A)$ (hence non-semisimple). For our purposes $Z(A)...
- 7,127
1
vote
0
answers
50
views
Separable nonassociative algebras
In his paper "Structure and Representation of Nonassociative Algebras", Schafer notes that an arbitrary nonassociative algebra over a field is separable "if and only if the ...
- 323
1
vote
0
answers
63
views
Maximal orders separable over their centre
Let $\mathcal{A}$ be a central simple $K$-algebra, where $K$ is an algebraic number field. It is known that $\mathcal{A}$ is separable over $K$ (following the definition of DeMeyer and Ingraham's book)...
- 323
1
vote
0
answers
83
views
What is known about the algebraic completion of a monoid?
It is the monoid obtained by adjoining all solutions of polynomial equations. I'll demonstrate how to adjoin a single solution to a polynomial equation to a monoid:
Let $W$ be a monoid and let $p(x)=q(...
1
vote
0
answers
231
views
Has an "algebraic manifold" been defined before? Are there any non-trivial examples?
Let $S$ be a set and $\cdot$ a partial binary operation on $S$. A subset $F\subseteq S$ is $\cdot$-closed if the following condition holds:
for all $f,g\in F$, if $(f,g)\in\mathrm{dom}(\cdot)$, then $...
1
vote
0
answers
102
views
What is the real name for the initial object in the category of "monoid-valued measures of intervals" on transitive relations?
(I'm not asking for a true/false answer; I have a true algebraic fact and I'm looking for a reference in the literature. By the way, there is a version of this theorem that replaces monoid with $R$-...
1
vote
0
answers
52
views
Is every cyclic right action of a cancellative invertible-free monoid on a set isomorphic to the set of shifts of some homography?
The terms are defined in a related question. [1]
Conjecture 1. Let $A$ be a set, $W$ a cancellative invertible-free monoid, and $\cdot\colon A\times W\rightarrow A$ a cyclic right $W$-action generated ...
1
vote
0
answers
71
views
terminology for a kind of two-sided module over a monoid
If $M$ is a monoid object in a pointed category $\mathcal{C}$, then a right $M$-module is an object $X$ equipped with a morphism $\alpha: X\times M\to X$ that satisfies the usual rules. There are ...
- 12.5k
1
vote
0
answers
355
views
On logarithmic schemes
I have two questions on logarithmic schemes
Can we explicitly construct a chart for any coherent logarithmic scheme? By definition of coherence it must have a chart but given a coherent sheaf of ...
- 494
1
vote
0
answers
60
views
Universal bimodule for homotopy biderivations
Recall the commutative story: for a commutative algebra $A$, its module of differentials $\Omega (A)$ is characterized by the universal property that any derivation $\delta \colon A \to M$ is in a ...
- 765
1
vote
0
answers
214
views
Shape of possible counterexamples to the Jacobian and Dixmier Conjectures
Let $k$ be a field of characteristic zero.
It is well-known, see for example Corollary 10.2.21, that if $(x,y) \mapsto (p,q) \in k[x,y]^2$ is a counterexample to the two-dimensional Jacobian ...
- 2,837
1
vote
0
answers
69
views
How exactly to adapt Brown's collapse from monoids to algebras?
In The Geometry of Rewriting Systems (Springerlink behind paywall), Kenneth Brown describes a method to collapse the bar resolution of a monoid. Roughly:
Given a simplicial set $X$ equipped with a ...
1
vote
0
answers
202
views
What is the normalized complex of a simplicial set with a monoid action?
This question is a follow up to this question I posted on Math.SE. I will make this question self-contained, though.
In a certain point on the paper The Geometry of Rewriting Systems, Kenneth Brown ...
1
vote
0
answers
132
views
Is the Upper Banach density always zero with respect to some sequence of Finite subset
The following question came to me while reading the paper 'Density in Arbitrary Semigroups' by Hindman and Strauss.
Question: Given an infinite subset $A$ of $\mathbb{N}$ such that $A^c$ is also ...
- 73
1
vote
0
answers
55
views
Schemes for conditional distributions (monads)
(Note: This is a heuristic question. I'm trying to work out if this idea makes sense. I don't have much background in this area, so apologies if I'm wide of the mark.)
Suppose you have a monad ...
- 121
1
vote
0
answers
111
views
When a semigroup ideal is a determinantal ideal?
Let $S=\langle n_1,...,n_r \rangle$ be a commutative semigroup, and let $I_S \subset k[x_1,...,x_r]$ the associated ideal of $S$, defined as the kernel of the polinomial map $\varphi:k[x_1,...x_n] \...
- 113
1
vote
0
answers
60
views
A variation on Dixmier's counterexample concerning centralizers in $A_1$
This question asks the following: "Suppose $k$ is a field of characteristic zero and $P$ and $Q$ are commuting elements of the first Weyl algebra. Is it true that $P$ and $Q$ are polynomials in some ...
- 2,837
1
vote
0
answers
40
views
Relation between left projections
Let $A$ be a Baer *-ring. Let $x$ be in $A$, $L(x)$ is the left projection of $x$ that is the smallest projection with $L(x)x=x$.
Q. Let $p,q$ are projections in $A$ with $p\leq q$. For a given ...
- 4,058
1
vote
0
answers
38
views
The statue of a sequence of finite projections
Let $A$ be a Baer $*$-ring. Let $\{p_n\}$ be a sequence of finite projections in $A$. True or false?
Suppose that there is no $N$ with $p_n=p_{n+1}$ for $n\geq N$. We have then $\inf_{1\leq n\leq ...
- 4,058
1
vote
0
answers
38
views
something concerning finite projections
Let $A$ be a Baer *-ring. Let $x$ be an isometry (meaning $x^*x=1$ where $1$ is the unit of $A$).
Let $e$ be a finite projection in $A$ such that $ex^ne=ex^n$ for every $n\geq0$.
Q. Can we say that ...
- 4,058
1
vote
0
answers
116
views
A generalized Cauchy type functional equation
Let $(S,+)$ be an abelian semigroup . Let $f:S \to \mathbb C$ be a function such that for some positive integer $n>1$, $f(x+y)^n=(f(x)+f(y))^n,\forall x,y \in S$.
Then is it true that $f(x+y)=f(x)...
- 1,209
1
vote
0
answers
67
views
Free module over $H$-module algebra
Let $H$ be a finite dimensional Hopf algebra, $R$ be a $H$-module algebra and $V$ be a finite dimensional $H$-module such that $R\otimes_{k} V$ is a finitely generated $R$ module under the action: $r.(...
- 383
1
vote
0
answers
82
views
What is known about the cohomology of the matrix monoid?
When I say the cohomology of a monoid, I mean that of its classifying space (considering the monoid as a category with a single object).
Let $M_n(R)$ be the monoid of matrices with matrix ...
- 1,726
1
vote
0
answers
75
views
partially commutative like monoids [duplicate]
Let $G$ be a simple graph with vertex $I$ and edge set $E$. I am defining $M(G)$ to be the quotient of the free monoid $I^*$ on $I$ by the relations $ab=ba$ and $c^2 = 1$ (empty word) whenever $\{a,b\}...
- 1,269
1
vote
0
answers
256
views
partially commutative monoid [closed]
Let $G$ be a simple graph with vertex $I$ and edge set $E$. I am defining $M(G)$ to be the quotient of the free monoid $I^*$ on $I$ by the relations $ab=ba$ and $c^2 = 1$ whenever $\{a,b\} \notin E(G)$...
- 1,269
1
vote
0
answers
255
views
Presentation of amalgamated sum as a quotient of the direct sum
I am currently reading Arthur Ogus' "Lectures on Logarithmic Algebraic Geometry" (https://math.berkeley.edu/~ogus/preprints/log_book/logbook.pdf).
I'm trying to understand why the amalgamated sum of ...
- 65
1
vote
0
answers
62
views
Invertibility under base change for the Weyl algebra instead of for the polynomial algebra
From Lemma 1.1.8, we obtain the following:
Assume that $R \subseteq S$ are commutative rings
and
$u: R[x,y] \to R[x,y]$ is an $R$-algebra endomorphism
that has an invertible Jacobian, namely,
$Jac(u(x)...
- 2,837
1
vote
0
answers
67
views
When is $R/Soc(R)$ reduced?
Let $R$ be a ring with identity. It is readily checked that when the quotient $R/S_r$ is reduced, the nilpotent elements of $R$ fall into $S_r$, where $S_r$ is the right socle of $R$. Is the converse ...
- 355
1
vote
0
answers
40
views
A exemple of a strongly-continuous contraction semigroup : how to prove the contraction?
I am trying to prove that $P_t := e^{\lambda t (P-I)}$ (where $Pf:= \int f(y) P(\cdot , dy)\in \mathcal{C}_0(\mathbb{R}^d)$, for $f\in \mathcal{C}_0(\mathbb{R}^d)$, $P$ being a probability kernel), is ...
- 111
1
vote
0
answers
29
views
Generating larger atoms from smaller ones in a simple $\text{C}_0$-monoid
Let $P$ be a finite set, $\mathscr F(P)$ the free abelian monoid with basis $P$ (which I'll write multiplicatively), $H$ a submonoid of $\mathscr F(P)$, and $\mathcal A(H)$ the set of atoms of $H$ (...
- 10.5k
1
vote
0
answers
127
views
Is there a (nontrivial) known example of an algebra over a complete regular local ring with the following property?
I am working on some algebras over complete regular local algebras. But I am not sure whether such rings are worth to study. I am looking for some examples of these algebras. Let $(R,\mathfrak{m})$ be ...
- 191
1
vote
0
answers
54
views
Any link between abelian $R/J(R)$ and 2-primal condition
Let $R$ be noncommutative unital ring such that each element of the quotient $R/Soc(R_R)$ is idempotent. If the nilpotent elements of $R$ form an ideal, is it true that the idempotents of $R/J(R)$ ...
- 355
1
vote
0
answers
58
views
A class of finitely generated semigroups
Let $G$ be a finitely generated group with a probability measure $\nu$. Suppose we have a finite first moment function $f:G\to \mathbb{R}$, i.e, such that $\Sigma_{g\in G}f(g)\nu(g)< \infty$. Then, ...
- 49
1
vote
0
answers
639
views
What is the real name of this relation and operation on a particular set of maps between cancellative monoids?
Let $A,B$ be cancellative monoids and define a transducer as a map $f\colon A \rightarrow B$ such that $f(1)=1$ and for all $a_1 ,a_2 \in A$, there exists a $b \in B$ such that $f(a_1 a_2)=f(a_1) b$. ...
1
vote
0
answers
99
views
Name for condition on map of cancellative monoids
Let $M,N$ be cancellative monoids with identity $\epsilon$ and suppose that $k\colon M\rightarrow N$ is a function such that
$k(\epsilon)=\epsilon$
for all $a,b\in M$, there exists $v\in N$ such that ...
1
vote
0
answers
199
views
Criterion for global dimension of subring
All rings are assumed to be associative and unital.
If $B$ is a commutative sub-ring of $A$ (which itself needs not be commutative) then what properties of $B$ are both necessary and sufficient for ...
- 5,405
1
vote
0
answers
103
views
Lower periodic subsets of groups and semigroups
Suppose that $A$ and $B$ are subsets of a group or semigroup. We call $A$ left
upper [resp. lower] $B$-periodic if $BA\subseteq A$
[resp. $A\subseteq BA$]. If $A$ is both left upper and
lower $B$-...
- 995
1
vote
0
answers
143
views
on reductive monoids which are gorenstein
Let $M$ a reductive monoid, i.e. a integral normal affine scheme, which is a monoid whose group of units is a connected reductive group.
By Rittatore http://www.cmat.edu.uy/cmat/docentes/alvaro/...
- 3,472
1
vote
0
answers
246
views
Global dimension of a subalgebra with all units
(All rings here are always assumed to be unital and associative).
Setup
Let $R$ be a ring, and $A$ and $B$ be $R$-algebras, with $A$ a commutative subalgebra of $B$ satisfying:
If $u$ is a unit in $...
- 5,405
1
vote
1
answer
200
views
Variety of factorizations of differential operator
Take differential operator as polynomial of letter $d$ with coefficients in some function field, where $d$ act by derivation in this function field. Call it a differential field. For simplicity let ...
- 23
1
vote
0
answers
306
views
Annihilator ideals
For an ideal $I$ of a ring $R$ with identity, let $r(I)=\{r\in R: Ir=0\}$ and $l(I)=\{r\in R: rI=0\}$.
Question: If for any two ideals (two-sided ideal) $I, J$ of $R$, we have $l(I)+l(J)=l(I\cap J)$, ...
- 192
1
vote
0
answers
63
views
Does Castelnuovo-Mumford regularity hold for this $\mathbb{C}$-algebra$?
Let $R$ be a noncommutative finitely generated $\mathbb{C}$-algebra such that its center $S$ is smooth (in commutative sense) and $R$ is finite over $S$. Is there Castelnuovo-Mumford regularity ...
- 1,663
1
vote
0
answers
86
views
Finite dimensional consistently graded Lie superalgebras of depth greater than 2
Victor Kac, in the paper
"Classification of infinite-dimensional simple linearly compact Lie superalgebras", http://www.mat.univie.ac.at/~esiprpr/esi605.pdf
writes at the beginning of section 5 (p....
- 971
1
vote
0
answers
688
views
The sum of a nilpotent left ideal and a nil left ideal
In class, we recently saw that the sum of 2 two-sided nil ideals is a nil ideal. We were asked to show that the sum of a niplotent left ideal and a nil left ideal is a nil left ideal.
I am having ...
- 45
1
vote
2
answers
126
views
Upper triangular $2\times2$-matrices over a Baer *-ring
Let $A$ be a Baer $*$-ring. Let us denote $B$ by the space of all upper triangular matrices
$\left(\begin{array}{cc}
a_1& a_2 \\
0 & a_4
\end{array}\right)$ where $a_i$'s are in $A$. Is $B$ ...
- 4,058
0
votes
3
answers
1k
views
non-associative but commutative algebra [closed]
Is it possible(or may be easier) to give an example of non associative algebra but commutative?
At first sight, it seems possible to prove associativity from commutativity but later realised it may no ...
- 629
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 ...
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 ...
- 481