I Group extensions (question about definitions)

I
Thread starter Korybut
Start date May 27, 2024
Tags

Definition Group

AI Thread Summary

The discussion centers on clarifying the definition of group extensions, specifically the notation ##\mathcal{E}(G,N)##, and whether all extensions are isomorphic or diffeomorphic. There is a request for an explanation of the pullback ##u^*## in relation to the mapping ##u:G' \rightarrow G##. The user expresses a need for foundational resources to better understand the topic. Overall, the conversation aims to deepen comprehension of group extensions and related concepts.

May 27, 2024

Korybut

TL;DR Summary: Definition question

Hello!

I would like to be sure about my understanding of the definition provided in screenshot below

?hash=9ed08cdafeb4fe3619693b2d5cc5441b.jpg

1. What is this ##\mathcal{E}(G,N)##? I know that not all extension are isomorphic so I wonder What are the elements of ##\mathcal{E}## groups? Or maybe all Es diffeomorphic to each other. Don't know...

2. Please explain how ##u^*## is the pullback of ##u:G^\prime \rightarrow G##

3. Very new to the subject so I would be grateful if someone recommends nice manual explainig basics.

Many thanks in advance

Thread 'Formal derivation of statement from Peano Arithmetic system'

I was reading a Bachelor thesis on Peano Arithmetic (PA). PA has the following axioms (not including the induction schema): $$\begin{align} & (A1) ~~~~ \forall x \neg (x + 1 = 0) \nonumber \\ & (A2) ~~~~ \forall xy (x + 1 =y + 1 \to x = y) \nonumber \\ & (A3) ~~~~ \forall x (x + 0 = x) \nonumber \\ & (A4) ~~~~ \forall xy (x + (y +1) = (x + y ) + 1) \nonumber \\ & (A5) ~~~~ \forall x (x \cdot 0 = 0) \nonumber \\ & (A6) ~~~~ \forall xy (x \cdot (y + 1) = (x \cdot y) + x) \nonumber...

View full post »