Wolfram Language Paclet Repository

Community-contributed installable additions to the Wolfram Language

Primary Navigation

    • Cloud & Deployment
    • Core Language & Structure
    • Data Manipulation & Analysis
    • Engineering Data & Computation
    • External Interfaces & Connections
    • Financial Data & Computation
    • Geographic Data & Computation
    • Geometry
    • Graphs & Networks
    • Higher Mathematical Computation
    • Images
    • Knowledge Representation & Natural Language
    • Machine Learning
    • Notebook Documents & Presentation
    • Scientific and Medical Data & Computation
    • Social, Cultural & Linguistic Data
    • Strings & Text
    • Symbolic & Numeric Computation
    • System Operation & Setup
    • Time-Related Computation
    • User Interface Construction
    • Visualization & Graphics
    • Random Paclet
    • Alphabetical List
  • Using Paclets
    • Get Started
    • Download Definition Notebook
  • Learn More about Wolfram Language

SimplicialHomology

Guides

  • SimplicialHomology

Symbols

  • BettiNumber
  • HomologyGroup
  • SimplicialAutomorphismGroup
  • SimplicialComplex
  • SimplicialCone
  • SimplicialIsomorphicQ
  • SimplicialJoin
  • SimplicialSuspension
  • SubComplexQ
Taggar`SimplicialHomology`
SimplicialAutomorphismGroup
​
SimplicialAutomorphismGroup
[
SimplicialComplex
[…]]
returns the automorphism group of the given simplicial complex.
​
Details and Options
▪
SimplicialAutomorphismGroup
calculates the incidence graph and makes use of
GraphAutomorphismGroup
.
Examples  
(3)
Basic Examples  
(3)
Find the automorphism group of a simplicial complex:
In[1]:=
SimplicialAutomorphismGroup

SimplicialComplex
["Tetrahedron"]
Out[1]=
PermutationGroup[{Cycles[{{3,4}}],Cycles[{{2,3}}],Cycles[{{1,2}}]}]
Check that it is isomorphic to
SymmetricGroup
[4]
:
In[2]:=
ResourceFunction["FindGroupIsomorphism"][%,SymmetricGroup[4]]
Out[2]=
{{1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24}}
​
Check that automorphism group of the real projective plane is isomorphic to
AlternatingGroup
[5]
:
In[1]:=
ResourceFunction["FindGroupIsomorphism"]​​
SimplicialAutomorphismGroup

SimplicialComplex
["RealProjectivePlane"],​​AlternatingGroup[5]​​
Out[1]=
{{1,4,14,19,57,60,27,34,42,47,12,9,50,55,35,30,37,40,17,20,23,18,54,59,46,39,8,5,28,25,52,49,31,26,44,41,24,21,11,6,32,29,45,48,3,10,16,13,58,51,43,38,15,22,33,36,7,2,53,56}}
​
Symmetries of a regular pentagon:
In[1]:=
SimplicialAutomorphismGroup
​​
SimplicialComplex
[{{1,2},{2,3},{3,4},{4,5},{5,1}}]​​
Out[1]=
PermutationGroup[{Cycles[{{2,3},{4,5}}],Cycles[{{1,2},{3,4}}]}]
In[2]:=
GroupOrder[%]
Out[2]=
10
SeeAlso
SimplicialComplex
 
▪
GraphAutomorphismGroup
RelatedGuides
▪
SimplicialHomology
RelatedLinks
https://resources.wolframcloud.com/FunctionRepository/resources/FindGroupIsomorphism/
""

© 2026 Wolfram. All rights reserved.

  • Legal & Privacy Policy
  • Contact Us
  • WolframAlpha.com
  • WolframCloud.com