19 lines
932 B
Markdown
19 lines
932 B
Markdown
up:: [[graphe non orienté étiquetté]], [[isomorphisme de groupes|isomorphisme]]
|
|
#s/maths/graphes
|
|
|
|
> [!definition] Définition
|
|
> Soit $n \in \mathbb{N}^{*}$ et $\underline{n} = [\![1;n]\!]$
|
|
> Soit $X = \mathscr{P}_{2}(\underline{n})$ l'[[ensemble des parties à n éléments d'un ensemble|ensemble des parties à 2 éléments]] de $\underline{n}$
|
|
> Soit $\mathcal{G}_{n} = \{ 0, 1 \}^{X}$ l'ensemble des [[graphe non orienté étiquetté|graphes non orientés]] à $n$ sommets
|
|
> Soit l'opération :
|
|
> $\begin{align} \mathcal{G}_{n} \times \mathfrak{S}_{n} &\to \mathcal{G}_{n} \\ (\Gamma, \pi) &\mapsto \Gamma^{\pi} \end{align}$
|
|
> avec $\Gamma^{\pi}(\{ i, j \}) := \Gamma(\{ \pi(i), \pi(j) \}),\quad \forall \{ i, j \} \in X$
|
|
> Alors :
|
|
> Deux graphes $\Gamma, \Gamma' \in \mathcal{G}_{n}$ sont **isomorphes** ssi ils sont dans le même [[orbite d'un groupe|orbite]] sous cette opération
|
|
^definition
|
|
|
|
# Propriétés
|
|
|
|
# Exemples
|
|
|