Related papers: Loops and the Lagrange property

In program semantics and verification, reasoning about loops is complicated by the need to produce two separate mathematical arguments: an invariant, for functional properties (ignoring termination); and a variant, for termination (ignoring…

In a finite group, a subset is called a Lagrange subset if its size divides the group order, and a factor if it admits a complementary subset. We provide a new and comparatively direct proof of the classification of groups in which every…

A family of random matrices is said to converge strongly to a limiting family of operators if the operator norm of every noncommutative polynomial of the matrices converges to that of the limiting operators. Recent developments surrounding…

We show that every nontrivial finite or infinite connected directed graph with loops and at least one vertex without a loop is uniquely representable as a Cartesian or weak Cartesian product of prime graphs. For finite graphs the…

We argue that it makes sense to talk about ``typical'' properties of lattices, and then show that there is, up to isomorphism, a unique countable lattice L* (the Fraisse limit of the class of finite lattices) that has all ``typical''…

The Zorn's Algebra ZZ(R) has a multiplicative function called determinant with properties similar to the usual one. The set of elements in ZZ(R) with determinant 1 is a Moufang loop that we will denote by \GA. In our main result we prove…

According to Zipf's meaning-frequency law, words that are more frequent tend to have more meanings. Here it is shown that a linear dependency between the frequency of a form and its number of meanings is found in a family of models of…

A recurrence relation is said to have the Laurent property if all of its iterates are Laurent polynomials in the initial values with integer coefficients. We consider a family of nonlinear recurrences with the Laurent property, which were…

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…

We propose a classification of group properties according to whether they can be deduced from the assumption that a group's subgroup lattice contains an interval isomorphic to some lattice. We are able to classify a few group properties as…

We investigate Moufang loops which can be written as the semidirect product of a loop and a group. We also examine a particular class of loop extensions which arise as a result of a finite cyclic group acting as a group of semiautomorphisms…

In [11] we showed that a loop in a simply connected compact Lie group $\dot{U}$ has a unique Birkhoff (or triangular) factorization if and only if the loop has a unique root subgroup factorization (relative to a choice of a reduced sequence…

A condition, in two variants, is given such that if a property P satisfies this condition, then every logic which is at least as strong as first-order logic and can express P fails to have the compactness property. The result is used to…

We consider the group $\mathfrak{X}(G)$ obtained from $G\ast G$ by forcing each element $g$ in the first free factor to commute with the copy of $g$ in the second free factor. Deceptively complicated finitely presented groups arise from…

In this paper, we prove a version of Lagrange's theorem for gyrogroups and use this result to prove that gyrogroups of particular orders have the strong Cauchy property.

We introduce the weak Haagerup property for locally compact groups and prove several hereditary results for the class of groups with this approximation property. The class contains a priori all weakly amenable groups and groups with the…

It is known that the family of power means tends to maximum pointwise if we pass argument to infinity. We will give some necessary and sufficient condition for the family of quasi-arithmetic means generated by a functions satisfying certain…

Call a hereditary family $\mathcal{F}$ of graphs strongly persistent if there exists a graphon $W$ such that in all subgraphons $W'$ of $W$, $\mathcal{F}$ is precisely the class of finite graphs that have positive density in $W'$. Our first…

A simple model is constructed which allows to compute modified dispersion relations with effects from loop quantum gravity. Different quantization choices can be realized and their effects on the order of corrections studied explicitly. A…

Examples are given of profinite groups that are not strongly complete, and have other `bad' properties, yet have only finitely many open subgroups of each finite index. It is shown that a profinite group with the latter property must be…