Fdtxjr

Multi tool use

Are small insurances worth it?

Vocabulary for giving just numbers, not a full answer

Gaining more land

Is this Paypal Github SDK reference really a dangerous site?

Dynamic Linkage of LocatorPane and InputField

PTIJ: Why does only a Shor Tam ask at the Seder, and not a Shor Mu'ad?

Finitely many repeated replacements

How to resolve: Reviewer #1 says remove section X vs. Reviewer #2 says expand section X

Source permutation

How exactly does an Ethernet collision happen in the cable, since nodes use different circuits for Tx and Rx?

I can't die. Who am I?

Shifting between bemols and diesis in the key signature

Why restrict private health insurance?

Recommendation letter by significant other if you worked with them professionally?

Called into a meeting and told we are being made redundant (laid off) and "not to share outside". Can I tell my partner?

Would an aboleth's Phantasmal Force lair action be affected by Counterspell, Dispel Magic, and/or Slow?

From an axiomatic set theoric approach why can we take uncountable unions?

Is it possible to avoid unpacking when merging Association?

Having the player face themselves after the mid-game

Has a sovereign Communist government ever run, and conceded loss, on a fair election?

Giving a career talk in my old university, how prominently should I tell students my salary?

How do spaceships determine each other's mass in space?

What are some noteworthy "mic-drop" moments in math?

MySQL importing CSV files really slow

About subalgebra of Hamilton

Matrix representation of $mathbbC$Subfields of Matrix Ringscomposition series of moduleHow to prove the tensor product of two copies of $mathbbH$ is isomorphic to $M_4 (mathbbR)$?Calculate C*-subalgebra generated by $A$, $A^*$ and $mathbb 1$Logic behind cubic resolution of $x^4+px^2+qx+r=0$Finding a composition series for the Frobenius group $F_20$Compute the matrix with the standard basis.Show that $D^n$ is simple and uniqueIs this method to solve a system of equations in modular arithmetic correct?

0

$begingroup$

could someone help me with this question?

I have to prove that $$H=leftleft(beginarraylcr a&-barb\b&baraendarrayright):;a,binmathbbCright$$
is a real subalgebra of $M_2(mathbbC)$.

My attempt

I am trying to use the following facts, but I don't know if they can help:

• $H$ is an algebra isomorphic to $leftleft(beginarraylcrc_1&-c_2&-c_3&-c_4\c_2&c_1&-c_4&c_3\c_3&c_4&c_1&-c_2\c_4&-c_3&c_2&c_1endarrayright):;c_1,c_2,c_3,c_4inmathbbRright$. This is a real subalgebra of $M_4(mathbbC)$




• $mathbbC$ is an algebra isomorphic to $leftleft(beginarraylcrp&-q\q&pendarrayright):;p,qinmathbbRright$. This a subalgebra of $M_2(mathbbR)$

Does someone know if it possible prove it by using this?
Is there a better (shorter) way?

Thanks.

abstract-algebra

share|cite|improve this question

edited yesterday

J. W. Tanner

3,0121320

asked yesterday

prosepprosep

1

New contributor

prosep is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.

$endgroup$

add a comment | 

0

$begingroup$

could someone help me with this question?

I have to prove that $$H=leftleft(beginarraylcr a&-barb\b&baraendarrayright):;a,binmathbbCright$$
is a real subalgebra of $M_2(mathbbC)$.

My attempt

I am trying to use the following facts, but I don't know if they can help:

• $H$ is an algebra isomorphic to $leftleft(beginarraylcrc_1&-c_2&-c_3&-c_4\c_2&c_1&-c_4&c_3\c_3&c_4&c_1&-c_2\c_4&-c_3&c_2&c_1endarrayright):;c_1,c_2,c_3,c_4inmathbbRright$. This is a real subalgebra of $M_4(mathbbC)$




• $mathbbC$ is an algebra isomorphic to $leftleft(beginarraylcrp&-q\q&pendarrayright):;p,qinmathbbRright$. This a subalgebra of $M_2(mathbbR)$

Does someone know if it possible prove it by using this?
Is there a better (shorter) way?

Thanks.

abstract-algebra

share|cite|improve this question

edited yesterday

J. W. Tanner

3,0121320

asked yesterday

prosepprosep

1

New contributor

prosep is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.

$endgroup$

add a comment | 

$begingroup$

could someone help me with this question?

I have to prove that $$H=leftleft(beginarraylcr a&-barb\b&baraendarrayright):;a,binmathbbCright$$
is a real subalgebra of $M_2(mathbbC)$.

My attempt

I am trying to use the following facts, but I don't know if they can help:

• $H$ is an algebra isomorphic to $leftleft(beginarraylcrc_1&-c_2&-c_3&-c_4\c_2&c_1&-c_4&c_3\c_3&c_4&c_1&-c_2\c_4&-c_3&c_2&c_1endarrayright):;c_1,c_2,c_3,c_4inmathbbRright$. This is a real subalgebra of $M_4(mathbbC)$




• $mathbbC$ is an algebra isomorphic to $leftleft(beginarraylcrp&-q\q&pendarrayright):;p,qinmathbbRright$. This a subalgebra of $M_2(mathbbR)$

Does someone know if it possible prove it by using this?
Is there a better (shorter) way?

Thanks.

abstract-algebra

share|cite|improve this question

edited yesterday

J. W. Tanner

3,0121320

asked yesterday

prosepprosep

1

New contributor

prosep is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.

$endgroup$

share|cite|improve this question

edited yesterday

J. W. Tanner

3,0121320

asked yesterday

prosepprosep

1

New contributor

prosep is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.

share|cite|improve this question

edited yesterday

J. W. Tanner

3,0121320

asked yesterday

prosepprosep

1

New contributor

prosep is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.

edited yesterday

J. W. Tanner

3,0121320

edited yesterday

J. W. Tanner

3,0121320

asked yesterday

prosepprosep

1

New contributor

prosep is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.

asked yesterday

prosepprosep

1

1 Answer
1

active

oldest

votes

0

$begingroup$

Yes, there is a better way. Prove that:

• the sum of two elements of $H$ is again an element of $H$;


• the product of an element of $H$ by a real number is an element of $H$;


• the product of two elements of $H$ is again an element of $H$.

share|cite|improve this answer

answered yesterday

José Carlos SantosJosé Carlos Santos

166k22132235

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Thanks. I have thought of this way but I wondered if there is a shorter proof.
  $endgroup$
  – prosep
  yesterday
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  I seriously doubt that.
  $endgroup$
  – José Carlos Santos
  yesterday
  

  
  
  
  

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
);



);

prosep is a new contributor. Be nice, and check out our Code of Conduct.

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%2f3140966%2fabout-subalgebra-of-hamilton%23new-answer', 'question_page');

);

Post as a guest

Name

Email

Required, but never shown

0

$begingroup$

Yes, there is a better way. Prove that:

• the sum of two elements of $H$ is again an element of $H$;


• the product of an element of $H$ by a real number is an element of $H$;


• the product of two elements of $H$ is again an element of $H$.

share|cite|improve this answer

answered yesterday

José Carlos SantosJosé Carlos Santos

166k22132235

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Thanks. I have thought of this way but I wondered if there is a shorter proof.
  $endgroup$
  – prosep
  yesterday
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  I seriously doubt that.
  $endgroup$
  – José Carlos Santos
  yesterday
  

  
  
  
  

add a comment | 

0

$begingroup$

Yes, there is a better way. Prove that:

• the sum of two elements of $H$ is again an element of $H$;


• the product of an element of $H$ by a real number is an element of $H$;


• the product of two elements of $H$ is again an element of $H$.

share|cite|improve this answer

answered yesterday

José Carlos SantosJosé Carlos Santos

166k22132235

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Thanks. I have thought of this way but I wondered if there is a shorter proof.
  $endgroup$
  – prosep
  yesterday
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  I seriously doubt that.
  $endgroup$
  – José Carlos Santos
  yesterday
  

  
  
  
  

add a comment | 

$begingroup$

Yes, there is a better way. Prove that:

• the sum of two elements of $H$ is again an element of $H$;


• the product of an element of $H$ by a real number is an element of $H$;


• the product of two elements of $H$ is again an element of $H$.

share|cite|improve this answer

answered yesterday

José Carlos SantosJosé Carlos Santos

166k22132235

$endgroup$

share|cite|improve this answer

answered yesterday

José Carlos SantosJosé Carlos Santos

166k22132235

answered yesterday

José Carlos SantosJosé Carlos Santos

166k22132235

answered yesterday

José Carlos SantosJosé Carlos Santos

166k22132235