1/14/14

A norm on the integral Hamiltonians | Project Crazy Project

Project Crazy Project

A Very Crazy Project

What is this?
On these pages you will find a slowly growing (and poorly organized) list of proofs and examples in abstract algebra. No doubt these pages are riddled with typos and errors in logic, and in many cases alternate strategies abound. When you find an error, or if anything is unclear, let me know and I will fix it.

A norm on the integral Hamiltonians

Let be the ring of integral Hamiltonian Quaternions and define . 1. Prove that for all , where . 2. Prove that 3. Prove that an element show that .] for all . . Then by

is a unit if and only if it has

. [Hint: The inverse of

in the rational quaternions is

Contact
Send email to "project (dot) crazy (dot) project (at) gmail (dot) com".

Let 1.

and

Navigation
Mega Index Colophon FAQ

, after a bunch of cancellation. 2.

Search PCP
Search

Categories
Exercises (1576)
AA:DF (1320) IS:P (43) TAN:PD (213)

. We have omitted a lengthy cancellation step. 3. Suppose first that is a unit. Then that and . Then for all . Now . Now suppose , so that is a unit in . . If any of the for some , where is an integral , and

Hamiltonian Quaternion. Note from the definition of

as a sum of squares

Incomplete (11) Meta (8)

are both integers. Thus , and clearly is a unit. Then

Crazy Page Views

1,958,543

Suppose

is at least 2 in absolute value, we have a contradiction. Thus each Tag Cloud is either 0,1, or -1. If more than one has absolute value 1, we have another contradiction; thus at most one of is 1. Clearly if none are , so zero, then \alpha = 0$ is not a unit, and if exactly one is 1, then that is a unit. Thus . . Since

abelian group algebraic

integer ring alternating group basis center (group)

commutative ring complex

numbers

is nonabelian and has six elements

of order 4,

crazyproject.wordpress.com/2010/08/11/a-norm-on-the-integral-hamiltonians/

1/4

1/14/14

A norm on the integral Hamiltonians | Project Crazy Project

About these ads

computation
conjugate

You May Like

1.

counterexample cycle
cyclic group degree dihedral group direct
notation

product direct sum divisibility

factorization

field field

extension finite field

finite group gaussian

integers general linear group

generating set greatest common divisor group

group action group homomorphism group
presentation Grbner basis

Follow

Like

ideal

integers integral domain

intersection irreducible

Be the first to like this.

Follow Project Crazy Project

Get every new post delivered to your Inbox.
Join 155 other followers
A procedure for finding a p In "AA:DF" A finite field extension K of In "AA:DF"

polynomial isomorphism jordan canonical form kernel linear transformation

ideal

Related

matrix maximal

modular arithmetic

Over CC, matrices of finite In "AA:DF"

Enter your email address

Sign me up

module norm normalizer normal subgroup

polynomial polynomial

order (group element)

By nbloomf, on August 11, 2010 at 10:00 am, under AA:DF. Tags: euclidean norm, hamiltonians, integers. No Comments
Pow ered by WordPress.com

ring prime prime ideal

principal ideal principal ideal

Post a comment or leave a trackback: Trackback URL.

domain quadratic field quadratic

integer ring quaternion group

quotient group quotient ring rational numbers rationals

real numbers relatively prime

Construct elements of infinite multiplicative order in some quadratic integer rings Basic properties of discrete valuations

ring semidirect product

semigroup simple group

Leave a Reply Enter your comment here...

subgroup subgroup index

subgroup lattice sylow's

theorem sylow subgroup

symmetric group
tensor product vector

space
Tools
Detexify Ditaa Workspace GraphViz Workspace MathURL NoMSG WolframAlpha

Similar Projects
Folland's Real Analysis
crazyproject.wordpress.com/2010/08/11/a-norm-on-the-integral-hamiltonians/ 2/4

1/14/14

A norm on the integral Hamiltonians | Project Crazy Project

Posts By Date
March 2012 (1) February 2012 (13) January 2012 (63) December 2011 (35) November 2011 (30) October 2011 (31) September 2011 (16) August 2011 (41) July 2011 (31) June 2011 (150) May 2011 (156) April 2011 (30) March 2011 (31) February 2011 (28) January 2011 (31) December 2010 (32) November 2010 (30) October 2010 (51) September 2010 (60) August 2010 (31) July 2010 (93) June 2010 (120) May 2010 (93) April 2010 (60) March 2010 (31) February 2010 (70) January 2010 (211) December 2009 (15)

Recent Comments
nbloomf on The regular 9-gon is not constructible by straightedge and compass John on The regular 9-gon is not constructible by straightedge and compass nbloomf on Alt(5) is the only finite simple group of order less than 100 nbloomf on Classification of groups of order 20 nbloomf on The ring of polynomials over a field with no linear term is not a UFD nbloomf on f(x) = f(x) over ZZ/(p) Hachem on f(x) = f(x) over ZZ/(p) nbloomf on Strictly upper (lower) triangular matrices are zero divisors nbloomf on The special linear group over the finite field with 4 elements is isomorphic to Alt(5) nbloomf on If the first two lower central quotients of a group are cyclic, then the second derived subgroup is trivial nbloomf on Exhibit an infinite family of prime ideals in R[x,y]
crazyproject.wordpress.com/2010/08/11/a-norm-on-the-integral-hamiltonians/ 3/4

1/14/14

A norm on the integral Hamiltonians | Project Crazy Project

when R is an integral domain nbloomf on Exhibit an alternate presentation for Dih(4) nbloomf on If a group has a unique subgroup of a given order, then that subgroup is normal nbloomf on Deduce some properties of a group from its presentation nbloomf on Find a presentation for ZZ/(n)

Intuition comes from experience, experience comes from failure, and failure comes from trying.

Diversions
Hark, a vagrant MS Paint Adventures Saturday Morning Breakfast Cereal

Blog at WordPress.com. | The NotesIL Theme.

crazyproject.wordpress.com/2010/08/11/a-norm-on-the-integral-hamiltonians/

4/4