Animated Logical Graphs • 60

Re: Laws of FormLyle Anderson
Re: Richard J. LiptonThe Art Of Math
Re: Animated Logical Graphs • (57)(58)(59)

Definition 1.  A group (G, *) is a set G together with a binary operation * : G \times G \to G satisfying the following three conditions.
  1. Associativity.  For any x, y, z \in G, we have (x * y) * z = x * (y * z).
  2. Identity.  There is an identity element e \in G such that \forall g \in G,
    we have e * g = g * e = g.
  3. Inverses.  Each element has an inverse, that is, for each g \in G,
    there is some h \in G such that g * h = h * g = e.

Dear Lyle,

Thanks for supplying that definition of a mathematical group.  It will afford us a wealth of useful concepts and notations as we proceed.  As you know, the above three axioms define what is properly called an abstract group.  Over the course of group theory’s history this definition was gradually abstracted from the more concrete examples of permutation groups and transformation groups initially arising in the theory of equations and their solvability.

As it happens, the application of group theory I’ll be developing over the next several posts will be using the more concrete type of structure, where a transformation group G is said to “act on” a set X by permuting its elements among themselves.  In the work we do here, each group G we contemplate will act a set X which may be viewed as either one of two things, either a canonical set of expressions in a formal language or the mathematical objects denoted by those expressions.

What you say about deriving arithmetic, algebra, group theory, and all the rest from the calculus of indications may well be true, but it remains to be shown if so, and that’s a ways down the road from here.


cc: Cybernetics (1) (2)Laws of FormFB | Logical Graphs • Ontolog Forum (1) (2)
• Peirce List (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) (11) (12) • Structural Modeling (1) (2)
• Systems Science (1) (2)

This entry was posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Constraint Satisfaction Problems, Deduction, Diagrammatic Reasoning, Duality, Equational Inference, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Painted Cacti, Peirce, Proof Theory, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Theorem Proving, Visualization and tagged , , , , , , , , , , , , , , , , , , , , , , , , , . Bookmark the permalink.

14 Responses to Animated Logical Graphs • 60

  1. Pingback: Animated Logical Graphs • 61 | Inquiry Into Inquiry

  2. Pingback: Survey of Animated Logical Graphs • 3 | Inquiry Into Inquiry

  3. Pingback: Animated Logical Graphs • 62 | Inquiry Into Inquiry

  4. Pingback: Animated Logical Graphs • 63 | Inquiry Into Inquiry

  5. Pingback: Animated Logical Graphs • 66 | Inquiry Into Inquiry

  6. Pingback: Animated Logical Graphs • 69 | Inquiry Into Inquiry

  7. Pingback: Animated Logical Graphs • 70 | Inquiry Into Inquiry

  8. Pingback: Animated Logical Graphs • 71 | Inquiry Into Inquiry

  9. Pingback: Animated Logical Graphs • 72 | Inquiry Into Inquiry

  10. Pingback: Animated Logical Graphs • 73 | Inquiry Into Inquiry

  11. Pingback: Animated Logical Graphs • 74 | Inquiry Into Inquiry

  12. Pingback: Survey of Animated Logical Graphs • 4 | Inquiry Into Inquiry

  13. Pingback: Animated Logical Graphs • 75 | Inquiry Into Inquiry

  14. Pingback: Animated Logical Graphs • 76 | Inquiry Into Inquiry

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.