On the existence of universal rational structures for groups.
Grigorenko, O.V., Roman'kov, V.A. (2007)
Sibirskie Ehlektronnye Matematicheskie Izvestiya [electronic only]
Similarity:
Grigorenko, O.V., Roman'kov, V.A. (2007)
Sibirskie Ehlektronnye Matematicheskie Izvestiya [electronic only]
Similarity:
Cherednichenko, V.G. (2002)
Sibirskij Matematicheskij Zhurnal
Similarity:
Grzegorz Bancerek (2012)
Formalized Mathematics
Similarity:
In the paper the semantics of MML Query queries is given. The formalization is done according to [4]
Karol Pąk (2014)
Formalized Mathematics
Similarity:
In this article we formalize the Bertrand’s Ballot Theorem based on [17]. Suppose that in an election we have two candidates: A that receives n votes and B that receives k votes, and additionally n ≥ k. Then this theorem states that the probability of the situation where A maintains more votes than B throughout the counting of the ballots is equal to (n − k)/(n + k). This theorem is item #30 from the “Formalizing 100 Theorems” list maintained by Freek Wiedijk at http://www.cs.ru.nl/F.Wiedijk/100/. ...
Boonpok, Chawalit (2009)
Acta Universitatis Apulensis. Mathematics - Informatics
Similarity:
Kenzi Satô (1998)
Acta Arithmetica
Similarity:
For every positive rational number q, we find a free group of rotations of rank 2 acting on (√q𝕊²) ∩ ℚ³ whose all elements distinct from the identity have no fixed point.
Franz Lemmermeyer (1997)
Acta Arithmetica
Similarity:
Calegari, Frank, Dunfield, Nathan M. (2006)
Geometry & Topology
Similarity:
Tronin, S.N. (2002)
Sibirskij Matematicheskij Zhurnal
Similarity:
Pinus, A.G. (2000)
Siberian Mathematical Journal
Similarity:
Ryszard Doman (1995)
Fundamenta Mathematicae
Similarity:
Let G be a finite group. We prove that every rational G-connected Hopf G-space with two nontrivial homotopy group systems is G-homotopy equivalent to an infinite loop G-space.
Kenzi Satô (1995)
Fundamenta Mathematicae
Similarity:
Hans-Joachim Baues, Manfred Hartl (1996)
Fundamenta Mathematicae
Similarity:
The homotopy category of Moore spaces in degree 2 represents a nontrivial cohomology class in the cohomology of the category of abelian groups. We describe various properties of this class. We use James-Hopf invariants to obtain explicitly the image category under the functor chain complex of the loop space.