Ryfujk

Why don't electron-positron collisions release infinite energy?

Why not use SQL instead of GraphQL?

What is the offset in a seaplane's hull?

The use of multiple foreign keys on same column in SQL Server

Smoothness of finite-dimensional functional calculus

Why did the Germans forbid the possession of pet pigeons in Rostov-on-Don in 1941?

Animated Series: Alien black spider robot crashes on Earth

How did the USSR manage to innovate in an environment characterized by government censorship and high bureaucracy?

Arthur Somervell: 1000 Exercises - Meaning of this notation

Why Is Death Allowed In the Matrix?

The magic money tree problem

What typically incentivizes a professor to change jobs to a lower ranking university?

How is the claim "I am in New York only if I am in America" the same as "If I am in New York, then I am in America?

Why are 150k or 200k jobs considered good when there are 300k+ births a month?

How to test if a transaction is standard without spending real money?

Can a Warlock become Neutral Good?

strToHex ( string to its hex representation as string)

Font hinting is lost in Chrome-like browsers (for some languages )

Can divisibility rules for digits be generalized to sum of digits

How old can references or sources in a thesis be?

What does it mean to describe someone as a butt steak?

How can bays and straits be determined in a procedurally generated map?

Modeling an IPv4 Address

Email Account under attack (really) - anything I can do?

is the intersection of subgroups a subgroup of each subgroup

A group with no proper non-trivial subgroupsSubgroups that are isomorphic to each other, and contain a common element are the same subgroupIf a group has no maximal subgroups then all elements are non-generators? Frattini subgroup characterizationLet $P$, $Q$ be two Sylow p-subgroups of $G$, is it true that $N_P(Q)=Qcap P$?Subgroups of $G=(mathbb{Z}_{12},+)$join of pronormal subgroupsProperty of normally embedded subgroupsParity of order of intersection of cyclic and noncyclic subgroupsListing elements of the subgroups and generatorsIntersection of two subgroups

1

$begingroup$

Suppose $G$ is a group, take $H,K$ as subgroups of $G$ so $H,Kleqslant G$. I know that $Hcap Kleqslant G$ but is it the case that $Hcap Kleqslant H$ and $Hcap Kleqslant K$?

I am guessing this does not hold but why?

Also I tried with the case that $H=langle g rangle,K=langle h rangle$ where $g$ and $h$ are the elements in $G$ ($langle h rangle$ means the minimum subgroup that contains the element $h$ if you haven't seen this notation before). I used the subspace test and I think that $Hcap Kleqslant H$ and $Hcap Kleqslant K$ hold unless I make a mistake somewhere.

Much thanks in advance!

abstract-algebra group-theory

share|cite|improve this question

edited 56 mins ago

Shaun

10.3k113686

asked 6 hours ago

JustWanderingJustWandering

592

$endgroup$

add a comment | 

1

$begingroup$

Suppose $G$ is a group, take $H,K$ as subgroups of $G$ so $H,Kleqslant G$. I know that $Hcap Kleqslant G$ but is it the case that $Hcap Kleqslant H$ and $Hcap Kleqslant K$?

I am guessing this does not hold but why?

Also I tried with the case that $H=langle g rangle,K=langle h rangle$ where $g$ and $h$ are the elements in $G$ ($langle h rangle$ means the minimum subgroup that contains the element $h$ if you haven't seen this notation before). I used the subspace test and I think that $Hcap Kleqslant H$ and $Hcap Kleqslant K$ hold unless I make a mistake somewhere.

Much thanks in advance!

abstract-algebra group-theory

share|cite|improve this question

edited 56 mins ago

Shaun

10.3k113686

asked 6 hours ago

JustWanderingJustWandering

592

$endgroup$

add a comment | 

$begingroup$

Suppose $G$ is a group, take $H,K$ as subgroups of $G$ so $H,Kleqslant G$. I know that $Hcap Kleqslant G$ but is it the case that $Hcap Kleqslant H$ and $Hcap Kleqslant K$?

I am guessing this does not hold but why?

Also I tried with the case that $H=langle g rangle,K=langle h rangle$ where $g$ and $h$ are the elements in $G$ ($langle h rangle$ means the minimum subgroup that contains the element $h$ if you haven't seen this notation before). I used the subspace test and I think that $Hcap Kleqslant H$ and $Hcap Kleqslant K$ hold unless I make a mistake somewhere.

Much thanks in advance!

abstract-algebra group-theory

share|cite|improve this question

edited 56 mins ago

Shaun

10.3k113686

asked 6 hours ago

JustWanderingJustWandering

592

$endgroup$

share|cite|improve this question

edited 56 mins ago

Shaun

10.3k113686

asked 6 hours ago

JustWanderingJustWandering

592

share|cite|improve this question

edited 56 mins ago

Shaun

10.3k113686

asked 6 hours ago

JustWanderingJustWandering

592

edited 56 mins ago

Shaun

10.3k113686

edited 56 mins ago

Shaun

10.3k113686

asked 6 hours ago

JustWanderingJustWandering

592

asked 6 hours ago

JustWanderingJustWandering

592

2 Answers
2

active

oldest

votes

3

$begingroup$

It is indeed true that $H cap K$ is a subgroup of both $H$ and $K$. For the sake of clarity, we recall the definition of a subgroup below:

Definition. Let $(G, odot)$ be group with identity $e$ and let $H$ be a subset of $G$. We say that $H$ is a subgroup of $G$ if each of the following hold:

1. 
   $e in H$,


2. if $h_1,h_2 in H$ then $h_1 odot h_2 in H$,


3. for all $h in H$, its inverse element $h^{-1}$ with respect to $odot$ is also in $H$.

These axioms make it so that $(H, odot)$ is a group in its own right with the very same group operation $cdot$ and identity $e$. We also point out that these properties have less to do with the set $G$ than the operation $odot$ that $G$ comes equipped with.

Now, let $G$ be a group and let $H,K$ be subgroups of $G$. You have already verified that $H cap K$ is a subgroup of $G$. Why must it also be a subgroup of $H$ (and $K$)? First, it's clear that $H cap K subseteq H, H cap K subseteq K$ and that $H cap K ni e$. Moreover, because $H cap K$ is a subgroup of $G$, it is satisfies properties 2. and 3. above. Thus, by replacing $G$ with $H$ or $K$ in the definition above, it's immediate that $H cap K$ is a subgroup of $H$ (and $K$) as well!

In short, as long as $H$ is a subset of a group $G$ and $H$ satisfies the properties listed above, it will be a subgroup of $G$.

share|cite|improve this answer

edited 5 hours ago

answered 6 hours ago

rolandcyprolandcyp

2,309422

$endgroup$

add a comment | 

1

$begingroup$

The subgroup test is:

$H$ is a subgroup of $G$ if and only if for each $x,yin H$ we've $xy^{-1}in H$.

Applied to a collection of subgroups ${H_s}$, let $x,yinbigcap_sH_s$ be a pair of elements. Then $x,yin H_s$ for all $S$ and since $H_s<G$ then $xy^{-1}in H_s$ for every index $s$, so $xy^{-1}inbigcap_sH_s$, hence $bigcap_sH_s$ is a subgroup too.

share|cite|improve this answer

answered 3 hours ago

janmarqzjanmarqz

6,25741630

$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%2f3177593%2fis-the-intersection-of-subgroups-a-subgroup-of-each-subgroup%23new-answer', 'question_page');
}
);

Post as a guest

Name

Email

Required, but never shown

3

$begingroup$

It is indeed true that $H cap K$ is a subgroup of both $H$ and $K$. For the sake of clarity, we recall the definition of a subgroup below:

Definition. Let $(G, odot)$ be group with identity $e$ and let $H$ be a subset of $G$. We say that $H$ is a subgroup of $G$ if each of the following hold:

1. 
   $e in H$,


2. if $h_1,h_2 in H$ then $h_1 odot h_2 in H$,


3. for all $h in H$, its inverse element $h^{-1}$ with respect to $odot$ is also in $H$.

These axioms make it so that $(H, odot)$ is a group in its own right with the very same group operation $cdot$ and identity $e$. We also point out that these properties have less to do with the set $G$ than the operation $odot$ that $G$ comes equipped with.

Now, let $G$ be a group and let $H,K$ be subgroups of $G$. You have already verified that $H cap K$ is a subgroup of $G$. Why must it also be a subgroup of $H$ (and $K$)? First, it's clear that $H cap K subseteq H, H cap K subseteq K$ and that $H cap K ni e$. Moreover, because $H cap K$ is a subgroup of $G$, it is satisfies properties 2. and 3. above. Thus, by replacing $G$ with $H$ or $K$ in the definition above, it's immediate that $H cap K$ is a subgroup of $H$ (and $K$) as well!

In short, as long as $H$ is a subset of a group $G$ and $H$ satisfies the properties listed above, it will be a subgroup of $G$.

share|cite|improve this answer

edited 5 hours ago

answered 6 hours ago

rolandcyprolandcyp

2,309422

$endgroup$

add a comment | 

3

$begingroup$

It is indeed true that $H cap K$ is a subgroup of both $H$ and $K$. For the sake of clarity, we recall the definition of a subgroup below:

Definition. Let $(G, odot)$ be group with identity $e$ and let $H$ be a subset of $G$. We say that $H$ is a subgroup of $G$ if each of the following hold:

1. 
   $e in H$,


2. if $h_1,h_2 in H$ then $h_1 odot h_2 in H$,


3. for all $h in H$, its inverse element $h^{-1}$ with respect to $odot$ is also in $H$.

These axioms make it so that $(H, odot)$ is a group in its own right with the very same group operation $cdot$ and identity $e$. We also point out that these properties have less to do with the set $G$ than the operation $odot$ that $G$ comes equipped with.

Now, let $G$ be a group and let $H,K$ be subgroups of $G$. You have already verified that $H cap K$ is a subgroup of $G$. Why must it also be a subgroup of $H$ (and $K$)? First, it's clear that $H cap K subseteq H, H cap K subseteq K$ and that $H cap K ni e$. Moreover, because $H cap K$ is a subgroup of $G$, it is satisfies properties 2. and 3. above. Thus, by replacing $G$ with $H$ or $K$ in the definition above, it's immediate that $H cap K$ is a subgroup of $H$ (and $K$) as well!

In short, as long as $H$ is a subset of a group $G$ and $H$ satisfies the properties listed above, it will be a subgroup of $G$.

share|cite|improve this answer

edited 5 hours ago

answered 6 hours ago

rolandcyprolandcyp

2,309422

$endgroup$

add a comment | 

$begingroup$

It is indeed true that $H cap K$ is a subgroup of both $H$ and $K$. For the sake of clarity, we recall the definition of a subgroup below:

Definition. Let $(G, odot)$ be group with identity $e$ and let $H$ be a subset of $G$. We say that $H$ is a subgroup of $G$ if each of the following hold:

1. 
   $e in H$,


2. if $h_1,h_2 in H$ then $h_1 odot h_2 in H$,


3. for all $h in H$, its inverse element $h^{-1}$ with respect to $odot$ is also in $H$.

These axioms make it so that $(H, odot)$ is a group in its own right with the very same group operation $cdot$ and identity $e$. We also point out that these properties have less to do with the set $G$ than the operation $odot$ that $G$ comes equipped with.

Now, let $G$ be a group and let $H,K$ be subgroups of $G$. You have already verified that $H cap K$ is a subgroup of $G$. Why must it also be a subgroup of $H$ (and $K$)? First, it's clear that $H cap K subseteq H, H cap K subseteq K$ and that $H cap K ni e$. Moreover, because $H cap K$ is a subgroup of $G$, it is satisfies properties 2. and 3. above. Thus, by replacing $G$ with $H$ or $K$ in the definition above, it's immediate that $H cap K$ is a subgroup of $H$ (and $K$) as well!

In short, as long as $H$ is a subset of a group $G$ and $H$ satisfies the properties listed above, it will be a subgroup of $G$.

share|cite|improve this answer

edited 5 hours ago

answered 6 hours ago

rolandcyprolandcyp

2,309422

$endgroup$

share|cite|improve this answer

edited 5 hours ago

answered 6 hours ago

rolandcyprolandcyp

2,309422

answered 6 hours ago

rolandcyprolandcyp

2,309422

answered 6 hours ago

rolandcyprolandcyp

2,309422

1

$begingroup$

The subgroup test is:

$H$ is a subgroup of $G$ if and only if for each $x,yin H$ we've $xy^{-1}in H$.

Applied to a collection of subgroups ${H_s}$, let $x,yinbigcap_sH_s$ be a pair of elements. Then $x,yin H_s$ for all $S$ and since $H_s<G$ then $xy^{-1}in H_s$ for every index $s$, so $xy^{-1}inbigcap_sH_s$, hence $bigcap_sH_s$ is a subgroup too.

share|cite|improve this answer

answered 3 hours ago

janmarqzjanmarqz

6,25741630

$endgroup$

add a comment | 

1

$begingroup$

The subgroup test is:

$H$ is a subgroup of $G$ if and only if for each $x,yin H$ we've $xy^{-1}in H$.

Applied to a collection of subgroups ${H_s}$, let $x,yinbigcap_sH_s$ be a pair of elements. Then $x,yin H_s$ for all $S$ and since $H_s<G$ then $xy^{-1}in H_s$ for every index $s$, so $xy^{-1}inbigcap_sH_s$, hence $bigcap_sH_s$ is a subgroup too.

share|cite|improve this answer

answered 3 hours ago

janmarqzjanmarqz

6,25741630

$endgroup$

add a comment | 

$begingroup$

The subgroup test is:

$H$ is a subgroup of $G$ if and only if for each $x,yin H$ we've $xy^{-1}in H$.

Applied to a collection of subgroups ${H_s}$, let $x,yinbigcap_sH_s$ be a pair of elements. Then $x,yin H_s$ for all $S$ and since $H_s<G$ then $xy^{-1}in H_s$ for every index $s$, so $xy^{-1}inbigcap_sH_s$, hence $bigcap_sH_s$ is a subgroup too.

share|cite|improve this answer

answered 3 hours ago

janmarqzjanmarqz

6,25741630

$endgroup$

share|cite|improve this answer

answered 3 hours ago

janmarqzjanmarqz

6,25741630

answered 3 hours ago

janmarqzjanmarqz

6,25741630

answered 3 hours ago

janmarqzjanmarqz

6,25741630