Все различные способы задать группу

[B@R5uk]

Случайно наткнулся на компактное представление:

$$\langle\;a,\;b\;|\;a^2=b^2,\;(ab)^{2}=I\;\rangle$$

для группы $\mathbb Z_8\rtimes\mathbb Z_2$, которая не группа $\mathbb Z_8\rtimes\mathbb Z_2=D_{16}$ и не группа $\mathbb Z_8\rtimes\mathbb Z_2=Q_8\rtimes\mathbb Z_2$.

Доказательство наличия элемента 8-го порядка:
abab I
aabab a
aababb ab
aabaaa ab
aabbba ab
aaaaba ab
aaaabaa aba
aaaabbb aba
aaaaaab aba
aaaaaabb abab
aaaaaaaa I

-- 24.07.2023, 23:32 --

У меня тут появилась гипотеза: конечные абелевы группы невозможно представить компактно, то есть меньшим числом соотношений, чем величина $r(r+1)/2$, где r — ранк группы.

[B@R5uk]

Ещё одна группа в копилочку групп с компактным представлением:

$$G_{57}^1=\mathbb{Z}_{19}\rtimes\mathbb{Z}_3=\left\langle\;a,\;b\;|\;a^{19}=b^3=I,\;ba=a^7b\right\rangle=\left\langle\;a,\;b\;|\;(ab)^3=I,\;ba^3=a^2b\right\rangle$$

Здесь даже образующие одни и те же, то есть левые и правые наборы соотношений можно друг в друга преобразовать.

В качестве доказательства оставлю под катом две простыни, выданных программой для каждого сета.

(Оффтоп)

Используется синтаксис Text

Starting relations:
  bbb -> 1
  aaaaaaab -> ba
  aaaaaaaaaaaaaaaaaaa -> 1

Iteration: 1

Processing reations:
  bbb -> 1
  aaaaaaab -> ba
  aaaaaaaaaaaaaaaaaaa -> 1

Expanding tree:
  Depth: 18
    Found: aaaaaaa -> babb
    Proof: babb + b = ba = aaaaaaa + b

Iteration: 2

Processing reations:
  bbb -> 1
  aaaaaaa -> babb
  aaaaaaab -> ba
    Reduced
  aaaaaaaaaaaaaaaaaaa -> 1
    Reduced
    Added: baabbaaaaa -> 1

Iteration: 3

Processing reations:
  bbb -> 1
  aaaaaaa -> babb
  baabbaaaaa -> 1

Expanding tree:
  Depth: 11
    Found: abaabbaaaa -> 1
    Proof: abaabbaaaa + a = a = 1 + a

Iteration: 4

Processing reations:
  bbb -> 1
  aaaaaaa -> babb
  abaabbaaaa -> 1
  baabbaaaaa -> 1
    Removed
    Found: baabba == abaabb
    Proof: baabbaaaa + a = 1 = abaabbaaa + a

Iteration: 5

Processing reations:
  bbb -> 1
  baabba == abaabb
  aaaaaaa -> babb
  abaabbaaaa -> 1
    Reduced
    Added: aaaaabaabb -> 1

Iteration: 6

Processing reations:
  bbb -> 1
  baabba == abaabb
  aaaaaaa -> babb
  aaaaabaabb -> 1
    Removed
    Found: aaaaabaa -> b
    Proof: aaaaabaab + b = 1 = bb + b

Iteration: 7

Processing reations:
  bbb -> 1
  baabba == abaabb
  aaaaaaa -> babb
  aaaaabaa -> b

Expanding tree:
  Depth: 10
    Found: abaaaaab -> bbaaaaa
    Proof: abaaaaaba + a = abb = bbaaaaaa + a

Iteration: 8

Processing reations:
  bbb -> 1
  baabba == abaabb
  aaaaaaa -> babb
  aaaaabaa -> b
  abaaaaab -> bbaaaaa

Expanding tree:
  Depth: 9
    Found: babaaaaa -> aaaaabb
    Proof: babaaaaa + b = aaaaa = aaaaabb + b

Iteration: 9

Processing reations:
  bbb -> 1
  baabba == abaabb
  aaaaaaa -> babb
  aaaaabaa -> b
  abaaaaab -> bbaaaaa
  babaaaaa -> aaaaabb

Expanding tree:
  Depth: 10
    Found: baaaaaab == aababaaa
    Proof: baaaaaaba + a = bab = aababaaaa + a

Iteration: 10

Processing reations:
  bbb -> 1
  baabba == abaabb
  aaaaaaa -> babb
  aaaaabaa -> b
  abaaaaab -> bbaaaaa
  baaaaaab == aababaaa
  babaaaaa -> aaaaabb

Expanding tree:
  Depth: 10
    Found: bbaaaaaba == aaaabaabb
    Proof: bbaaaaaba + a = 1 = aaaabaabb + a

Iteration: 11

Processing reations:
  bbb -> 1
  baabba == abaabb
  aaaaaaa -> babb
  aaaaabaa -> b
  abaaaaab -> bbaaaaa
  baaaaaab == aababaaa
  babaaaaa -> aaaaabb
  bbaaaaaba == aaaabaabb

Expanding tree:
  Depth: 9
    Found: bbaaaaa == aaabaab
    Proof: aaabaabb + a = aaaabaabb = bbaaaaab + a

Iteration: 12

Processing reations:
  bbb -> 1
  baabba == abaabb
  aaaaaaa -> babb
  bbaaaaa == aaabaab
  aaaaabaa -> b
  abaaaaab -> bbaaaaa
    Reduced
    Added: baaa -> aab

Iteration: 13

Processing reations:
  bbb -> 1
  baaa -> aab
  baabba == abaabb
  aaaaaaa -> babb
  bbaaaaa == aaabaab
    Reduced
    Added: aaabaab -> baabaa

Iteration: 14

Processing reations:
  bbb -> 1
  baaa -> aab
  baabba == abaabb
  aaaaaaa -> babb
  aaabaab -> baabaa
  aaaaabaa -> b
  baaaaaab == aababaaa
    Reduced
  babaaaaa -> aaaaabb
    Reduced
    Added: baaabaa == aaaaabb

Iteration: 15

Processing reations:
  bbb -> 1
  baaa -> aab
  baabba == abaabb
  aaaaaaa -> babb
  aaabaab -> baabaa
  baaabaa == aaaaabb
    Reduced
    Added: aaabb -> bbaa

Iteration: 16

Processing reations:
  bbb -> 1
  baaa -> aab
  aaabb -> bbaa
  baabba == abaabb
  aaaaaaa -> babb
  aaabaab -> baabaa
  aaaaabaa -> b
  bbaaaaaba == aaaabaabb
    Reduced
    Added: baabaaba == abaabaab

Iteration: 17

Processing reations:
  bbb -> 1
  baaa -> aab
  aaabb -> bbaa
  baabba == abaabb
  aaaaaaa -> babb
  aaabaab -> baabaa
  aaaaabaa -> b
  baabaaba == abaabaab

Expanding tree:
  Depth: 8
    Found: ababa -> bb
    Proof: ababaa + a = bbaa = bba + a

Iteration: 18

Processing reations:
  bbb -> 1
  baaa -> aab
  aaabb -> bbaa
  ababa -> bb
  baabba == abaabb
  aaaaaaa -> babb
  aaabaab -> baabaa
  aaaaabaa -> b
  baabaaba == abaabaab

Expanding tree:
  Depth: 8
    Found: aaabab -> babaa
    Proof: aaabab + a = aabb = babaa + a

Iteration: 19

Processing reations:
  bbb -> 1
  baaa -> aab
  aaabb -> bbaa
  ababa -> bb
  aaabab -> babaa
  baabba == abaabb
  aaaaaaa -> babb
  aaabaab -> baabaa
  aaaaabaa -> b
  baabaaba == abaabaab

Expanding tree:
  Depth: 8
    Found: aaaaba -> bbabb
    Proof: aaaaba + b = bba = bbabb + b

Iteration: 20

Processing reations:
  bbb -> 1
  baaa -> aab
  aaabb -> bbaa
  ababa -> bb
  aaaaba -> bbabb
  aaabab -> babaa
  baabba == abaabb
  aaaaaaa -> babb
  aaabaab -> baabaa
  aaaaabaa -> b
    Reduced
    Added: abbabba -> b

Iteration: 21

Processing reations:
  bbb -> 1
  baaa -> aab
  aaabb -> bbaa
  ababa -> bb
  aaaaba -> bbabb
  aaabab -> babaa
  baabba == abaabb
  aaaaaaa -> babb
  aaabaab -> baabaa
  abbabba -> b
  baabaaba == abaabaab

Expanding tree:
  Depth: 8
    Found: baabab == aaaaaa
    Proof: baabab + a = babb = aaaaaa + a

Iteration: 22

Processing reations:
  bbb -> 1
  baaa -> aab
  aaabb -> bbaa
  ababa -> bb
  aaaaba -> bbabb
  aaabab -> babaa
  baabab == aaaaaa
  baabba == abaabb
  aaaaaaa -> babb
  aaabaab -> baabaa
  abbabba -> b
  baabaaba == abaabaab

Expanding tree:
  Depth: 8
    Found: abaaba -> bab
    Proof: abaaba + b = babb = bab + b

Iteration: 23

Processing reations:
  bbb -> 1
  baaa -> aab
  aaabb -> bbaa
  ababa -> bb
  aaaaba -> bbabb
  aaabab -> babaa
  abaaba -> bab
  baabab == aaaaaa
  baabba == abaabb
  aaaaaaa -> babb
  aaabaab -> baabaa
  abbabba -> b
  baabaaba == abaabaab
    Reduced

Expanding tree:
  Depth: 7
    Found: bbaab -> aaa
    Proof: bbaaba + b = aaaab = aaaa + b

Iteration: 24

Processing reations:
  bbb -> 1
  baaa -> aab
  aaabb -> bbaa
  ababa -> bb
  bbaab -> aaa
  aaaaba -> bbabb
  aaabab -> babaa
  abaaba -> bab
  baabab == aaaaaa
  baabba == abaabb
  aaaaaaa -> babb
  aaabaab -> baabaa
  abbabba -> b

Expanding tree:
  Depth: 7
    Found: babbaa == aababb
    Proof: babbaa + b = aaba = aababb + b

Iteration: 25

Processing reations:
  bbb -> 1
  baaa -> aab
  aaabb -> bbaa
  ababa -> bb
  bbaab -> aaa
  aaaaba -> bbabb
  aaabab -> babaa
  abaaba -> bab
  baabab == aaaaaa
  baabba == abaabb
  babbaa == aababb
  aaaaaaa -> babb
  aaabaab -> baabaa
  abbabba -> b

Expanding tree:
  Depth: 7
    Found: bbaba == abbab
    Proof: bbabab + a = b = abbabb + a

Iteration: 26

Processing reations:
  bbb -> 1
  baaa -> aab
  aaabb -> bbaa
  ababa -> bb
  bbaab -> aaa
  bbaba == abbab
  aaaaba -> bbabb
  aaabab -> babaa
  abaaba -> bab
  baabab == aaaaaa
  baabba == abaabb
  babbaa == aababb
  aaaaaaa -> babb
  aaabaab -> baabaa
  abbabba -> b

Expanding tree:
  Depth: 7
    Found: babbab -> aba
    Proof: babbab + a = abaa = aba + a

Iteration: 27

Processing reations:
  bbb -> 1
  baaa -> aab
  aaabb -> bbaa
  ababa -> bb
  bbaab -> aaa
  bbaba == abbab
  aaaaba -> bbabb
  aaabab -> babaa
  abaaba -> bab
  baabab == aaaaaa
  baabba == abaabb
  babbaa == aababb
  babbab -> aba
  aaaaaaa -> babb
  aaabaab -> baabaa
  abbabba -> b

Expanding tree:
  Depth: 6
    Found: babba == ababb
    Proof: ababb + b = aba = babba + b

Iteration: 28

Processing reations:
  bbb -> 1
  baaa -> aab
  aaabb -> bbaa
  ababa -> bb
  babba == ababb
  bbaab -> aaa
  bbaba == abbab
  aaaaba -> bbabb
  aaabab -> babaa
  abaaba -> bab
  baabab == aaaaaa
  baabba == abaabb
  babbaa == aababb
    Reduced
  babbab -> aba
    Reduced
  aaaaaaa -> babb
  aaabaab -> baabaa
  abbabba -> b
    Reduced
    Added: ababab -> 1

Iteration: 29

Processing reations:
  bbb -> 1
  baaa -> aab
  aaabb -> bbaa
  ababa -> bb
  babba == ababb
  bbaab -> aaa
  bbaba == abbab
  aaaaba -> bbabb
  aaabab -> babaa
  abaaba -> bab
  ababab -> 1
    Reduced
  baabab == aaaaaa
  baabba == abaabb
  aaaaaaa -> babb
  aaabaab -> baabaa

Expanding tree:
  Depth: 8
    Found: babaabb -> aaaba
    Proof: babaabb + b = babaa = aaaba + b

Iteration: 30

Processing reations:
  bbb -> 1
  baaa -> aab
  aaabb -> bbaa
  ababa -> bb
  babba == ababb
  bbaab -> aaa
  bbaba == abbab
  aaaaba -> bbabb
  aaabab -> babaa
  abaaba -> bab
  baabab == aaaaaa
  baabba == abaabb
  aaaaaaa -> babb
  aaabaab -> baabaa
  babaabb -> aaaba

Expanding tree:
  Depth: 8
    Found: baabaabb -> aaabaa
    Proof: baabaabb + a = aaaaab = aaabaa + a

Iteration: 31

Processing reations:
  bbb -> 1
  baaa -> aab
  aaabb -> bbaa
  ababa -> bb
  babba == ababb
  bbaab -> aaa
  bbaba == abbab
  aaaaba -> bbabb
  aaabab -> babaa
  abaaba -> bab
  baabab == aaaaaa
  baabba == abaabb
  aaaaaaa -> babb
  aaabaab -> baabaa
  babaabb -> aaaba
  baabaabb -> aaabaa

Expanding tree:
  Depth: 7
  Graph has been finished.

Reduction set:
  bbb -> 1
  baaa -> aab
  aaabb -> bbaa
  ababa -> bb
  babba == ababb
  bbaab -> aaa
  bbaba == abbab
  aaaaba -> bbabb
  aaabab -> babaa
  abaaba -> bab
  baabab == aaaaaa
  baabba == abaabb
  aaaaaaa -> babb
  aaabaab -> baabaa
  babaabb -> aaaba
  baabaabb -> aaabaa

Используется синтаксис Text

Starting relations:
  baaa -> aab
  ababab -> 1

Iteration: 1

Processing reations:
  baaa -> aab
  ababab -> 1

Expanding tree:
  Depth: 7
    Found: bababa -> 1
    Proof: bababa + b = b = 1 + b

Iteration: 2

Processing reations:
  baaa -> aab
  ababab -> 1
  bababa -> 1

Expanding tree:
  Depth: 9
    Found: aabbabab -> baa
    Proof: aabbabab + a = aab = baa + a

Iteration: 3

Processing reations:
  baaa -> aab
  ababab -> 1
  bababa -> 1
  aabbabab -> baa

Expanding tree:
  Depth: 9
    Found: bababbaa -> abbabab
    Proof: bababbaa + a = ab = abbabab + a

Iteration: 4

Processing reations:
  baaa -> aab
  ababab -> 1
  bababa -> 1
  aabbabab -> baa
  bababbaa -> abbabab

Expanding tree:
  Depth: 10
    Found: aabbbabab -> babaa
    Proof: aabbbabab + a = aabb = babaa + a

Iteration: 5

Processing reations:
  baaa -> aab
  ababab -> 1
  bababa -> 1
  aabbabab -> baa
  bababbaa -> abbabab
  aabbbabab -> babaa

Expanding tree:
  Depth: 10
    Found: baabaabaa -> 1
    Proof: baabaabaa + a = a = 1 + a

Iteration: 6

Processing reations:
  baaa -> aab
  ababab -> 1
  bababa -> 1
  aabbabab -> baa
  bababbaa -> abbabab
  aabbbabab -> babaa
  baabaabaa -> 1
    Removed
    Found: abaaba -> bab
    Proof: baabaaba + a = 1 = babab + a

Iteration: 7

Processing reations:
  baaa -> aab
  abaaba -> bab
  ababab -> 1
  bababa -> 1
  aabbabab -> baa
  bababbaa -> abbabab
  aabbbabab -> babaa

Expanding tree:
  Depth: 8
    Found: aaabaab -> baabaa
    Proof: aaabaab + a = aabab = baabaa + a

Iteration: 8

Processing reations:
  baaa -> aab
  abaaba -> bab
  ababab -> 1
  bababa -> 1
  aaabaab -> baabaa
  aabbabab -> baa
  bababbaa -> abbabab
  aabbbabab -> babaa

Expanding tree:
  Depth: 8
    Found: aaabba -> baab
    Proof: aaabbaa + a = baabaa = baaba + a

Iteration: 9

Processing reations:
  baaa -> aab
  aaabba -> baab
  abaaba -> bab
  ababab -> 1
  bababa -> 1
  aaabaab -> baabaa
  aabbabab -> baa
  bababbaa -> abbabab
  aabbbabab -> babaa

Expanding tree:
  Depth: 8
    Found: aaabb -> bbaa
    Proof: bbaa + a = baab = aaabb + a

Iteration: 10

Processing reations:
  baaa -> aab
  aaabb -> bbaa
  aaabba -> baab
    Reduced
  abaaba -> bab
  ababab -> 1
  bababa -> 1
  aaabaab -> baabaa
  aabbabab -> baa
  bababbaa -> abbabab
  aabbbabab -> babaa

Expanding tree:
  Depth: 8
    Found: ababa -> bb
    Proof: ababaa + a = bbaa = bba + a

Iteration: 11

Processing reations:
  baaa -> aab
  aaabb -> bbaa
  ababa -> bb
  abaaba -> bab
  ababab -> 1
    Reduced
    Added: bbb -> 1

Iteration: 12

Processing reations:
  bbb -> 1
  baaa -> aab
  aaabb -> bbaa
  ababa -> bb
  abaaba -> bab
  bababa -> 1
    Reduced
  aaabaab -> baabaa
  aabbabab -> baa
  bababbaa -> abbabab
  aabbbabab -> babaa
    Reduced
    Added: aaabab -> babaa

Iteration: 13

Processing reations:
  bbb -> 1
  baaa -> aab
  aaabb -> bbaa
  ababa -> bb
  aaabab -> babaa
  abaaba -> bab
  aaabaab -> baabaa
  aabbabab -> baa
  bababbaa -> abbabab

Expanding tree:
  Depth: 7
    Found: aabbaba -> baabb
    Proof: baabb + b = baa = aabbaba + b

Iteration: 14

Processing reations:
  bbb -> 1
  baaa -> aab
  aaabb -> bbaa
  ababa -> bb
  aaabab -> babaa
  abaaba -> bab
  aaabaab -> baabaa
  aabbaba -> baabb
  aabbabab -> baa
    Reduced
  bababbaa -> abbabab

Expanding tree:
  Depth: 7
    Found: aaaaba -> bbabb
    Proof: aaaaba + b = bba = bbabb + b

Iteration: 15

Processing reations:
  bbb -> 1
  baaa -> aab
  aaabb -> bbaa
  ababa -> bb
  aaaaba -> bbabb
  aaabab -> babaa
  abaaba -> bab
  aaabaab -> baabaa
  aabbaba -> baabb
  bababbaa -> abbabab

Expanding tree:
  Depth: 7
    Found: bbaab -> aaa
    Proof: bbaabb + b = bbaa = aaab + b

Iteration: 16

Processing reations:
  bbb -> 1
  baaa -> aab
  aaabb -> bbaa
  ababa -> bb
  bbaab -> aaa
  aaaaba -> bbabb
  aaabab -> babaa
  abaaba -> bab
  aaabaab -> baabaa
  aabbaba -> baabb
  bababbaa -> abbabab

Expanding tree:
  Depth: 7
    Found: babbaa == aababb
    Proof: babbaa + b = aaba = aababb + b

Iteration: 17

Processing reations:
  bbb -> 1
  baaa -> aab
  aaabb -> bbaa
  ababa -> bb
  bbaab -> aaa
  aaaaba -> bbabb
  aaabab -> babaa
  abaaba -> bab
  babbaa == aababb
  aaabaab -> baabaa
  aabbaba -> baabb
  bababbaa -> abbabab
    Reduced
    Added: bbaba == abbab

Iteration: 18

Processing reations:
  bbb -> 1
  baaa -> aab
  aaabb -> bbaa
  ababa -> bb
  bbaab -> aaa
  bbaba == abbab
  aaaaba -> bbabb
  aaabab -> babaa
  abaaba -> bab
  babbaa == aababb
  aaabaab -> baabaa
  aabbaba -> baabb
    Reduced
    Added: aaabba -> baab

Iteration: 19

Processing reations:
  bbb -> 1
  baaa -> aab
  aaabb -> bbaa
  ababa -> bb
  bbaab -> aaa
  bbaba == abbab
  aaaaba -> bbabb
  aaabab -> babaa
  aaabba -> baab
    Reduced
  abaaba -> bab
  babbaa == aababb
  aaabaab -> baabaa

Expanding tree:
  Depth: 8
    Found: aababba -> babaab
    Proof: aababba + a = bbab = babaab + a

Iteration: 20

Processing reations:
  bbb -> 1
  baaa -> aab
  aaabb -> bbaa
  ababa -> bb
  bbaab -> aaa
  bbaba == abbab
  aaaaba -> bbabb
  aaabab -> babaa
  abaaba -> bab
  babbaa == aababb
  aaabaab -> baabaa
  aababba -> babaab

Expanding tree:
  Depth: 7
    Found: babba == ababb
    Proof: ababba + a = babaab = aababb + a

Iteration: 21

Processing reations:
  bbb -> 1
  baaa -> aab
  aaabb -> bbaa
  ababa -> bb
  babba == ababb
  bbaab -> aaa
  bbaba == abbab
  aaaaba -> bbabb
  aaabab -> babaa
  abaaba -> bab
  babbaa == aababb
    Reduced
  aaabaab -> baabaa
  aababba -> babaab
    Reduced

Expanding tree:
  Depth: 8
    Found: baabab == aaaaaa
    Proof: baababb + a = aabbabb = aaaaaab + a

Iteration: 22

Processing reations:
  bbb -> 1
  baaa -> aab
  aaabb -> bbaa
  ababa -> bb
  babba == ababb
  bbaab -> aaa
  bbaba == abbab
  aaaaba -> bbabb
  aaabab -> babaa
  abaaba -> bab
  baabab == aaaaaa
  aaabaab -> baabaa

Expanding tree:
  Depth: 8
    Found: baabbaa == aabaabb
    Proof: baabbaa + b = aabaa = aabaabb + b

Iteration: 23

Processing reations:
  bbb -> 1
  baaa -> aab
  aaabb -> bbaa
  ababa -> bb
  babba == ababb
  bbaab -> aaa
  bbaba == abbab
  aaaaba -> bbabb
  aaabab -> babaa
  abaaba -> bab
  baabab == aaaaaa
  aaabaab -> baabaa
  baabbaa == aabaabb

Expanding tree:
  Depth: 8
    Found: baabbab -> abaa
    Proof: baabbab + a = aaab = abaa + a

Iteration: 24

Processing reations:
  bbb -> 1
  baaa -> aab
  aaabb -> bbaa
  ababa -> bb
  babba == ababb
  bbaab -> aaa
  bbaba == abbab
  aaaaba -> bbabb
  aaabab -> babaa
  abaaba -> bab
  baabab == aaaaaa
  aaabaab -> baabaa
  baabbaa == aabaabb
  baabbab -> abaa

Expanding tree:
  Depth: 7
    Found: baabba == abaabb
    Proof: abaabb + b = abaa = baabba + b

Iteration: 25

Processing reations:
  bbb -> 1
  baaa -> aab
  aaabb -> bbaa
  ababa -> bb
  babba == ababb
  bbaab -> aaa
  bbaba == abbab
  aaaaba -> bbabb
  aaabab -> babaa
  abaaba -> bab
  baabab == aaaaaa
  baabba == abaabb
  aaabaab -> baabaa
  baabbaa == aabaabb
    Reduced
  baabbab -> abaa
    Reduced

Expanding tree:
  Depth: 8
    Found: babaabb -> aaaba
    Proof: babaabb + b = babaa = aaaba + b

Iteration: 26

Processing reations:
  bbb -> 1
  baaa -> aab
  aaabb -> bbaa
  ababa -> bb
  babba == ababb
  bbaab -> aaa
  bbaba == abbab
  aaaaba -> bbabb
  aaabab -> babaa
  abaaba -> bab
  baabab == aaaaaa
  baabba == abaabb
  aaabaab -> baabaa
  babaabb -> aaaba

Expanding tree:
  Depth: 9
    Found: aaaaaaab -> ba
    Proof: aaaaaaab + a = baa = ba + a

Iteration: 27

Processing reations:
  bbb -> 1
  baaa -> aab
  aaabb -> bbaa
  ababa -> bb
  babba == ababb
  bbaab -> aaa
  bbaba == abbab
  aaaaba -> bbabb
  aaabab -> babaa
  abaaba -> bab
  baabab == aaaaaa
  baabba == abaabb
  aaabaab -> baabaa
  babaabb -> aaaba
  aaaaaaab -> ba

Expanding tree:
  Depth: 7
    Found: aaaaaaa -> babb
    Proof: babb + b = ba = aaaaaaa + b

Iteration: 28

Processing reations:
  bbb -> 1
  baaa -> aab
  aaabb -> bbaa
  ababa -> bb
  babba == ababb
  bbaab -> aaa
  bbaba == abbab
  aaaaba -> bbabb
  aaabab -> babaa
  abaaba -> bab
  baabab == aaaaaa
  baabba == abaabb
  aaaaaaa -> babb
  aaabaab -> baabaa
  babaabb -> aaaba
  aaaaaaab -> ba
    Reduced

Expanding tree:
  Depth: 8
    Found: baabaabb -> aaabaa
    Proof: baabaabb + a = aaaaab = aaabaa + a

Iteration: 29

Processing reations:
  bbb -> 1
  baaa -> aab
  aaabb -> bbaa
  ababa -> bb
  babba == ababb
  bbaab -> aaa
  bbaba == abbab
  aaaaba -> bbabb
  aaabab -> babaa
  abaaba -> bab
  baabab == aaaaaa
  baabba == abaabb
  aaaaaaa -> babb
  aaabaab -> baabaa
  babaabb -> aaaba
  baabaabb -> aaabaa

Expanding tree:
  Depth: 7
  Graph has been finished.

Reduction set:
  bbb -> 1
  baaa -> aab
  aaabb -> bbaa
  ababa -> bb
  babba == ababb
  bbaab -> aaa
  bbaba == abbab
  aaaaba -> bbabb
  aaabab -> babaa
  abaaba -> bab
  baabab == aaaaaa
  baabba == abaabb
  aaaaaaa -> babb
  aaabaab -> baabaa
  babaabb -> aaaba
  baabaabb -> aaabaa

[B@R5uk]

Давно уже у меня в закромах имеется представление группы QD16 двумя соотношениями, сейчас нашёл ещё одно:

$$G_{16}^8=QD16=\mathbb{Z}_8\rtimes\mathbb{Z}_2=Q_8\rtimes\mathbb{Z}_2=\left\langle\;a,\;b\;|\;b^2=I,\;bab=a^3\right\rangle=\left\langle\;a,\;b\;|\;(a^2b)^2=I,\;ab=ba^3\right\rangle$$

Образующие общие (a — порядка 8), одно из другого выводится.

А если взять по одному соотношению из каждой пары, то получится группа 48-го порядка, но я пока не знаю, какая (не составлял полный список для этого порядка):

$$G_{48}=\left\langle\;a,\;b\;|\;(a^2b)^2=I,\;bab=a^3\right\rangle$$

[B@R5uk]

Группа 126-го порядка:

$$G_{126}=\left\langle\;a,\;b\;|\;a^3=I,\;bab^2a=ab\right\rangle$$

Элемент b имеет 6-й порядок, bab — 21-й порядок, а элемент aba — 14-й. Содержит подгруппу $\mathbb{Z}_7\rtimes\mathbb{Z}_3$, которая получается добавлением соотношения:

$$b^3=I$$

[B@R5uk]

Эта группа 126-го порядка на самом деле полупрямое произведение:

$$G_{126}=\mathbb{Z}_{21}\overset{2}{\rtimes}\mathbb{Z}_6=\left\langle\;c,\;d\;|\;c^{21}=d^6=I,\;dc=c^2d\;\right\rangle$$

[B@R5uk]

Очередной образчик группы с двумя соотношениями. Я походу дела кучу других нашёл, большего (кратного) размера, но искал я соотношения именно для этой группы:

$$\mathbb{Z}_{13}\overset{5}{\rtimes}\mathbb{Z}_4=\left\langle\;a,\;b\;|\;a^{13}=b^4=I,\;ab=ba^5\;\right\rangle=\left\langle\;a,\;b\;|\;a^3b=ba^2,\;b^3ab=a^5\;\right\rangle$$

Образующие одни и те же. То есть одно из другого и наоборот должно получаться. Второе соотношение во втором наборе получается из второго и третьего соотношений первого набора очевидным образом, а с остальными надо повозиться.

-- 29.07.2024, 22:31 --

ОК, в обратную сторону. Нашёл красивый вывод. Берём второе соотношение, домножаем его спереди на 9-ю степень a и применяем первое соотношение в прямую сторону до упора, вторая степень a сократится сзади:

$$a^{14}=a^9b^3ab=b^2ab^2a^2$$

$$a^{12}=b^2ab^2$$

Домножаем спереди на b подставляем второе выражение:

$$ba^{12}=b^3ab^2=a^5b$$

Применяем первое соотношение справа в обратную сторону один раз, а слева — в прямую сторону почти по упора, потом сокращаем:

$$a^{15}ba^2=a^2ba^2$$

$$a^{13}=I$$

[B@R5uk]

К левой части равенства применяем первое соотношение, получаем правую часть равенства

$$b^5a^4=a^{27}b^3ab^2$$

Тут степени работают так: первое (обменное) соотношение при прогоне b заменяет 2-ю степень a справа на 3-ю степень слева. После двух прогонов получается:

$$4\cdot\left(\frac{3}{2}\right)^2=9$$

Отщепляется одна степень a и делается прогон остальных трёх степеней b:

$$(9-1)\cdot\left(\frac{3}{2}\right)^3=27$$

Теперь подставляем в правую часть второе соотношение и делаем обратный прогон на два шага (отнимается 6 степеней, возвращается — 4-ре):

$$b^5a^4=a^{32}b=a^{26}ba^4$$

Сокращаем, применяем полученное выше выражение для a:

$$b^4=a^{26}=I$$

-- 29.07.2024, 23:40 --

Теперь я целую серию групп нащупал. Дициклические группы (нижний индекс у Q — порядок группы):

$$Q_{4n}=\left\langle\;c,\;d\;|\;c^{n-1}=dcd,\;cdc=d\;\right\rangle$$

В частности:

$$Q_8=\left\langle\;c,\;d\;|\;dcd=c,\;cdc=d\;\right\rangle$$

[B@R5uk]

На самом деле это те же самые образующие, что и в каноническом представлении:

$$Q_{4n}=\left\langle\;a,\;x\;|\;a^{2n}=I,\;a^n=x^2,\;x^{-1}ax=a^{-1}\;\right\rangle=\left\langle\;a,\;x\;|\;a^{n-1}=xax,\;axa=x\;\right\rangle$$

Доказательство в обратную сторону. С последним соотношением всё понятно в обоих случаях это одно и то же, только справа оно переписано без отрицательных степеней. Остальные два:

$$a^n=(a^{n-1})a=(xax)a=x(axa)=x^2$$

$$x^4a^n=x(x^2)xa^n=xa^nxa^n=xa^{n-1}(axa)a^{n-1}=xa^{n-1}xa^{n-1}=\ldots=x^2=a^n$$

$$a^{2n}=x^4=I$$

-- 30.07.2024, 09:22 --

Интересно ещё заметить, что отталкиваясь от первого соотношения в правом задании по индукции можно получить:

$$xa^mx=a^{n-m}$$

$$xa^{m+1}xa=xa^m(axa)=xa^mx=a^{n-m}$$

$$xa^{m+1}x=a^{n-(m+1)}$$

[B@R5uk]

Группа

$$\mathbb{Z}_5\overset{2}{\rtimes}\mathbb{Z}_4=\left\langle\;a,\;b\;|\;a^5=b^4=I,\;ab=ba^2\;\right\rangle$$

имеет целую кучу компактных представлений. Некоторые из них:

$$\mathbb{Z}_5\overset{2}{\rtimes}\mathbb{Z}_4=\left\langle\;a,\;b\;|\;(ab)^2=b^2a,\;b^3ab=a^2\;|\;(ab)^2=b^2a,\;b^2ab^2=a^4\;|\;ab=ba^2,\;bab^3=a^3\;\right\rangle$$

[B@R5uk]

Группа

$$\mathrm{Q}_{28}=\left\langle\;a,\;x\;|\;a^{14}=I,\;a^7=x^2,\;axa=x\;\right\rangle$$

которая в то же время является полупрямым произведением

$$\mathrm{Q}_{28}\simeq\mathbb{Z}_7\overset{6}{\rtimes}\mathbb{Z}_4=\left\langle\;a,\;b\;|\;a^7=b^4=I,\;ba=a^6b\;\right\rangle$$

может быть задана такими парами соотношений (малые степени расписаны в виде произведения для наглядности):

$$baaaa=aaab,\;\;\;\;\,babbb=a^6$$

$$aaaab=baaa,\;\;\;\;\,babbb=a^6$$

$$baaaa=aaab,\;\;\,baabbb=a^5$$

$$aaaab=baaa,\;\;\,baabbb=a^5$$

$$baaaa=aaab,\;baaabbb=a^4$$

В этих парах первое соотношение является обменным соотношением ${}_{{}_{{}_.}}ba=a^6b$, переписанным с учётом ${}_{{}_{{}_.}}a^7=I$, а второе (для первых двух пар) — с учётом ${}_{{}_{{}_.}}b^4=I$ При всём при этом, аналогичное соотношение из этой же серии

$$aaaab=baaa,\;baaabbb=a^4$$

задаёт группу 700-го порядка:

$$\mathbb{Z}_{175}\overset{118}{\rtimes}\mathbb{Z}_4=\left\langle\;a,\;b\;|\;a^{175}=b^4=I,\;ba=a^{118}b\;\right\rangle\simeq\mathbb{Z}_{25}\rtimes\mathrm{Q}_{28}$$

Интересно, почему так получается?

[B@R5uk]

Группа $\mathrm{Q}_8\times\mathbb{Z}_3$ (которая по-другому не факторизуется) имеет следующие два кратких представления:

$$\left\langle\;a,\;b\;|\;a^2=b^2,\;ba=a^7b\;\right\rangle$$

$$\left\langle\;a,\;b\;|\;a^6=b^2,\;aba=b\;\right\rangle$$

В первом образующие a и b имеют порядок 12, а во втором — порядок 12 и 4 соответственно.

При этом численный эксперимент утверждает, что соотношения

$$\left\langle\;a,\;b\;|\;a^2=b^2,\;ba=a^{4l+3}b\;\right\rangle$$

$$\left\langle\;a,\;b\;|\;a^{4l+2}=b^2,\;aba=b\;\right\rangle$$

задают группу $\mathrm{Q}_8\times\mathbb{Z}_{2l+1}$ (с нулевым параметром получается просто $\mathrm{Q}_8$), а соотношения

$$\left\langle\;a,\;b\;|\;a^2=b^2,\;ba=a^{4l+1}b\;\right\rangle$$

$$\left\langle\;a,\;b\;|\;a^{4l}=b^2,\;aba=b\;\right\rangle$$

задают некоторую разновидность $\mathbb{Z}_{8l}\rtimes\mathbb{Z}_2$, которая, как правило, имеет несколько других факторизаций. Надо бы это как-то строго доказать, за одно найти обменную степень полупрямого произведения во втором случае.

[B@R5uk]

Группа

$$\mathrm{D}_{14}\times\mathbb{Z}_3=\mathbb{Z}_{21}\overset{13}{\rtimes}\mathbb{Z}_2=\mathbb{Z}_{7}\overset{6}{\rtimes}\mathbb{Z}_6$$

имеет задание

$$\left\langle\;a,\;b\;|\;ba^2b=a^5,\;b^2=I\;\right\rangle$$

Сведение ко второй форме:

$$ba^5=a^2b$$

$$a^{25}=b^2a^{25}=ba^2ba^{20}=\ldots=ba^{10}b=a^2ba^5b=a^4b^2=a^4$$

$$a^{21}=I$$

$$b=a^2ba^{16}=a^4ba^{11}=\ldots=a^6ba$$

$$ba=a^{13}b$$

[B@R5uk]

Группа

$$\mathbb{Z}_{3}\rtimes\mathbb{Z}_8$$

кроме краткого задания в образующих 3-8:

$$\left\langle\;a,\;b\;|\;bab^7=a^2,\;ab=ba^2\;\right\rangle$$

имеет ещё краткое задание в образующих 12-8:

$$\left\langle\;c,\;d\;|\;c^{12}=I,\;c^3=d^2,\;cd=dc^5\;\right\rangle$$

где первое соотношение не нужно (выводится из следующих двух; отправная точка — третья степень d). В результате получается целая серия коротких заданий:

$$\mathbb{Z}_{3}\rtimes\mathbb{Z}_8=\left\langle\;c,\;d\;|\;c^3=d^2,\;R\;\right\rangle$$

где R — одно из следующих соотношений:

$$cd=dc^5,\quad cdc=d^5,\quad dc=c^2d^3,\quad c^2dc^2=d,\quad dcd^4=cdc^2$$

И даже такое задание тоже работает для этой группы в этих же образующих:

$$\mathbb{Z}_{3}\rtimes\mathbb{Z}_8=\left\langle\;c,\;d\;|\;c^2dcd^2=dc^2,\;dcd^4=cdc^2\;\right\rangle$$