Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 1908.09906

Ideals of graphs: finding a set of generators

Evgeny S. Golod·Georgy A. Osipov
View original source ↗Read source document ↗Export metadata ↓

Abstract

In this paper, we consider homological properties of so-called graph ideals. Consider $Γ$ is a graph with vertices $t_1$, ..., $t_s$, without self-loops and multiple adjacencies. We can associate with such a graph an ideal $I(Γ)$ of polynomial ring $$ A(Γ) = k[t_1,...,t_s] $$ over k, generated by $x_{ij}=t_it_j$, $i\ne j$, corresponding to edges of $Γ$. The object of this paper is an algebra of Koszul homology $$ H((x_{ij}),A(Γ)) $$ of Koszul complex $K((x_{ij}),A(Γ)).$ The result of this paper is finding a minimal multiplicative system of generators of this algebra for some graphs $Γ$. There is an element $\bigstar$ in homology algebra corresponding each vertex in the graph, that should be included in every set of generators of each graph. This is a sufficient system for trees. Also, there is a generator element $\bigcirc$ for every cycle with length n if n mod 3=2. System of $\bigstar$-s and maybe $\bigcirc$ is sufficient for a graph with only one cycle. Also, here described a set of generators for a graph that is two cycles with exactly one common vertex. If a graph is two graphs with known algebra generators, connected by an edge, the answer for the whole graph is also described in this paper.

Explore related subjects

math.LOmath.RA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Evgeny S. Golod, Georgy A. Osipov. 2019-08-28. Ideals of graphs: finding a set of generators. https://arxiv.org/abs/1908.09906

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

On Borel sets in ideal topologies

We study the Borel and analytic subsets of the spaces ${}^κκ$ and ${}^κ2$ endowed with ideal topologies, where $κ$ is a regular uncountable cardinal, thereby addressing some open problems of the literature. We provide a systematic analysis of the Borel hierarchy for an arbitrary ideal topology. In particular, we formulate a sufficient condition ensuring that the hierarchy does not collapse, demonstrate that every Borel set in such a topology is analytic, and establish the existence of a set that is not Borel. We show that, when the underlying ideal contains an unbounded subset, the collection of analytic sets coincides with the full power set of the ambient space. Finally, we prove that the Approximation Lemma holds in the setting of ideal topologies.

math.LO↗
arXiv2026

Newelski's Conjecture for $o$-Minimal and $p$-Adic Groups

Let $M_0$ denote either the field of $p$-adic numbers $\mathbb{Q}_p$ or an $o$-minimal expansion of the real field $\mathbb{R}$. We study the minimal flows and Ellis groups of groups definable over $M_0$ from the viewpoint of definable topological dynamics. The computation of Ellis groups, together with the closely related Newelski conjecture, has so far been available only under restrictive hypotheses: in the $p$-adic setting, the results of \cite{BY-APAL} apply to reductive algebraic groups, while in the $o$-minimal setting the known computations rely on a compact-torsion-free (Iwasawa) decomposition. In this paper we remove both restrictions. We show that every definable group $G$ has a definably amenable radical $D$, with quotient map $π:G\to A$ onto a centreless semisimple group $A$. In $A$, a definably amenable component $V$ is selected: a maximal definably amenable subgroup containing a maximal definably solvable subgroup. Its preimage $B=π^{-1}(V)$ is a definably amenable component of $G$, contains $D$, and is the carrier for the computation of the Ellis group. Our main result is that, for every $M\succ M_0$, the Ellis group of the universal definable flow of $G$ over $M$ is isomorphic to that of $B$ over $M$, and hence to $B/B^{00}$. In particular, the Ellis groups of $G$ are model-independent. As a consequence, when $G$ is definable over a $p$-adically closed field, Newelski's conjecture holds for $G$ if and only if $G$ is definably amenable. The amenable direction is the known result of \cite{CS-Definably-Amenable-NIP-Groups}, while the converse is new.

math.LO↗
arXiv2026

A translation of Maehara's "Eine Darstellung der Intuitionistischen Logik in der Klassischen"

A key motivation for Heyting's intuitionistic logic was to gain a formal notion of Brouwer's idea of mathematics as a "construction of the mind". One might thus argue that Heyting's Calculus should also correspond to a notion of provability. Inspired by this idea, Gödel formalised this connection via an embedding into a modal calculus, which is now known as the modal logic S4. While in his original publication, he only proved soundness for the embedding from intuitionistic propositional logic into S4, the converse was proved fifteen years later by McKinsey and Tarski. Although, it was later discovered that Gödel also had obtained a proof of the faithfulness of his embedding in unpublished notes in 1941. Rasioa and Sikorski later extended Gödel's embedding to first-order intuitionistic logic. In 1954, Maehara independently obtained the same results using proof-theoretic methods, even extending the embedding to one from intuitionistic first-order logic into intuitionistic first-order modal logic. This document presents a faithful English translation of Maehara's 1954 paper.

math.LO↗