[paulic]

McLennon: blue + red

[elysian1997]

[matan-matika]

the First Isomorphism Theorem, expanded

In a previous post, we proved the first isomorphism theorem in the form “If φ:G→H is a group homomorphism, then G/Ker(φ) ≅ Im(φ)”

We can restate the theorem, and get some fascinating results.

The theorem states that there exists an isomorphism I:G/Ker(φ) → Im(φ). Now, Im(φ) is a subgroup of H, so we can make function i:G/Ker(φ) → H out of I with all the same values, just a different domain.

i inherits lots of properties from I, just doesn’t go the parts of H that are not in Im(φ). Or, the property we lose is surjectivity.

It still preserves structure (it’s a homomorphism), and it keeps the same 1-to-1 mapping (injectivity).

An injective homomorphism is just saying “take a smaller group, and put it exactly the same in a larger group”

So, we can really restate this theorem as “if φ:G→H is a group homomorphism, then you can do the same thing as φ by quotienting, and then injecting the quotient into H.”

Let’s try it in mathier terms: Let’s say φ:G→H is a group homomorphism, and q:G→G/Ker(φ) is the quotient map, then there exists an injective homomorphism i:G/Ker(φ)→H such that i∘q=φ

Note that function composition does the right most thing first. Also note that even though we still call it “the first isomorphism theorem,” this statement of it doesn’t have any isomorphisms in it.

Here’s a nice diagram of the theorem.

A solid line means “assumed (like φ) or already proven from assumption (like q),” and a dashed line means “the theorem states that this exists (like i)" 

If you see the "φ=i∘q” version, you might realize that this theorem is stating: “For any group homomorphism φ, you can factor φ into a part that crunches it down, q, and a part that puts the crunched down part into the target group, i.”

Here’s a homomorphism from the Klein 4 group, which we denote V, toanother copy of V.

Here is it factored into a quotient and an injection.

[matan-matika]

First Isomorphism theorem

Say φ:G→H is a homomorphism between groups G and H.

Theorem: G/Ker(φ) ≅ Im(φ)

Let’s unpack this.

Notation: We denote “A is isomorphic to B” by “A ≅ B.” It looks sort of like a mix of “approximately,” “similarly,” and “equals” because it means “have the same structure.”

Notation: “G/K” means “the quotient of G by K” (sometimes read as “G mod K”). It means we take everything in K, and “collapse” them to be equal, and see what else in G must “collapse” to be equal.

Definition: Assume f:X→Y is a function. The Image of f is all elements in Y that f reaches. In more set-theoretical terms, Im(f)={f(x):x∈X}={y∈Y:∃x.f(x)=y}

Definition: Let’s say f is a function from a set X to a group G. The Kernel of f is the set of all elements of X that f maps to idG, or Ker(f)={x∈X:f(x)=idG}

So, the theorem is saying “φ preserves some structure between groups G and H, and so you get the same structure if you "squeeze out” all the things φ treats sort of “identity-like” or if you just look at the subset of H that φ cares about.

Proof below the read more.

Keep reading

[hyrodium]

Möbius Strip to Boy Surface.

[velodrone]

[atrusian]

[irritationknot]

My Bloody Valentine performing at the Polytechnic of North London, England, ca. October 1988.

Photos by Miki Berenyi.

[davidlynch]

Eraserhead (1977) dir. David Lynch 

[twinpeaksdaily]

And a glass of water, sweetheart, my socks are on fire!

Twin Peaks: On the Wings of Love (1991) dir. Duwayne Dunham

[di-eeyoung]

[pinkferraris]

Visit Original Link

[theglowpt2-deactivated20200101]

The Critics by Henry Scott Tuke // “Famous Prophets (Stars)” by Car Seat Headrest

[sistersyzygy]

I pretended I was drunk when I came out to my friends I never came out to my friends We were all on Skype and I laughed and changed the subject she said “what’s with this dog motif” I said “do you have something against dogs”

[connerys]

Twin Peaks S2E22 // Mulholland Drive

[davidlynch]

Mädchen Amick as Shelly Johnson in Twin Peaks (1990-1991)

[hetereal]

Grimes for Rodarte FW18