Prove that $S = A in GL_n(K) $ is a subgroup of $GL_n(K)$We can't give the structure of linear space on $mathbbQ(sqrt2)$ for a set of rational numbers$GL_n(mathbb F_q)$ has an element of order $q^n-1$Matrix with irreducible minimal polynomial gives rise to a fieldProve that for any prime $p$, the set $mathbbZ_p$ with the addition mod $p$ and multiplication mod $p$, and congruence mod $p$, is a fieldProof the set $mathbbZ_p$ is a fieldShow that $(S, cdot)$ is a subgroup of $(GL_3(mathbbR), cdot))$$GL_n(F)$ acts on the flag varietyIf $det A neq 0, AB= (det A)E_n $ then $ A in GL_n( mathbb Q [X])$Proving something is a linearly independent subsetLet $K$ be a field. Prove that the field of all polynomials over $K$ is a vector space over $K$.
Intersection Puzzle
Expand and Contract
Is it logically or scientifically possible to artificially send energy to the body?
How do conventional missiles fly?
Is it possible to create a QR code using text?
Examples of smooth manifolds admitting inbetween one and a continuum of complex structures
How badly should I try to prevent a user from XSSing themselves?
What are some good books on Machine Learning and AI like Krugman, Wells and Graddy's "Essentials of Economics"
Size of subfigure fitting its content (tikzpicture)
How dangerous is XSS?
Is there an expression that means doing something right before you will need it rather than doing it in case you might need it?
Is "remove commented out code" correct English?
How to tell a function to use the default argument values?
Why no variance term in Bayesian logistic regression?
Is there a hemisphere-neutral way of specifying a season?
Little known, relatively unlikely, but scientifically plausible, apocalyptic (or near apocalyptic) events
If human space travel is limited by the G force vulnerability, is there a way to counter G forces?
Assassin's bullet with mercury
When is человек used as the word man instead of человек
Why didn't Boeing produce its own regional jet?
Venezuelan girlfriend wants to travel the USA to be with me. What is the process?
Avoiding the "not like other girls" trope?
One verb to replace 'be a member of' a club
CAST throwing error when run in stored procedure but not when run as raw query
Prove that $S = AJA^t = J$ is a subgroup of $GL_n(K)$
We can't give the structure of linear space on $mathbbQ(sqrt2)$ for a set of rational numbers$GL_n(mathbb F_q)$ has an element of order $q^n-1$Matrix with irreducible minimal polynomial gives rise to a fieldProve that for any prime $p$, the set $mathbbZ_p$ with the addition mod $p$ and multiplication mod $p$, and congruence mod $p$, is a fieldProof the set $mathbbZ_p$ is a fieldShow that $(S, cdot)$ is a subgroup of $(GL_3(mathbbR), cdot))$$GL_n(F)$ acts on the flag varietyIf $det A neq 0, AB= (det A)E_n $ then $ A in GL_n( mathbb Q [X])$Proving something is a linearly independent subsetLet $K$ be a field. Prove that the field of all polynomials over $K$ is a vector space over $K$.
$begingroup$
Given a field $K$, $n in mathbbN$ and $J in K^n times n$, show that:
$$
S = AJA^t = J
$$
is a subgroup of $GL_n(K)$.
To show that S is a subgroup, we must show:
It must include the neutral element: $e in S$
For $a,b in S$, $S$ must include: $a cdot b^-1 in S$.
1.) Showing that $e in S$:
Since $J$ is an element over the field $K$, the multiplication has a neutral element. Therefore we choose $J = E_n$. The neutral element must also be part of the linear group over $K$, therefore if we choose $A = E_n$, we can conclude that the neutral element is in $S$.
2.)
Given an $a := AJA^t = J , b := BIB^t = I$ we will show that $a cdot b^-1$ will also be in $S$. The inverse of $b$ is defined as: $b^-1 = (B^t)^-1I^-1B^-1$. Therefore:
$$
AJA^t(B^t)^-1I^-1B^-1 = JI^-1
$$
But I am not sure how to proceed ...
linear-algebra matrices discrete-mathematics field-theory
asked Mar 21 at 6:02
ViperViper
223
$endgroup$
add a comment |
$begingroup$
Given a field $K$, $n in mathbbN$ and $J in K^n times n$, show that:
$$
S = AJA^t = J
$$
is a subgroup of $GL_n(K)$.
To show that S is a subgroup, we must show:
It must include the neutral element: $e in S$
For $a,b in S$, $S$ must include: $a cdot b^-1 in S$.
1.) Showing that $e in S$:
Since $J$ is an element over the field $K$, the multiplication has a neutral element. Therefore we choose $J = E_n$. The neutral element must also be part of the linear group over $K$, therefore if we choose $A = E_n$, we can conclude that the neutral element is in $S$.
2.)
Given an $a := AJA^t = J , b := BIB^t = I$ we will show that $a cdot b^-1$ will also be in $S$. The inverse of $b$ is defined as: $b^-1 = (B^t)^-1I^-1B^-1$. Therefore:
$$
AJA^t(B^t)^-1I^-1B^-1 = JI^-1
$$
But I am not sure how to proceed ...
linear-algebra matrices discrete-mathematics field-theory
asked Mar 21 at 6:02
ViperViper
223
$endgroup$
1
$begingroup$
In (2) you need to show that if $AJA^t=B^JB^t=J$ then $CJC^t=J$ where $C=AB^-1$.
$endgroup$
– Lord Shark the Unknown
Mar 21 at 6:09
add a comment |
$begingroup$
Given a field $K$, $n in mathbbN$ and $J in K^n times n$, show that:
$$
S = AJA^t = J
$$
is a subgroup of $GL_n(K)$.
To show that S is a subgroup, we must show:
It must include the neutral element: $e in S$
For $a,b in S$, $S$ must include: $a cdot b^-1 in S$.
1.) Showing that $e in S$:
Since $J$ is an element over the field $K$, the multiplication has a neutral element. Therefore we choose $J = E_n$. The neutral element must also be part of the linear group over $K$, therefore if we choose $A = E_n$, we can conclude that the neutral element is in $S$.
2.)
Given an $a := AJA^t = J , b := BIB^t = I$ we will show that $a cdot b^-1$ will also be in $S$. The inverse of $b$ is defined as: $b^-1 = (B^t)^-1I^-1B^-1$. Therefore:
$$
AJA^t(B^t)^-1I^-1B^-1 = JI^-1
$$
But I am not sure how to proceed ...
linear-algebra matrices discrete-mathematics field-theory
asked Mar 21 at 6:02
ViperViper
223
$endgroup$
Given a field $K$, $n in mathbbN$ and $J in K^n times n$, show that:
$$
S = AJA^t = J
$$
is a subgroup of $GL_n(K)$.
To show that S is a subgroup, we must show:
It must include the neutral element: $e in S$
For $a,b in S$, $S$ must include: $a cdot b^-1 in S$.
1.) Showing that $e in S$:
Since $J$ is an element over the field $K$, the multiplication has a neutral element. Therefore we choose $J = E_n$. The neutral element must also be part of the linear group over $K$, therefore if we choose $A = E_n$, we can conclude that the neutral element is in $S$.
2.)
Given an $a := AJA^t = J , b := BIB^t = I$ we will show that $a cdot b^-1$ will also be in $S$. The inverse of $b$ is defined as: $b^-1 = (B^t)^-1I^-1B^-1$. Therefore:
$$
AJA^t(B^t)^-1I^-1B^-1 = JI^-1
$$
But I am not sure how to proceed ...
linear-algebra matrices discrete-mathematics field-theory
linear-algebra matrices discrete-mathematics field-theory
asked Mar 21 at 6:02
ViperViper
223
asked Mar 21 at 6:02
ViperViper
223
asked Mar 21 at 6:02
ViperViper
223
asked Mar 21 at 6:02
ViperViper
223
asked Mar 21 at 6:02
ViperViper
223
223
1
$begingroup$
In (2) you need to show that if $AJA^t=B^JB^t=J$ then $CJC^t=J$ where $C=AB^-1$.
$endgroup$
– Lord Shark the Unknown
Mar 21 at 6:09
add a comment |
1
$begingroup$
In (2) you need to show that if $AJA^t=B^JB^t=J$ then $CJC^t=J$ where $C=AB^-1$.
$endgroup$
– Lord Shark the Unknown
Mar 21 at 6:09
1
1
$begingroup$
In (2) you need to show that if $AJA^t=B^JB^t=J$ then $CJC^t=J$ where $C=AB^-1$.
$endgroup$
– Lord Shark the Unknown
Mar 21 at 6:09
$begingroup$
In (2) you need to show that if $AJA^t=B^JB^t=J$ then $CJC^t=J$ where $C=AB^-1$.
$endgroup$
– Lord Shark the Unknown
Mar 21 at 6:09
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
The following method shows that $S$ is the kernel of a homomorphism defined on $GL_n(K)$. The kernel of a homomorphism is always a normal subgroup.
Regard $K^n times n$ as a vector space (of dimension $n^2$) over $K$.
For each $A in GL_n(K)$, we define a linear transformation $phi[A]$ on the vector space $K^n times n$ as follows:
$$
phi[A] J = A J A^t.
$$
Furthermore, $phi[A]$ is invertible, and
$$
phi[B] phi[A] = phi[BA].
$$
Therefore, $phi$ is a homomorphism from group $GL_n(K)$ to the group of the invertible linear transformations on $K^n$.
And $S$ is the kernel of that homomorphism, hence is a subgroup of $GL_n(K)$, and even a normal subgroup.
answered Mar 21 at 6:27
avsavs
3,879514
$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
);
);
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
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3156399%2fprove-that-s-a-in-gl-nk-ajat-j-is-a-subgroup-of-gl-nk%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
The following method shows that $S$ is the kernel of a homomorphism defined on $GL_n(K)$. The kernel of a homomorphism is always a normal subgroup.
Regard $K^n times n$ as a vector space (of dimension $n^2$) over $K$.
For each $A in GL_n(K)$, we define a linear transformation $phi[A]$ on the vector space $K^n times n$ as follows:
$$
phi[A] J = A J A^t.
$$
Furthermore, $phi[A]$ is invertible, and
$$
phi[B] phi[A] = phi[BA].
$$
Therefore, $phi$ is a homomorphism from group $GL_n(K)$ to the group of the invertible linear transformations on $K^n$.
And $S$ is the kernel of that homomorphism, hence is a subgroup of $GL_n(K)$, and even a normal subgroup.
answered Mar 21 at 6:27
avsavs
3,879514
$endgroup$
add a comment |
$begingroup$
The following method shows that $S$ is the kernel of a homomorphism defined on $GL_n(K)$. The kernel of a homomorphism is always a normal subgroup.
Regard $K^n times n$ as a vector space (of dimension $n^2$) over $K$.
For each $A in GL_n(K)$, we define a linear transformation $phi[A]$ on the vector space $K^n times n$ as follows:
$$
phi[A] J = A J A^t.
$$
Furthermore, $phi[A]$ is invertible, and
$$
phi[B] phi[A] = phi[BA].
$$
Therefore, $phi$ is a homomorphism from group $GL_n(K)$ to the group of the invertible linear transformations on $K^n$.
And $S$ is the kernel of that homomorphism, hence is a subgroup of $GL_n(K)$, and even a normal subgroup.
answered Mar 21 at 6:27
avsavs
3,879514
$endgroup$
add a comment |
$begingroup$
The following method shows that $S$ is the kernel of a homomorphism defined on $GL_n(K)$. The kernel of a homomorphism is always a normal subgroup.
Regard $K^n times n$ as a vector space (of dimension $n^2$) over $K$.
For each $A in GL_n(K)$, we define a linear transformation $phi[A]$ on the vector space $K^n times n$ as follows:
$$
phi[A] J = A J A^t.
$$
Furthermore, $phi[A]$ is invertible, and
$$
phi[B] phi[A] = phi[BA].
$$
Therefore, $phi$ is a homomorphism from group $GL_n(K)$ to the group of the invertible linear transformations on $K^n$.
And $S$ is the kernel of that homomorphism, hence is a subgroup of $GL_n(K)$, and even a normal subgroup.
answered Mar 21 at 6:27
avsavs
3,879514
$endgroup$
The following method shows that $S$ is the kernel of a homomorphism defined on $GL_n(K)$. The kernel of a homomorphism is always a normal subgroup.
Regard $K^n times n$ as a vector space (of dimension $n^2$) over $K$.
For each $A in GL_n(K)$, we define a linear transformation $phi[A]$ on the vector space $K^n times n$ as follows:
$$
phi[A] J = A J A^t.
$$
Furthermore, $phi[A]$ is invertible, and
$$
phi[B] phi[A] = phi[BA].
$$
Therefore, $phi$ is a homomorphism from group $GL_n(K)$ to the group of the invertible linear transformations on $K^n$.
And $S$ is the kernel of that homomorphism, hence is a subgroup of $GL_n(K)$, and even a normal subgroup.
answered Mar 21 at 6:27
avsavs
3,879514
answered Mar 21 at 6:27
avsavs
3,879514
answered Mar 21 at 6:27
avsavs
3,879514
answered Mar 21 at 6:27
avsavs
3,879514
3,879514
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
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
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3156399%2fprove-that-s-a-in-gl-nk-ajat-j-is-a-subgroup-of-gl-nk%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
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
Required, but never shown
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
Required, but never shown
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
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
1
$begingroup$
In (2) you need to show that if $AJA^t=B^JB^t=J$ then $CJC^t=J$ where $C=AB^-1$.
$endgroup$
– Lord Shark the Unknown
Mar 21 at 6:09