PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
[parent] strict divisibility (Definition)

Let $ a$ and $ b$ be elements of a commutative ring with non-zero unity and let $ a \mid b$. If there is a positive integer $ n$ such that $ a^n \mid b$ and $ a^{n+1} \nmid b$, then $ b$ is strictly divisible by $ a^n$; this may be denoted by

$\displaystyle a^n \parallel b.$
For example, $ 10^4 \parallel 520000$.

Note. The expression “strictly divisible” may be used of course in a divisor monoid, too.



Anyone with an account can edit this entry. Please help improve it!

"strict divisibility" is owned by pahio.
(view preamble)

View style:

See Also: exactly divides, divisibility in rings, p-adic valuation, order valuation

Other names:  strictly divides
Also defines:  strictly divisible
Keywords:  divisible

This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: monoid, divisor, expression, integer, positive, non-zero unity, commutative ring
There are 2 references to this entry.

This is version 5 of strict divisibility, born on 2007-09-04, modified 2008-05-16.
Object id is 9916, canonical name is StrictDivisibility.
Accessed 460 times total.

Classification:
AMS MSC11A51 (Number theory :: Elementary number theory :: Factorization; primality)
 13A05 (Commutative rings and algebras :: General commutative ring theory :: Divisibility)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)