All Questions
6,056 questions
1
vote
0
answers
65
views
There is a ring with multiplication. Can we find a formula for division based on formula for multiplication?
Studying divergent integrals, I found a good formula for their multiplication:
$\int_0^\infty f(x)dx\cdot\int_0^\infty g(x)dx=\int_0^\infty D^2 \Delta^{-1} \left(\Delta D^{-2}f(x)\cdot\Delta D^{-2}g(x)...
- 10.1k
1
vote
0
answers
119
views
Commutative monoid gradings via group scheme actions
$\newcommand{\Spec}{\mathrm{Spec}}$Recall the following result, proved in Section 2.9 of Neil Strickland's Formal schemes and formal groups, and in Lemma 1.3.2 of Eric Peterson's Formal Geometry and ...
- 11.8k
1
vote
0
answers
64
views
Resolvent is minimal polynomial for universal splitting algebra
Given a degree $n$ monic $f\in A[x]$ write $\mathrm{Split}_Af$ for its universal splitting algebra, constructed by taking the quotient of $A[x_1,\dots ,x_n]$ by the Vieta formulas. This is the initial ...
- 10.5k
1
vote
0
answers
642
views
Factoring $N$ given a solution to $x^2 + y^2 \equiv 0 \pmod{N}$
Let $N$ be a composite integer, and suppose we are given a randomly generated solution $(x, y)$ of the equation $x^2 + y^2 \equiv 0 \pmod{N}$. By randomly generated, I mean that $(x, y)$ is selected ...
- 1,703
1
vote
0
answers
150
views
Cohen-Macaulay coordinate rings defined by regular sequences
Consider the polynomial ring $R = k[x_1, \ldots, x_n]$ in $n$ indeterminates over an algebraically closed field $k$ (my relevant case is the complex numbers). Furthermore, consider an algebraic ...
- 111
1
vote
0
answers
145
views
Has anyone studied this possible generalisation of the Singular Value Decomposition to all commutative $*$-rings?
I don't know any abstract algebraists personally, which is why I'm asking this question here.
Let $(R,*)$ be a commutative $*$-ring where $*:R \to R$ is an involution. Each conjecture below is stated ...
- 4,943
1
vote
0
answers
56
views
Effect on finite transformation semigroup under a particular modification of the generators
The following question arises in connection with problems in automata theory related to the road problem. Let $f_1, f_2: [N] \to [N]$ be maps such that the transformation semigroup $S = \langle f_1, ...
- 695
1
vote
0
answers
66
views
First isomorphism theorem for inverse semigroups together with v-prehomomorphisms?
In this old paper D. B. McAlister has introduced another class of morphisms for inverse semigroups, called v-prehomomorphisms. For such a morphism $\theta : S \to T,$ instead of preserving the ...
- 1,093
1
vote
0
answers
171
views
Separable field extensions and base change
Suppose that there are field extensions
\begin{array}{ccc}
k & \longrightarrow & K \\
\downarrow & & \downarrow \\
L & \longrightarrow & M
\end{array}
where $M$ is generated by ...
- 635
1
vote
0
answers
170
views
What is this algebraic object (special case of a semigroup)?
Let $(M,*)$ be a finite semigroup. Further we demand the following:
Zero element: $\exists0\in M \forall m\in M:0*m=0=m*0$.
Left cancelation: $\forall m,n,n'\in M:0\neq m*n =m*n' \Rightarrow n=n'$.
...
- 696
1
vote
0
answers
57
views
Families of polynomials given by tuples of binary forms with finitely many reducible members
Let $G_1, \cdots, G_n \in \mathbb{Z}[x,y]$ be binary forms, and put $\mathbf{G} = (G_1, \cdots, G_n)$. Consider the family of monic polynomials
$$\displaystyle \mathcal{F}_\mathbf{G} = \{x^n + G_1(p,q)...
- 26.9k
1
vote
0
answers
152
views
Image of pullback for Brauer groups
If a have a dominant morphism $\pi:X \rightarrow \mathbb{P}^{1}$ where $X$ is a projective, geometrically integral $k$-scheme. Then this gives rise to a pullback map
\begin{align*}
\pi^{*}:\text{Br}(k(...
- 481
1
vote
0
answers
139
views
Terminology for an kind-of principal fibration
My interest is in topological monoids, but I think the question may make sense (in some fashion) for monoids of sets.
Let $M$ be a topological monoid, and let $X$ be a pointed space that $M$ acts on, ...
- 12.5k
1
vote
0
answers
121
views
Why $\beta S$ is not a semigroup when $S$ is a (directed) partial semigroup?
Given a semigroup $(S, *)$ we extend the semigroup operation $*$ of $S$ to a operation $*$ on $\beta S$ (the set of ultrafilters on $S$) defined as
$$
\mathcal{U} * \mathcal{V} = \left\{ A \...
- 59
1
vote
0
answers
241
views
Smooth normalization and blow-up of the exceptional locus
Let $n:\widetilde X\rightarrow X$ be the normalization of a complex (quasi-projective) variety $X$. Assume $\widetilde X$ is smooth, that $n$ is an isomorphism outside a smooth connected subvariety $Y\...
- 1,463
1
vote
0
answers
365
views
Flatness over a local noetherian ring
Let $(R,\mathfrak m)$ be a local noetherian ring, and $M$ an arbitrary $R$-module. Suppose that $\mathrm{Tor}_1(M,R/\mathfrak m)=0$. Does it follow that $M$ is flat?
The answer is positive when $M$ ...
- 1,313
1
vote
0
answers
107
views
Topologically finitely generated non-abelian isomorphic absolute Galois groups
Let $K$ be a field of positive characteristic and $L$ be a field of characteristic zero.
Assume the absolute Galois groups of $K$ and $L$ are topologically finitely generated, non-abelian and ...
- 55
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
74
views
Construction, similar to Chow's EL-numbers? Is it valid? What are the properties?
The idea of EL-numbers, proposed by Chow, impressed me very much, so I decided to build something similar and look what this will turn out.
Instead of $\exp(x)$ and $\ln(x)$ functions as the building ...
- 10.1k
1
vote
0
answers
51
views
Betti numbers of a polynomial ideal after homogenization
Let $I \subset k[x_1,\ldots,x_n]$ be an ideal in a polinomial ring over a field $k$. Assume that $I$ is quasihomogeneous (that is, $I$ is not homogeneous with the usual grading, but it is homogeneous ...
1
vote
0
answers
80
views
Normal simple ring extensions
Let $R$ be a $k$-algebra, $k$ is an algebraically closed field of characteristic zero.
Assume that $R$ is an integral domain or a UFD (being a UFD makes things easier),
$a$ is an algebraic element ...
- 2,837
1
vote
0
answers
108
views
When do the kernels of module homomorphisms between rings whose kernels contain a given fixed ideal contain every prime ideal over it?
$\DeclareMathOperator{\Hom}{Hom}$All our rings are commutative with unity and, if necessary, we can suppose that they are actually polynomial rings over a field in finitely many variables where the ...
- 573
1
vote
0
answers
33
views
Making a generating set of a section of a graded polynomial $R$-module coming from a quotient into a basis of a quotient by higher degree polynomial
Denote the graded rings $R:=\mathbb{R}[x_{1},\dots x_{n}]$ and $S:=R[x_{0}]$ adding the homogenizing variable $x_{0}.$ Consider $h\in S$ a homogenous polynomial of degree $d$ with leading coefficient $...
- 573
1
vote
0
answers
212
views
Surjection from finite rank free $R$-module to finitely generated $R$-module and basis associated to generator set
Suppose the we have an epimorphism $s\colon M\to N,$ where $M$ is a free $R$-module of rank $r$ and $N$ is a finitely generated $R$-module, such that there exists a basis $B:=\{m_{1},\dots, m_{r}\}$ ...
- 573
1
vote
0
answers
213
views
Defining path on the prime spectrum
If $p$ and $q $ are two prime ideals of a commutative ring $R $ such that $p \subseteq q$, then we can easily define a continuous function (a path) $f$ from the unit interval $ [0,1]$ to the prime ...
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
87
views
Defining cluster algebras of finite type $\mathrm{A}$ by generators and relations
Consider a cluster algebra of finite type $\mathrm{A}$. The set of all (distinct) cluster variables is of finite cardinality, denote it by $k$, for such algebra. Is it true that, for an arbitrary ...
- 225
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
109
views
Integer factorization given modular square root of 2
Let $N$ be composite. It is well-known that if $x^2 \equiv 1 \pmod N$, and $x \neq \pm 1 \pmod N$, then a factor of $N$ is easily found by computing gcd($N$, $x + 1$). I'm curious if there is a ...
- 1,703
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
94
views
Irreducibility of $\frac{x^{n+1}-(n+1) x+n}{(x-1)^2}$ [duplicate]
The question is motivated by this question.
Consider the polynomials
$$\dfrac{x^{n+1}-(n+1) x+n}{(x-1)^2} = \displaystyle \sum _{k=0}^n (n-k) x^k, n=1,2,3,\dots,$$
Are they all irreducible (over $\...
- 302
1
vote
0
answers
64
views
Continous morphisms of a local field with conditions in positive characteristic
Let $P$ be a an irreducible polynomial of $k:=\mathbb F_q(T)$, $\Omega_P$ be the completion of an algebraic closure $\overline{k_P}$ of $k_P$, the completion of $k$ for the topology induced by the $P$-...
- 3,998
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
71
views
Gluing categorical limit over subgraphs
Let $C$ be a category, and $\Gamma$ a graph in $C$. Under good conditions it makes sense to talk about the limit $\lim \Gamma$ of $\Gamma$ in $C$.
Suppose $\Gamma$ is the union of two subgraphs $\...
- 5,230
1
vote
0
answers
83
views
Characteristic of ring completions
This may be a completely trivial question, but I haven’t seen it stated in any of the references I checked. Is the characteristic of a ring $R$ equal to that of its completions? This is true for the ...
- 11
1
vote
0
answers
189
views
Existence of integral extension of DVR satisfying some conditions
Let $X^{\prime}$ and $X$ be integral noether schemes over $\mathbb{C}$, and $p:X^{\prime}\rightarrow X$ be a surjective morphism.
Let $R$ be any discrete valuation ring over $\mathbb{C}$ with its ...
- 297
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
201
views
Is there a natural topology on $\mathbb{C}(t)[x_1,\ldots, x_n]$ with this property?
Is there a good topology on $A=\mathbb{C}(t)[x_1,\ldots, x_n]$ so that $A$ is a topological algebra with the following property:
For any $N>0$ and a polynomial $F\in\mathbb{C}[x_1,\ldots, x_n]$ ...
- 291
1
vote
0
answers
81
views
Completion of $K$-algebra of finite type with respect to the residue norm
Let $K$ be a non-archimedean field. For $n \in \mathbb{N}$ let
\begin{equation*}
T_n=\{ \sum_{\nu_1, \ldots, \nu_n \geq 0 } a_{\nu_1, \ldots, \nu_n }X_1^{\nu_1}\cdots X_n^{\nu_n} \in K[\
- 473
1
vote
0
answers
106
views
Homomorphisms and indecomposable decompositions of finite modules over polynomial rings [closed]
I am studying $\mathbb{N}^n$-graded, finitely generated modules $M$ over the $\mathbb{N}^n$-graded polynomial ring $K[X_1,X_2,X_3...,X_n]$. I know every such $M$ has an indecomposable decomposition $M\...
- 11
1
vote
0
answers
62
views
Local cohomology for infinitely generated modules
Let $R$ be a local (with maximal ideal $m$) commutative Gorenstein ring of dimension $d$.
Then for any $0 \leq i \leq d$ there are isomorphisms for the local cohomology:
$H_m^i(M) \cong D Ext_R^{d-i}(...
- 26.5k
1
vote
0
answers
269
views
Almost ring theory and derivations
I don't understand the definition of $\boldsymbol{\Omega}_A$ in the context of almost rings. In Gabber and Ramero https://arxiv.org/pdf/math/0409584.pdf it is covered in 9.6.12. How is $\boldsymbol{\...
- 4,418
1
vote
0
answers
174
views
What are the irreps in this canonical action of $\operatorname{PGL}_2(F_q)$?
Consider the permutation action of $\operatorname{PGL}_2(\mathbb F_q)$ on $\mathbb P^1(\mathbb F_q)$ by fractional linear transformations. We can consider the associated (complex) representation of ...
- 7,746
1
vote
0
answers
94
views
What would be the quotient groups $U_{\mathrm{gen}}/U_{\mathrm{gen}}^{(n)}$ and $U_{\mathrm{gen}}^{(n)}/U_{\mathrm{gen}}^{(n+1)}$?
Let $K \supseteq \mathbb{Q}_p$ be a $p$-adic field with ring of integer $O$ and maximal ideal $m$. Let $O^*$ be the group of units in $O$.
Consider the group of units $U^{(0)}=U=O^*$ and $U^{(n)}=1+m^...
- 930
1
vote
0
answers
360
views
A composition of a simple extension and a separable extension is simple
Let $K/L/M$ be a tower of finite field extensions with $K/L$ separable and $L/M$ simple (in the sense of being generated by a single element). How does one show that $K/M$ is also simple?
I know that ...
1
vote
0
answers
90
views
Mod $N^2$ evaluation of a polynomial defined by first $N-1$ roots
Given a prime $N$ and integer $g$, where $g$ is able to generate the multiplicative subgroup $(\mathbb{Z}/N^2\mathbb{Z})^*$, I am interested in any results simplifying or evaluating $f\in (\mathbb{Z}/...
- 11
1
vote
0
answers
132
views
On the dual version of an isomorphism of spectral sequence term (from Cartan and Eilenberg)
I'm trying to take spectral sequences as a black box for application in commutative algebra and I admit that I haven't really gone through (or understand) all the proofs of all the isomorphisms ...
- 642
1
vote
1
answer
62
views
Continuations of derivations of Jacobian subring
Assume that the algebraically independent polynomials $f_1,\ldots, f_n\in\mathbb{C}[x_1,\ldots, x_n]$ are such that the Jacobian matrix $\text{Jac}_{x_1,\ldots, x_n}^{f_1,\ldots, f_n}\in\mathbb{C}\...
- 329