Talk:Group action

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search
WikiProject Mathematics (Rated B-class, Mid-importance)
WikiProject Mathematics
This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of Mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
Mathematics rating:
B Class
Mid Importance
 Field:  Algebra

Terminology question[edit]

I'm not sure about the standard terminology here:

  • Is it called "faithful" or "free"?
  • Is "invariant" and "stable" really the same?
  • Are the sets G.x really called "traces"? --AxelBoldt
  • It's called "faithful", or "effective". ("Free" means that only the identity element has a fixed point.)
  • I'm not sure about this one. I would use "invariant" for the sense you were talking about.
  • The sets G.x are usually called "orbits" (as in the Orbit-Stabilizer Theorem).
--Zundark, 2001 Oct 28

Locally free, in my experience, means that all the stabilizers are discrete, not that their union is separated from the identity. Is there a reference for the given definition of locally free? -- Scot Adams — Preceding unsigned comment added by 128.101.152.39 (talk) 20:51, 23 April 2014 (UTC)

Removed reference to permutation groups[edit]

I removed the reference to permutation groups in the first paragraph since a permutation group on M is a subgroups of Sym(M), while a transformation group G on M is given by a (not necessarily injective) homomorphism G → Sym(M). So they are not the same. AxelBoldt 17:45 Oct 31, 2002 (UTC)

Meaning of invariant vs. stable[edit]

If G acts on A, I think that "invariant" means G.A=A while "stable" means that G.A is a subset (possibly proper) of A.

If so, you can't actually have G.A ≠ A, with G a group. Charles Matthews 16:21, 15 November 2005 (UTC)
due to the neutral ? You're true. It you think to the whole matricial group (M) acting on othogonal matrices (O), the group O is not stable because MO is not an orthogonal matrice in general. Then my initial bracket "possibly proper" is actually not necessary.

Overlap with Orbit (mathematics)[edit]

There's now an overlap with orbit (mathematics).

Charles Matthews 18:52 24 Jun 2003 (UTC)

I've now merged in that stuff. Also orbit (group theory) now redirects here. -- Fropuff 17:51, 2004 Aug 23 (UTC)

Looking for definition of "Orbit of a mathematical group"... you jump right into this section..... How is G related to X? is X a subset of G? How can you define operations of g on X. Confusion!..... you are not aware of the main subject.... Link needs to point to the top of the article...giving the information "Orbit is a type of Group action."

Orbits and stabilizers: Clarity Needs some examples, How about a donut? To aid in understanding, definitions of "invariant" and "fixed" and why one implies the other and not the other way around. "invariant" and "fixed".... At time of reading, There is a mathematical article for invariant, but not for fixed.....the "invariant" one should be linked from here.

Formulae (in graphic), would it be better, if they included the fact that "x ϵ X" "x belongs to" in mathematical language? LieBugs (talk) 14:27, 17 February 2008 (UTC)

Notation[edit]

In the first sentence under definition, is used both as the group action, and as an element of the group . Suggest use (say) for the group action instead. Tveldhui 01:38, 17 January 2006 (UTC)tveldhui

the dot denotes the action, g is always a group element. -MarSch 16:25, 1 February 2006 (UTC)

Reference[edit]

I've added a reference from the group article which I believe is sufficiently familiar and encylopedic to satisfy many people. I propose we use this reference to obtain a uniform set of notations and terms, perhaps even in multiple articles. Perhaps I'll get around to it in a week or so, with consensus, if no one else does. Orthografer 18:53, 29 June 2006 (UTC)

n-transitivity[edit]

Hello,

you define n-transitivity to be "transitivity on ", by which I suppose you mean the action on with

But then n-transitivity can not be defined as transitivity on , because you can never find a satisfying

for from .

A correct definition would read: For pairwise distinct and there is a such that

holds for .

OK, seeing that both the and the have to be pairwise distinct (otherwise would not be a bijection) we might restrict the action of to the subset of containing no multiple entries. If that is what you mean by "transitivity on " I guess it deserves being pointed out explicitly.

—The preceding unsigned comment was added by FarSide (talkcontribs) 08:23, 7 July 2006 (UTC2)

Added reference[edit]

I have added a reference to results of Higgins and me on the fundamental groupoid of an orbit space since this is a powerful result, and I hope people will find this useful. Ronnie Brown Sept 29, 2006

similar structure[edit]

Does anybody know the following structure, similar to the stabilizer, defined, for A,B\subset 2^G (the power set), by

G(A,B) = { x\in G | \forall a\in A \exists b\in B : b x \subset a }

(Note: a,b are subsets of G !)

Might this exist in the context of topological groups (where A,B would be neighborhoods of the identity element) ? It ressembles to the Kolmogorov definition of bounded sets

I ran across this in the context of modules over a ring (G would be a module over R, and B\subset 2^R). This seems so basic (and has nice properties) that I'm sure it already exists in literature, but I could not yet find it. Thanks in advance ! — MFH:Talk 21:50, 12 October 2006 (UTC)

sharply transitive = regular (= simply transitive) ?[edit]

As far as I understand the term sharply transitive is the same as regular or simply transitive, isn't it? If so, it would be good to mention this in the article. Florianhe 21:19, 11 January 2007 (UTC)

This is true. It seems to disrupt the flow of the article to mention it. One could delete the part about "sharply transitive" since that term is not widely used (rather, one says "regular"). The part about sharply k-transitive is fine, of course. Similarly, simply transitive is not familiar to my ears; rather simply primitive means primitive and not 2-transitive. JackSchmidt 02:21, 3 July 2007 (UTC)

Convert the formulae to HTML[edit]

I think the formulae could be replaced with HTML code, as follows:

G × X → X
(gx) ↦ g·x
lG × M → M : (gm) ↦ r(m,g−1)
l(g·hm) = r(m, (g·h)−1) = m·h−1·g−1 = l(hmg−1 = l(gl(hm))
l(em) = r(me−1) = m·e = m

Does anybody oppose?

157.25.5.68 12:27, 2 July 2007 (UTC)

I think the recent HTML conversion makes this article much harder to edit. While some of the complicated formulas may be just as complicated in wikipedia's <math> tags as in the new spans, certainly one should prefer ''G'' (that is G), to <span class="texhtml"><var>G</var></span> (that is G).

I suggest reverting the simplest formulas back to wiki syntax, but am ambivalent about the other changes. Certainly for those with bad eyesight, avoiding the awful .pngs produced by some <math> tags is an advantage.

There are some bad wikilinks in some of the formulas as well. In particular, linking the letter e makes the article harder to read and there is a tradition to link once, and to use a readable description (as done in the second link). I worry that perhaps this article is being rewritten for computers, rather than for human consumption. I'll fix those links in a few days in case you want to adjust any of the HTML in the meantime.

Note that &real; (ℜ) is a poor substitute for the more common &#x211d; (ℝ) or the tiny <math>\Bbb{R}</math> ().

JackSchmidt 21:29, 19 July 2007 (UTC)

Reference needed[edit]

I need a reference/citation for "Every transitive G action is isomorphic to left multiplication by G on the set of left cosets of some subgroup H of G." can anyone help? (My job doesn't give me good library access) mike40033 (talk) 03:17, 10 December 2007 (UTC)

The references in the article by Dummit&Foote or Rotman both contain this. Most abstract algebra texts have a good chance of proving this. It is often called the orbit-stabilizer theorem.
If you are just curious how to prove it, then you might just try it. Say G acts transitively on X, and H is the subgroup of G fixing a point x in X. For every other point y of X, there is some g in G taking x to y, since G is transitive. For every h in H, applying h to x first, and then applying g, takes you from x to y too. Assuming you act on the right, that just says that every element of Hg takes x to y. If some other element k of G takes x to y, then k*g^-1=h takes x to x and so k=h*g is in Hg. In other words, for every y, there is a unique coset Hg consisting of precisely those elements which take x to y. This defines a bijection from X to the cosets of H in G. The actions are the same basically by definition.
Note this page is for discussing how to improve the article. There is another page where you can ask general reference questions about mathematics. JackSchmidt (talk) 04:18, 10 December 2007 (UTC)
I must have missed it in Rotman. It's easy enough to prove, but I need the citation for an article. Thanks for pointing out the reference desk. mike40033 (talk) 05:49, 10 December 2007 (UTC)
Rotman's Theorem 3.19 (4th ed) is orbit-stabilizer, and exercises 3.42 and 3.43i are the part of the proof I outlined above. However, you may prefer Aschbacher, p13-16, especially Prop 5.9 which uses the same language as your quote. I'll add the reference to the article. JackSchmidt (talk) 22:12, 10 December 2007 (UTC)
Yes, Aschbacher Prop 5.9 is perfect. Thanks a zillion! mike40033 (talk) 04:52, 12 December 2007 (UTC)

Continuous group actions[edit]

"The above statements about isomorphisms for regular, free and transitive actions are no longer valid for continuous group actions." - could you, please, be a bit more specific? Why are these statements no longer valid? Commentor (talk) 05:56, 1 March 2008 (UTC)

Introduction[edit]

Bijection = Symmetry? The supposedly general introduction and summary have little relation to the rest of the article. Needs to be rewritten by someone who knows the subject.Ht686rg90 (talk) 17:11, 29 June 2008 (UTC)

The first paragraph is just meant as a general introduction to the topic and is not supposed to be completely precise. Having said that I don't see a problem in that paragraph although it could probably be worded better. Have removed the disputed tag. MSGJ (talk) 10:42, 21 August 2008 (UTC)
I've completely rewritten it. It wrongly identified group actions with permutation groups for example. It still does not connect as well as it should with the rest of the article, but I don't think that can be fixed until someone writes some sort of "motivation" section, which the lead can then summarize more concisely.
I was hoping to update the {{maths rating}} above, but my comments from over a year ago still apply. Geometry guy 19:41, 14 September 2008 (UTC)

Topology[edit]

Dear All,

The orbit of an action is a quotient group (as mentioned in the article), but can also be viewed as a quotient space in the topological sense. In fact, if G is a compact topological group, then certain properties of the topological space that G is acting upon imply certain properties of the orbit space. If X happens to equal to G, the orbit space is trivial. I know that this is a group theory article but would it be beneficial to create a new article regarding the topological aspects of the orbit space?

Topology Expert (talk) 10:26, 26 August 2008 (UTC)

I agree. Definition of orbit space topology, continuous functions etc. But we should also cover manifolds, and the partition (stratification) of the orbit space into orbit types? Simplifix (talk) 12:57, 29 August 2008 (UTC)

class equation[edit]

there should be written something about class equations in general; so this article would seem to be a perfect place for that, class equation redirects to conjugacy class at the moment where it describes only conjugacy class equation… konradek (talk) 15:29, 17 October 2008 (UTC)

Why are actions bijective?[edit]

I have a question about actions that is not answered in the article. I am wondering, why is the map bijective?

If and for some (or, equivalently, ), then we know that . But why is it true that (where is the group identity)?

Thanks! —Preceding unsigned comment added by 193.77.126.73 (talk) 17:57, 20 March 2009 (UTC)

You asked two different questions, which is probably why you are confused. g:x→gx is bijective, because its inverse is g−1:x→g−1.
However, there is no need for g → ( x → gx ) to be bijective. It is certainly possible for a(x) = b(x) without a = b. For a particular x, the set of all g in G with g(x) = x is called the stabilizer of x and is a subgroup of G. The intersection of all the stabilizers is a normal subgroup of G called the kernel of the action. It is precisely those g such that g(x) = x for all x. Then for a in G and b=ag, one always has a(x) = b(x) for all x. JackSchmidt (talk) 18:22, 20 March 2009 (UTC)
Thanks! You're right, I confused the concepts. It's all really simple now :) You were of great help! —Preceding unsigned comment added by 193.77.126.73 (talk) 19:22, 20 March 2009 (UTC)
Wait a minute, the action of a particular group element g needs not be a bijection of the set X to itself. It only needs to be an injection because, if gx = gy, then we have x = ex = g-1gx = g-1gy = ey = y. But an injective map from a set to itself needs not be bijective if the set is infinite. For instance, the map from the the set of positive integers to itself is injective, but not bijective. This would be the group action of the element 2 of the multiplicative group of positive reals on the set of positive integers.
If every such map were bijective, then every group action would be transitive.Cacadril (talk) 17:26, 30 September 2012 (UTC)
You can't act with the multiplicative group of positive reals on the set of positive integers. Where would pi send a positive integer, for instance? — Preceding unsigned comment added by 83.104.131.53 (talk) 17:35, 2 September 2013 (UTC)

Group actions and groupoids section is poorly written[edit]

I was reading this article when I noticed that the Group actions and groupoids section seemed like it was hurriedly written by one person as a plug for a commercial website selling the book referenced in that section. What it wikipedia's policy about this? —Preceding unsigned comment added by 71.237.245.96 (talk) 23:13, 14 May 2009 (UTC)

Article is a list of clobbered results and definitions[edit]

This article contains way too many definitions and redirects users from Orbits/G-sets/Stabilizers/Orbit-Stabilizer formula. Also, somehow Burnside's lemma has sneaked in. The article should be split into different articles treating each subject separately. Stefan.petrea (talk) 14:19, 30 November 2009 (UTC)

Too hard[edit]

Why do we have mathematics that is this abstract within a general encyclopedia? It's not even a description of an overall subject (like a general description of group theory as an entity so an ousider knows what it is as a field (and not the math definition of field), but rather a pretty technical definition.

This would not be in Brittanica or an equivalent.

If someone wants to make a technical description of all of mathematics, they should make it off-wiki. —Preceding unsigned comment added by 72.82.43.222 (talk) 17:04, 6 November 2010 (UTC)

left vs. right[edit]

does left or right matter? or just two different notation??? Jackzhp (talk) 05:03, 8 April 2011 (UTC)

It matters. For example we have a group of functions and its group operation is defined as the composition of functions by we can attempt to define an action of this group on another set of fuctions by saying a function in the group acts on a function by mapping to the function . As a left action we have versus and, in general, need not be the same function as You don't run into that problem as a right action since and

Tashiro (talk) 08:42, 27 June 2013 (UTC)

As the article says, a right action of any group can be converted into a left action of the opposite group, and vice versa. So there is indeed no material difference - any group action that can be achieved on one side can be achieved on the other. As Tashiro illustrates, there is a contravariance (order switching) which happens with right actions, which sometimes makes the notation more elegant on the right than on the left. But there is no new mathematics from right actions. — Carl (CBM · talk) 12:34, 27 June 2013 (UTC)

Good Collective Work![edit]

This is a very good and informative page. In a few lines it informs people with a basic college course in algebra and topology useful and correct facts. It is not correct to claim this article is too hard or would not have found its way as a section of a longer article into the old Encyclopedia Brittanica. — Preceding unsigned comment added by Lkadison (talkcontribs) 09:16, 24 June 2011 (UTC)

Maybe not / techincal tag[edit]

Actually this article is rather poorly written/organized, particularly in the Group_action#Orbits_and_stabilizers section, which is an [if not the] essential part. Invariants get talked of before they are defined etc. No simple example of the invariants of an element etc. So the page shares its ills with many other wiki math pages: if you already know the material, it serves as a somewhat confusingly written recapitulation, and perhaps throws in a few pointers to things you didn't know about. For the neophite I suspect it's rather useless past the Examples section. Some1Redirects4You (talk) 09:05, 25 April 2015 (UTC)
While it's fine to have a long list of (initial examples) most of the more refined concepts (orbits, stabilizers, invariants, etc. aren't actually illustrated with any examples. This on top of the confused (and often too divagating) writing that insists on notation peculiarities and connections with cohomology etc. at every turn of the phrase. Some1Redirects4You (talk) 09:14, 25 April 2015 (UTC)

Not sure about this page splitting?[edit]

I am not so sure about this page, it is (to my own not very advanced opinion) more about transformation groups than about group actions,

The page doesn't really limit itself to what are group actions? I guess only 10% (maybe even less) of this page is really about that, and examples are missing, the rest is more on group theory and other subjects, while interesting not they are not the subject of this page, and on this page they only confuse the subject. WillemienH (talk) 11:59, 22 November 2014 (UTC)

Odd[edit]

The second sentence seems to be ungrammatical. — Preceding unsigned comment added by 86.156.239.161 (talk) 14:33, 18 October 2015 (UTC)

You are absolutely correct. It is now fixed. — Anita5192 (talk) 16:56, 18 October 2015 (UTC)

Suggested Merge: Properly Discontinuous Action[edit]

The definition of a properly discontinuous action on this page contradicts that at Properly discontinuous action. There seem to be two main definitions:

  1. is of finite size.

It seems (from my admittedly limited experience) that the more common of the two is the latter, which is the one employed by Properly discontinuous action, but not by this article. More information about the equivalence (or lack thereof) of these two definitions may be gleaned from this MathOverflow Q&A.

Furthermore, I think that perhaps the article Properly discontinuous action should be merged with this one.

Myridium (talk) 02:45, 8 February 2016 (UTC)

Clarify wording[edit]

The statement

In every group G with subgroup H, left multiplication is an action of G on the set of cosets G/H: g.aH = gaH for all g,a in G. In particular if H contains no nontrivial normal subgroups of G this induces an isomorphism from G to the a subgroup of the permutation group of size [G : H].

is a little unclear. Are we talking about a subgroup of size [G:H] or a permutation group of that size? I would guess the former, because permutation groups must have factorial order... — Preceding unsigned comment added by 180.165.104.233 (talk) 11:15, 11 December 2016 (UTC)

Utterly unhelpful introductory sentence[edit]

"In mathematics, an action of a group is a way of interpreting the elements of the group as "acting" on some space in a way that preserves the structure of that space."

Unfortunately, introducing a concept (group action) by using one of the words in the concept (action) — in quotes, yet ("acting") — is worse than unhelpful. It is totally exasperating to anyone trying to understand the concept. It is the last thing we need in Wikipedia.2602:306:CF5D:1270:4023:7D48:4830:C217 (talk) 20:11, 27 August 2017 (UTC)

I reworded the first sentence in the lead. I think this is more clear. In a mathematics article, describing a concept in simply understood terms, before the technical definition is made, is often difficult.—Anita5192 (talk) 21:54, 27 August 2017 (UTC)

Baseline dot notation[edit]

An editor recently changed all the center dot notations to baseline dots for the sake of uniformity in the article. I reverted, claiming that this was the wrong choice, with the intention of switching all the baseline dots to centered dots. Looking at the page I realized that this would be a mammoth job and the thought occurred to me that this might just be an English variant issue, and I should revert myself. All the references that I have checked either use a center dot or simple juxtaposition for the group action. I am not claiming any type of expertise here and am seriously asking where the baseline dot notation may be common? --Bill Cherowitzo (talk) 16:39, 18 September 2017 (UTC)

Apparently the baseline dot notation was introduced in 2012, see diff. I have never seen this notation outside of this article, but that doesn't mean much. Tea2min (talk) 09:36, 19 September 2017 (UTC)
I've seen it used (and used it myself a long time ago) but I've always assumed that it was only out of laziness or not knowing the use of \cdot in latex. So it would not be out of place for this article to do so :) jraimbau (talk) 14:50, 19 September 2017 (UTC)

I am thinking that I have seen this notation before and the mental image I have is of some older typewritten monographs (pre-TeX, when you used to have to hand off your manuscript to a secretary to type). My feeling is that if there is some segment of the population that regularly uses this notation, we should keep it (and the 2012 introduction into this article makes me think that this might be the case), but if it is only of nostalgic value then by the "principle of common usage" (don't go looking for a policy by that name, its my own terminology) we should change this to centered dot notation.--Bill Cherowitzo (talk) 17:15, 19 September 2017 (UTC)

I think the period is only used in older texts, so we should probably go with centered dots or juxtaposition. I lean towards the former, because using juxtaposition for both the group operation and the action might confuse newcomers. I have no strong opinions on the matter though; I would only argue that we should be consistent throughout the article. AxelBoldt (talk) 17:04, 21 September 2017 (UTC)

I've converted to the center dots. I hope I've gotten them all. --Bill Cherowitzo (talk) 04:56, 23 September 2017 (UTC)

Move discussion in progress[edit]

There is a move discussion in progress on Talk:Permutation representation (disambiguation) which affects this page. Please participate on that page and not in this talk page section. Thank you. —RMCD bot 20:31, 15 November 2017 (UTC)

Transitivity of Special Linear Group[edit]

The transitivity line of the section on types of group actions claims that the special linear group is transitive over a vector space. Surely this need not be true if the vector space has dimension 1 and the field is non-trivial. The special linear group of the real line is just multiplication by 1, which is not a transitive action on the reals. — Preceding unsigned comment added by 140.194.194.252 (talk) 14:25, 22 June 2018 (UTC)