Publication:2975009: Difference between revisions

Latest revision as of 20:19, 3 February 2024

Abstract: For each

n = 1, 2, d o t s

, let

m a t h s f G L (n, m a t h b b Z) l t i m e s m a t h b b Z^{n}

be the affine group over the integers. For every point

x = (x_{1}, d o t s, x_{n}) i n m a t h b b R^{n}

let

m a t h r m o r b (x) = g a m m a (x) i n m a t h b b R^{n} m i d g a m m a i n m a t h s f G L (n, m a t h b b Z) l t i m e s m a t h b b Z^{n} .

Let

G_{x}

be the subgroup of the additive group

m a t h b b R

generated by

x_{1}, d o t s, x_{n}, 1

. If

m a t h r m r a n k (G_{x}) e q n

then

m a t h r m o r b (x) = y i n m a t h b b R^{n} m i d G_{y} = G_{x}

. Thus,

G_{x}

is a complete classifier of

m a t h r m o r b (x)

. By contrast, if

m a t h r m r a n k (G_{x}) = n

, knowledge of

G_{x}

alone is not sufficient in general to uniquely recover

m a t h r m o r b (x)

: as a matter of fact,

G_{x}

determines precisely

m a t h r m m a x (1, f r a c p h i (d) 2)

different orbits, where

d

is the denominator of the smallest positive nonzero rational in

G_{x},

and

p h i

is Euler function. To get a complete classification, rational polyhedral geometry provides an integer

1 l e q c_{x} l e q m a t h r m m a x (1, d / 2)

such that

m a t h r m o r b (y) = m a t h r m o r b (x)

iff

(G_{x}, c_{x}) = (G_{y}, c_{y})

.

Cites Work

Cited In (11)

This page was built for publication: Classifying orbits of the affine group over the integers