Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Turning V into Various things

  1. Nov 10, 2008 #1
    What sort of operations can you pair up with V (class of all sets in ZFC) that turns it into various algebraic structures? For example, symmetric difference turns it into a group.

    Now you must wave your hands a little since the algebraic structures are technically sets, and so are the functions, etc.
  2. jcsd
  3. Nov 11, 2008 #2
    For instance, a forgetful functor [tex]U:R Mod \rightarrow Set[/tex] has a left adjoint F such that [tex]X \mapsto FX[/tex], which generates a free R-module using a basis set. So a free construction generates an algebraic structure using a set.

    Below is the description from wiki,

    "As this a fundamental example of adjoints, we spell it out: adjointness means that given a set X and an object (say, an R-module) M, maps of sets correspond to maps of modules : every map of sets yields a map of modules, and every map of modules comes from a map of sets."

    [tex]Hom_{Mod R}(Free_{R}(X), M) = Hom_{Set}(X, Forget(M)) [/tex]
    Last edited: Nov 11, 2008
  4. Nov 11, 2008 #3
    How would you turn V into a field?
  5. Nov 11, 2008 #4
    I think a Dedekind's construction would do.

    "A Dedekind cut in an ordered field is a partition of it, (A, B), such that A is nonempty and closed downwards, B is nonempty and closed upwards, and A contains no greatest element. Real numbers can be constructed as Dedekind cuts of rational numbers."

    As you know, rational numbers can be constructed using integers and integers can be constructed using natural numbers that can be constructed using sets from constructivists' view. For above situations, the operators for algebraic structures can be converted into set operators.
    Last edited: Nov 11, 2008
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?

Similar Discussions: Turning V into Various things
  1. Axiomatizable things (Replies: 5)