On three-dimensional space groups.
Conway, John H., Delgado Friedrichs, Olaf, Huson, Daniel H., Thurston, William P. (2001)
Beiträge zur Algebra und Geometrie
Similarity:
Displaying similar documents to “Cayley's Theorem”
On three-dimensional space groups.
Normal Subgroup of Product of Groups
Hiroyuki Okazaki, Kenichi Arai, Yasunari Shidama (2011)
Formalized Mathematics
Similarity:
In [6] it was formalized that the direct product of a family of groups gives a new group. In this article, we formalize that for all j ∈ I, the group G = Πi∈IGi has a normal subgroup isomorphic to Gj. Moreover, we show some relations between a family of groups and its direct product.
Avoiding 2-letter signed patterns.
Mansour, Toufik, West, Julian (2002)
Séminaire Lotharingien de Combinatoire [electronic only]
Similarity:
An Eulerian partner for inversions.
Skandera, Mark (2001)
Séminaire Lotharingien de Combinatoire [electronic only]
Similarity:
Commutativeness of Fundamental Groups of Topological Groups
Artur Korniłowicz (2013)
Formalized Mathematics
Similarity:
In this article we prove that fundamental groups based at the unit point of topological groups are commutative [11].
Pseudo-Canonical Formulae are Classical
Marco B. Caminati, Artur Korniłowicz (2014)
Formalized Mathematics
Similarity:
An original result about Hilbert Positive Propositional Calculus introduced in [11] is proven. That is, it is shown that the pseudo-canonical formulae of that calculus (and hence also the canonical ones, see [17]) are a subset of the classical tautologies.
Splitting classes in categories of groups.
Grundman, H.G., Soltis, D. (2007)
Beiträge zur Algebra und Geometrie
Similarity:
Hyperoctahedral species.
Bergeron, N., Choquette, P. (2009)
Séminaire Lotharingien de Combinatoire [electronic only]
Similarity:
Pullback and finite coproduct preserving functors between categories of permutation representations.
Panchadcharam, Elango, Street, Ross (2006)
Theory and Applications of Categories [electronic only]
Similarity:
Some properties of min-wise independent families and groups of permutations.
Bargachev, V. (2004)
Zapiski Nauchnykh Seminarov POMI
Similarity:
On normal verbal embeddings of some classes of groups.
Mikaelian, Vahagn H. (2004)
Beiträge zur Algebra und Geometrie
Similarity:
Representation Theorem for Stacks
Grzegorz Bancerek (2011)
Formalized Mathematics
Similarity:
In the paper the concept of stacks is formalized. As the main result the Theorem of Representation for Stacks is given. Formalization is done according to [13].