COSMO · STUDY + TEACHING DECK

Algebra + Computing

December 29, 2025

A question worth sharing

Monoids

One structure behind sums, strings, functions, and parallel computation.

ThinkCompareExplain

Today’s route

A question becomes an explanation.

Try

Enter through a problem. A partial attempt counts.

Connect

Use closure, associativity, identity to name what you notice.

Convince

Build an argument a partner can check.

The goal is a method someone else can use.

The opener

Start with a question.

Opening problem

What do addition, joining strings, and composing moves have in common when repeated many times?

Think · 2 min

Sketch, test a small case, or make a first guess.

Pair · 3 min

Compare methods. Find one thing you agree on and one question.

Be ready to share your route, even if it is unfinished.

Compare before checking

Put two attempts in conversation.

Explain

Tell a partner how you started. Let them finish before responding.

Question

Which step feels certain? Which step still needs evidence?

Build

Combine one useful idea from each attempt into a new route.

Can you explain your partner’s method in your own words?

Board conversation

Notice before naming.

Look for structure

Identify the objects being combined.
Find an object that changes nothing.
Test whether regrouping changes the result.

Make a conjecture

We think ___ because ___. A case that might break this is ___.

What changed? What stayed the same?

Useful language

Now the language has a job.

closure

combining stays in the set

associativity

regrouping is safe

identity

one element changes nothing

Use one of these words to explain something you already noticed.

The core idea

Keep the idea. Explain the conditions.

(a\ast b)\ast c=a\ast(b\ast c),\qquad e\ast a=a\ast e=a

The idea

One structure behind sums, strings, functions, and parallel computation.

What to remember

A small axiom list can explain why very different systems combine safely.

What information does this method keep?

Worked example

One route, one decision at a time

The problem

Do whole numbers under addition form a monoid?

Predict each next step

Closure: sums of whole numbers are whole.
Associativity: (a+b)+c = a+(b+c).
Identity: 0 + a = a + 0 = a.
All three checks pass.

Which step needs a reason, not just a calculation?

See the structure

Associativity lets a long computation be regrouped

(a\ast b)\ast c=a\ast(b\ast c),\qquad e\ast a=a\ast e=a

A monoid has a closed operation, associativity, and a two-sided identity.

Read the representation

If grouping does not change the result, work can be chunked, parallelized, and recombined safely.

Look together

Point to the part that explains the relationship. Change one input and predict what changes.

What can you see here that was harder to see in words?

Two approaches

Compare the reasoning.

Monoid

Whole numbers under addition.
Strings under concatenation.
Functions under composition.

Near miss

Whole numbers under subtraction: not associative.
Positive integers under addition: no identity inside the set.
Nonzero integers under multiplication: not closed under inverse, but still a monoid.

Which route can you justify? What would you test first?

Reasoning clinic

Find the step that needs repair.

Investigate these concerns

Whole numbers under subtraction: not associative.
Positive integers under addition: no identity inside the set.
Nonzero integers under multiplication: not closed under inverse, but still a monoid.

Repair together

Name the missing condition. Try a small counterexample. Rewrite one step so it is justified.

A useful correction explains why the original step fails.

Work together

Sort structures, then defend one boundary

Your shared task

Groups test six sets and operations for closure, associativity, and identity.

Explore

6 min - classify

Compare

4 min - challenge another group

Defend

4 min - repair one near miss

Everyone should be able to explain the group’s final claim.

Share → connect

What did the room discover?

Bring your evidence

Share a conjecture, a useful example, or a route that changed.

Connections to investigate

The set and operation must be named together.
Identity must belong to the set and work on both sides.
A monoid need not have inverses or commutativity.

Which observation explains the mechanism?

Try → explain → check

Your turn to build the route

The problem

Do nonempty strings under concatenation form a monoid?

Predict each next step

Closure holds for joining nonempty strings.
Concatenation is associative.
The empty string would be the identity.
It is excluded, so this set is not a monoid.

Which step needs a reason, not just a calculation?

Convince a skeptic

Turn a pattern into a proof.

The claim

Associativity is what makes divide-and-combine computation reliable.

Build the argument

Split a sequence into chunks.
Reduce each chunk using the same operation.
Associativity guarantees recombining chunk results matches the original order.

What does each step rely on? Where are the conditions used?

Stretch together

Take the idea somewhere new.

Transfer challenge

Change exactly one part of the nonempty-string example so it becomes a monoid.

Choose a route

Name the objects, the conditions, and a relationship that might help. Start with one test case.

What transfers from the earlier example? What is different?

Peer review

Check the argument together.

Restate

Explain the other person’s route before evaluating it.

Test

Try a small case or boundary case. Does every step still make sense?

Revise

Fix an assumption, add a reason, or find a second method.

Where did your thinking change?

Beyond this problem

Where might this idea help?

A connection

Database aggregation, map-reduce, parser design, transformations, and reusable software interfaces all exploit monoid structure.

Discuss the model

What objects or quantities are represented?
Which relationship from today is preserved?
What assumption would you check before trusting it?

Invent one more situation with the same structure.

Exit ticket

Leave with an explanation.

Question 1

Why must the set and operation be named together?

Question 2

What is the identity for string concatenation?

Question 3

Why does associativity matter in parallel work?

Choose one. Write an answer with a reason, then compare with a partner.

Reflect together

Make your thinking visible.

I used to think…

Name a claim or approach that changed.

Now I can explain…

Give the reason, not only the result.

I still wonder…

Write a question worth bringing to the next circle.

Share one sentence. Ask one follow-up question.

The idea to keep

A small axiom list can explain why very different systems combine safely.

For every worksheet example, test closure, associativity, and identity separately.

A good question belongs to everyone in the room.