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

Monoid of specifications for a group

  1. Oct 9, 2012 #1

    Stephen Tashi

    User Avatar
    Science Advisor

    Monoid of "specifications" for a group

    The question of whether there is any standard math associated with specifications of ordered pairs on a group went nowhere (https://www.physicsforums.com/showthread.php?t=640395), so I will spell out what I have in mind.

    It appears possible to define a monoid of "specifications" for a group G, as sketched below. Is there a technical name for this monoid? Is it a special case of some standard structure in group theory?

    --------

    Let G be a group. Each element [itex] g \in [/itex] G can be identified with the function that permutes th-e elements of [itex] G [/itex] by left multiplication. In what follows we will consider [itex] g [/itex] to be the set of ordered pairs [itex] \{(x,gx): x \in G \} [/itex].

    Define a specification [itex] s [/itex] on [itex] G [/itex] to be a set of ordered pairs of elements of [itex] G [/itex] such that there exists an element [itex] g \in G [/itex] such that [itex] s \subset g [/itex].

    For example, Let [itex] G [/itex] be the group of permutations on the set of 4 letters [itex] \{a,b,c,d\} [/itex] then the set [itex] s = \{(a,b),(c,a)\} [/itex] is a specification since the group element [itex] g_1 = \{(a,b),(b, c),(c,a),(d,d) \} [/itex] contains [itex] s [/itex] as a subset. (There is also another group element [itex] g_2 = \{(a,b),(b,d),(c,a),(d,c)\} [/itex] that contains [itex] s [/itex].) In general, a specification need not define a unique group element.)

    For a specification [itex] s [/itex] on a group [itex] G [/itex] , denote by [itex] G(s) [/itex] the set of elements in [itex] G [/itex] that contain [itex] s [/itex].

    Examples:

    In the previous example [itex] G(s) = \{g_1,g_2\} [/itex].

    If [itex] g \in G [/itex] then [itex] G(g) = g [/itex] since the ordered pairs of [itex] g [/itex] define it uniquely.

    [itex] G\{\emptyset \} [/itex] is the entire set of elements of [itex] G [/itex].

    Define a multiplication operation on two specifications as follows:

    Let [itex] s,t [/itex] be specifications on the group [itex] G [/itex]. Define the product [itex] s t [/itex] to be the specification consisting the all ordered pairs [itex] {x,y} [/itex] such there is some ordered pair [itex] (a,y) \in s [/itex] and some ordered pair [itex] (x,a) \in t [/itex]

    A specification defines a 1-1 function from a subset of [itex] G [/itex] onto another subset of [itex] G [/itex]. The product of two specifications amounts taking the composition of two such functions on the intersection of their domains.

    The identity element [itex] I [/itex] of the group [itex] G [/itex] defines a specification that is a multiplicative identity for the above product operation. The set of all possible specifications for a group [itex] G [/itex] forms a monoid under the product operation.

    The monoid of specifications is not the same as a monoid formed by subsets of the group, i.e., in general, [itex] G(s t) [/itex] need not equal [itex] G(s) G(t) [/itex].
     
  2. jcsd
  3. Oct 9, 2012 #2
    Re: Monoid of "specifications" for a group

    Your first example does not correspond well to your definition of specification. There seem to be a mix-up between the 4 element set and its group of permutations.

    Using the definition, G(s) is only one element (for nontrival s), but your example allow for some more structure.

    So I suggest clearing up that confusion, and also give some motivation for why your monoid is interesting, as monoids can be made out of almost anything.
     
  4. Oct 9, 2012 #3

    Stephen Tashi

    User Avatar
    Science Advisor

    Re: Monoid of "specifications" for a group

    Yes, it's a faulty example and faulty definition! For a specification to be non-trivial, I need to define it as a set of ordered pairs of elements of a set that is acted upon by a group rather than necessarily being a set of ordered pairs of elements of the group.

    I'll try this:

    Define:

    A specification of a group [itex] G [/itex] that acts on a set [itex] S [/itex] is a set of ordered pairs of elements of [itex] S [/itex] such that no two distinct ordered pairs have the same first element.


    Let [itex] G [/itex] be the group of permuations acting on the set of 3 integers {1,2,3}.
    The 6 elements of the group [itex] G [/itex] are the functions
    [itex]a = \{(1,1),(2,2),(3,3)\} [/itex]
    [itex]b = \{(1,1),(2,3),(3,2)\} [/itex]
    [itex]c = \{(1,2),(2,1),(3,3)\} [/itex]
    [itex]d = \{(1,2),(2,3),(3,1)\} [/itex]
    [itex]e = \{(1,3),(2,1),(3,2)\} [/itex]
    [itex] f = \{(1,3),(2,2),(3,1)\} [/itex]


    An example of a specification of the above group on the set {1,2,3} would be [itex] s = \{(1,3)\} [/itex]

    (In my small example, if I put two ordered pairs in the specification, this is enough to determine a unique group element, but with a larger set of integers and a larger permutation group, I could put two ordered pairs in a specification without determining a unique group element.)

    [itex] G(s) = \{e,f\} [/itex] since both [itex] e [/itex] and [itex] f [/itex] contain the ordered pair [itex] (1,3) [/itex].


    [itex] G(b) =G(\{ (1,1),(2,3),(3,2) \}) = {b} [/itex]


    I don't have any strong motivation for this. I't simply idle curiosity and the fact that I happen to glance at the book "introduction To Semigroups" by Mario Petrich because I was moving books around while rearranging my bedroom.

    The standard game in finite groups is "I'll give you the order of the group and you tell me about possibilities for its subgroups". ( I don't understand why that game seems to be the only game in town- except that in practical applications, you might be able to count the symmetries of an object and want to know about the group of symmetries.) It seems to me that there might be other games involving "I'll tell you a little about the action of a group on this set and you tell me about the possibilities for the group".
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook