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:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
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].