Related papers: Lagrange's Theorem for Gyrogroups and the Cauchy P…

In the present article, we examine linear representations of finite gyrogroups, following their group-counterparts. In particular, we prove the celebrated theorem of Maschke for gyrogroups, along with its converse. This suggests studying…

We extend well-known results in group theory to gyrogroups, especially the isomorphism theorems. We prove that an arbitrary gyrogroup $G$ induces the gyrogroup structure on the symmetric group of $G$ so that Cayley's Theorem is obtained.…

Previous formulations of group theory in ACL2 and Nqthm, based on either "encapsulate" or "defn-sk", have been limited by their failure to provide a path to proof by induction on the order of a group, which is required for most interesting…

We prove an analog of Lagrange's Theorem for continued fractions on the Heisenberg group: points with an eventually periodic continued fraction expansion are those that satisfy a particular type of quadratic form, and vice-versa.

This article explores the novel notion of gyrogroup actions, which is a natural generalization of the usual notion of group actions. As a first step toward the study of gyrogroup actions from the algebraic viewpoint, we prove three…

In fuzzy group theory many versions of the well-known Lagrange's theorem have been studied. The aim of this article is to investigate the converse of one of those results. This leads to an interesting characterization of finite cyclic…

We establish two versions of a central theorem, the Family Colimit Theorem, for the coarse coherence property of metric spaces. This is a coarse geometric property and so is well-defined for finitely generated groups with word metrics. It…

We generalize the Cauchy-Davenport theorem to locally compact groups.

A Lagrange Theorem in dimension 2 is proved, for a particular two-dimensional algorithm, with a very natural geometrical definition. Dirichlet-type properties for the convergence of the algorithm are also proved. These properties procced…

We introduce a class of group-like objects and prove that Cayley Theorem on groups has a counterpart in the class of group-like objects.

Notions of higher Kazhdan property can be defined in terms of vanishing of unitary group cohomology in higher degrees. Garland's theorem for simple groups over non-archimedean fields provides the first examples of a higher Kazhdan property.…

In this paper, some generalized metric properties in strongly topological gyrogroups are studied.

We show a classification method for finite groupoids and discuss the cardinality of cosets and its relation with the index. We prove a generalization of the Lagrange's Theorem and establish a Sylow theory for groupoids.

Two measures of how near an arbitrary function between groups is to being a homomorphism are considered. These have properties similar to conjugates and commutators. The authors show that there is a rich theory based on these structures,…

We prove that every lattice in a product of higher rank simple Lie groups or higher rank simple algebraic groups over local fields has Vincent Lafforgue's strong property (T). Over non-archimedean local fields, we also prove that they have…

In this paper we prove a generalization of famous Larchr's theorem concerning good lattice points.

The authors study the classical Lagrange inversion theorem--an antecedent of the modern implicit function theorem--in the smooth case. Examples are given to show that the result is sharp.

A topological gyrogroup is a gyrogroup endowed with a topology such that the binary operation is jointly continuous and the inverse mapping is also continuous. In this paper, it is proved that if $G$ is a sequential topological gyrogroup…

In this paper the structure of the Cayley graphs and G-graphs of some gyro-groups are studied and some properties of them will be proved. Moreover we review some special gyro-groups including: gyro-commutative gyrogroups, dihedral…

The theory of gauge fields in Theoretical Physics poses several mathematical problems of interest in Differential Geometry and in Field Theory. Below we tackle one of these problems: The existence of a finite system of generators of…