In my previous post, I said when a subset of the domain of a Group forms a SubGroup of that Group. In this blog post, I continue showing how Abstract Algebra can be done in a more usable and logically correct way.

So let's start by defining the term Left Coset of a subset of the domain of a Group by an element of the Group.

Let 𝒢 = <G, e, op, inv> be a Group and let H be a subset of G. …

Ivo Stratev

Passionate about Programming. Interested in Highly Distributed Systems and the Microservice Architecture. In love with Math and proving things.

Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store