相关论文: Groupoids, the Phragmen-Brouwer Property and the J…

Omar Antol{\'\i}n Camarena pointed out a gap in the proofs in \cite{Brown15,BrownJordan} of a condition for the Phragmen--Brouwer Property not to hold; this note gives the correction in terms of a result on a pushout of groupoids, and some…

In this paper, we develop a $\times$-homotopy fundamental groupoid for graphs, and show a functorial relationship to the 2-category of graphs. We further explore the fundamental groupoid of graph products and develop a groupoid product…

The paper contains an application of van Kampen theorem for groupoids for computation of homotopy types of certain class of non-compact foliated surfaces obtained by gluing at most countably many strips $\mathbb{R}\times(0,1)$ with boundary…

We prove that an analogue of Jordan's theorem on finite subgroups of general linear groups holds for the groups of biregular automorphisms of algebraic surfaces. This gives a positive answer to a question of Vladimir L. Popov.

We show an analogue of Jordan's theorem for algebraic groups defined over a field $\mathbb k$ of arbitrary characteristic. As a consequence, a Jordan-type property holds for the automorphism group of any projective variety over $\mathbb k$.

This paper presents a formalized proof of a discrete form of the Jordan Curve Theorem. It is based on a hypermap model of planar subdivisions, formal specifications and proofs assisted by the Coq system. Fundamental properties are proven by…

Using an algebraic point of view we present an introduction to the groupoid theory, that is, we give fundamental properties of groupoids as, uniqueness of inverses and properties of the identities, and study subgroupoids, wide subgroupoids…

We prove the Jordan curve theorem by generalizing the sweepline algorithm for trapezoidal decomposition of a polygon. Our proof uses Zorn's lemma (or, equivalently the axiom of choice). Though several proofs have been given for the Jordan…

We prove that an analogue of Jordan's theorem on finite subgroups of general linear groups holds for the groups of biregular automorphisms of elliptic ruled surfaces. This gives a positive answer to a question of Vladimir L. Popov.

We discuss Jordan's theorem on finite subgroups of invertible matrices and give an account of his original proof.

According to a general definition of discrete curves, surfaces, and manifolds. This paper focuses on the Jordan curve theorem in 2D discrete spaces. The Jordan curve theorem says that a (simply) closed curve separates a simply connected…

We develop a robust foundation for studying the fundamental group(oid) in discrete homotopy theory, including: equivalent definitions and basic properties, the theory of covering graphs, and the discrete version of the Seifert-van Kampen…

As we known, the {\it Seifert-Van Kampen theorem} handles fundamental groups of those topological spaces $X=U\cup V$ for open subsets $U, V\subset X$ such that $U\cap V$ is arcwise connected. In this paper, this theorem is generalized to…

Using a definition of Jordan curve similar to that of Dieudonn\'e, we prove that our notion is equivalent to that used by Berg et al. in their constructive proof of the Jordan Curve Theorem. We then establish a number of properties of…

Assuming a particular case of Borisov--Alexeev--Borisov conjecture, we prove that finite subgroups of the automorphism group of a finitely generated field over Q have bounded orders. Further, we investigate which algebraic varieties have…

This paper is the second in a series of three papers concerning the surface T times T, where T is a complex torus. We compute the fundamental group of the branch curve of the surface in C^2, using the van Kampen Theorem and the braid…

Here is present short proofing of Jordan's theorem about dividing of flat on two disjoint subsets by one closed curve.

In algebraic topology, the fundamental groupoid is a classical homotopy invariant which is defined using continuous maps from the closed interval to a topological space. In this paper, we construct a semi-coarse version of this invariant,…

We define a category whose objects are finite etale coverings of an algebraic stack and prove that it is a Galois category and that it allows one to compute the fundamental group of the stack. We then prove a Van Kampen theorem for…

We generalize the notions of composition series and composition factors for profinite groups, and prove a profinite version of the Jordan-Holder Theorem. We apply this to prove a Galois Theorem for infinite prosolvable extensions. In…