Related papers: Baire category theory and Hilbert's Tenth Problem …

The codomain category of a generalized homology theory is the category of modules over a ring. For an abelian category A, an A-valued (generalized) homology theory is defined by formally replacing the category of modules with the category…

By a result of Horv\'ath the equation solvability problem over finite nilpotent groups and rings is in P. We generalize his result, showing that the equation solvability over every finite supernilpotent Mal'cev algebra is in P. We also give…

Let $I$ be a homogeneous ideal in the polynomial ring $R = k[z_1, \cdots, z_n]$ , where $k$ is an algebraically closed field of characteristic zero. Macaulay's Theorem provides constraints on the Hilbert function of $I$ or $R/I$ from one…

An algebraic theory $T$ is a category with objects $t_0,t_2...$ such that for each $n$ the object $t_n$ is an $n$-fold categorical product of $t_1$. A strict $T$-algebra is a product preserving functor $A: T\to Spaces$. Lawvere showed that…

In this paper we explore fundamental concepts in computational complexity theory and the boundaries of algorithmic decidability. We examine the relationship between complexity classes \textbf{P} and \textbf{NP}, where $L \in \textbf{P}$…

Consider a tree $\mathbb T$, all whose vertices have countable valence; its boundary is the Baire space $\mathbb{B} \simeq\mathbb{N}^{\mathbb N}$; continued fractions expansions identify the set of irrational numbers $\mathbb{R}\setminus…

For any power series $a(t)$ with exponentially bounded nonnegative integer coefficients we suggest a simple construction of a finitely generated monomial associative algebra $R$ with Hilbert series $H(R,t)$ very close to $a(t)$. If $a(t)$…

For a degree $n$ polynomial $f$ over the rationals, the elements in the fiber $f^{-1}(a)$ are of degree $n$ over $\mathbb Q$ for most rational values $a$ by Hilbert's irreducibility theorem. Determining the set of exceptional $a$'s without…

Category theory provides a means through which many far-ranging fields of mathematics can be related by their similar structure. In a paper by Robinson [2], this interconnectivity afforded by categorical perspectives allowed for the…

The existence of maximal subrings in certain non-commutative rings, especially in rings which are integral over their centers, are investigated. We prove that if a ring $T$ is integral over its center, then either $T$ has a maximal subring…

We classify certain resolving subcategories of finitely generated modules over a commutative noetherian ring R by using integer-valued functions on Spec R. As an application we give a complete classification of resolving subcategories when…

A topological space $X$ is Baire if the Baire Category Theorem holds for $X$, i.e., the intersection of any sequence of open dense subsets of $X$ is dense in $X$. One of the interesting problems in the theory of functional spaces is the…

We show that for $5/6$-th of all primes $p$, Hilbert's 10-th Problem is unsolvable for $\mathbb{Q}(\zeta_3, \sqrt[3]{p})$. We also show that there is an infinite set $S$ of square free integers such tha Hilbert's 10-th Problem is unsolvable…

We consider modules $M$ over Lie algebroids ${\mathfrak g}_A$ which are of finite type over a local noetherian ring $A$. Using ideals $J\subset A$ such that ${\mathfrak g}_A \cdot J\subset J $ and the length $\ell_{{\mathfrak g}_A}(M/JM)<…

This article surveys results on graded algebras and their Hilbert series. We give simple constructions of finitely generated graded associative algebras $R$ with Hilbert series $H(R,t)$ very close to an arbitrary power series $a(t)$ with…

In this paper, we investigate $\mathbb T^d$-invariant Hilbert modules $\mathscr H$ over the polynomial ring $\mathbb C[z_1, \ldots, z_d]$ and their quotients, with primary emphasis on the classification of subnormal quotient modules of the…

We call a monoidal category ${\mathcal C}$ a Serre category if for any $C$, $D \in {\mathcal C}$ such that $C\ot D$ is semisimple, $C$ and $D$ are semisimple objects in ${\mathcal C}$. Let $H$ be an involutory Hopf algebra, $M$, $N$ two…

We construct an abelian category A(G) of sheaves over a category of closed subgroups of the r-torus G and show it is of finite injective dimension. It can be used as a model for rational $G$-spectra in the sense that there is a homology…

Categories of partial functions have become increasingly important principally because of their applications in theoretical computer science. In this note we prove that the category of partial bijections between sets as an…

Subgraph counting is a fundamental and well-studied problem whose computational complexity is well understood. Quite surprisingly, the hypergraph version of subgraph counting has been almost ignored. In this work, we address this gap by…