Tjyylli

A bug in Excel? Conditional formatting for marking duplicates also highlights unique value

Inverse of the covariance matrix of a multivariate normal distribution

Test pad's ESD protection

Are paired adjectives bad style?

Practical reasons to have both a large police force and bounty hunting network?

What's the difference between the XOR instructions "VPXORD", "VXORPS" and "VXORPD" in Intel's AVX2

What happened to QGIS 2.x

Why can't we make a perpetual motion machine by using a magnet to pull up a piece of metal, then letting it fall back down?

lead or lag function to get several values, not just the nth

Cohomology of tangent sheaf of a hypersurface

How can I be pwned if I'm not registered on the compromised site?

Where is the fallacy here?

Filling in Area Under Curve Causes Alignment Issues

What is better: yes / no radio, or simple checkbox?

Six real numbers so that product of any five is the sixth one

What could trigger powerful quakes on icy world?

Real life puzzle: Unknown alphabet or shorthand

What are all the squawk codes?

Are there any other Chaos-worshipping races?

How can I handle a player who pre-plans arguments about my rulings on RAW?

Can I become debt free or should I file for bankruptcy? How do I manage my debt and finances?

Detect if page is on experience editor Sitecore 9 via Javascript?

Did Amazon pay $0 in taxes last year?

Achieving MPPT of a solar panel with LM2596

Proving a mapping is a group action

Group tables for a group of four elements.Group actions transitive on certain subsetsSubgroup transitive on the subset with same cardinalityCan a group have a subset that is stable under all automorphisms, but not under inverse?Transitive Actions, Primitive Actions, and ErgodicityProve either $G=ST$ or |$G|geq|S|+|T|$Elementary Combinatorial Proofs using group actionWhat is the best way to show an isomorphism for small groups?Is group action of alternating group transitive and primitive?Conditions, under which a mapping of generators of a group induces an automorphism.

4

$begingroup$

Let $G$ be a finite group, $S$ be the set of all subsets of $G$ of size $n$, and for $g in G$, $T in S$ define $g.T={gt: t in T}$.

My course's notes says that this is a group action of $G$ on $S$, and "shows" it by first stating without proof that $g.T$ is also of size $n$, hence in $S$. To me it's not immediately obvious that this is true.

For it to be true requires $gt_1 = gt_2 implies t_1=t_2$, i.e. two distinct elements of $T$ will always be mapped to distinct values by $g$. If $g$ maps two distinct elements of $T$ to the same value then the cardinality of $g.T$ will be less than $n$.

Why is it impossible for $g$ to map two distinct values $t_1, t_2$ to the same value?

group-theory finite-groups group-actions

share|cite|improve this question

asked yesterday

cb7cb7

1306

$endgroup$

add a comment | 

4

$begingroup$

Let $G$ be a finite group, $S$ be the set of all subsets of $G$ of size $n$, and for $g in G$, $T in S$ define $g.T={gt: t in T}$.

My course's notes says that this is a group action of $G$ on $S$, and "shows" it by first stating without proof that $g.T$ is also of size $n$, hence in $S$. To me it's not immediately obvious that this is true.

For it to be true requires $gt_1 = gt_2 implies t_1=t_2$, i.e. two distinct elements of $T$ will always be mapped to distinct values by $g$. If $g$ maps two distinct elements of $T$ to the same value then the cardinality of $g.T$ will be less than $n$.

Why is it impossible for $g$ to map two distinct values $t_1, t_2$ to the same value?

group-theory finite-groups group-actions

share|cite|improve this question

asked yesterday

cb7cb7

1306

$endgroup$

add a comment | 

$begingroup$

Let $G$ be a finite group, $S$ be the set of all subsets of $G$ of size $n$, and for $g in G$, $T in S$ define $g.T={gt: t in T}$.

My course's notes says that this is a group action of $G$ on $S$, and "shows" it by first stating without proof that $g.T$ is also of size $n$, hence in $S$. To me it's not immediately obvious that this is true.

For it to be true requires $gt_1 = gt_2 implies t_1=t_2$, i.e. two distinct elements of $T$ will always be mapped to distinct values by $g$. If $g$ maps two distinct elements of $T$ to the same value then the cardinality of $g.T$ will be less than $n$.

Why is it impossible for $g$ to map two distinct values $t_1, t_2$ to the same value?

group-theory finite-groups group-actions

share|cite|improve this question

asked yesterday

cb7cb7

1306

$endgroup$

share|cite|improve this question

asked yesterday

cb7cb7

1306

share|cite|improve this question

asked yesterday

cb7cb7

1306

asked yesterday

cb7cb7

1306

asked yesterday

cb7cb7

1306

1 Answer
1

active

oldest

votes

5

$begingroup$

Suppose $gt_1=gt_2$. Multiply both sides by $g^{-1}$ from the left side and you will get $t_1=t_2$.

share|cite|improve this answer

answered yesterday

MarkMark

9,579622

$endgroup$

add a comment | 

Your Answer

StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");

StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});

function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});


}
});

draft saved

draft discarded

Sign up or log in

StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});

Sign up using Google

Sign up using Facebook

Sign up using Email and Password

Post as a guest

Name

Email

Required, but never shown

StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3135335%2fproving-a-mapping-is-a-group-action%23new-answer', 'question_page');
}
);

Post as a guest

Name

Email

Required, but never shown

5

$begingroup$

Suppose $gt_1=gt_2$. Multiply both sides by $g^{-1}$ from the left side and you will get $t_1=t_2$.

share|cite|improve this answer

answered yesterday

MarkMark

9,579622

$endgroup$

add a comment | 

5

$begingroup$

Suppose $gt_1=gt_2$. Multiply both sides by $g^{-1}$ from the left side and you will get $t_1=t_2$.

share|cite|improve this answer

answered yesterday

MarkMark

9,579622

$endgroup$

add a comment | 

$begingroup$

Suppose $gt_1=gt_2$. Multiply both sides by $g^{-1}$ from the left side and you will get $t_1=t_2$.

share|cite|improve this answer

answered yesterday

MarkMark

9,579622

$endgroup$

share|cite|improve this answer

answered yesterday

MarkMark

9,579622

answered yesterday

MarkMark

9,579622

answered yesterday

MarkMark

9,579622